Гарантировать отсутствие null после match
Может ли статический анализатор javascript-кода проверить, что регулярное выражение будет давать совпадение на любой строке?
s.match(/\w*/)[0] // valid
s.match(/\w+/)[0] // invalid
s.match(/id(\d{7})/)[1] // invalid
s.match(/id(\d{7})|$/)[1] // validЕсть может, то есть ли уже такой плагин для какого-либо анализатора?
PS: Этот вопрос на английском.
Если регулярное выражение дает совпадение с позицией, началом текста и концом текста, то оно valid, потому что эти три возможных варианта совпадений присутствуют в любом тексте.
Позиция это:
Во всех остальных случаях всегда можно найти текст, который не даст совпадений на регулярном выражении.
Анализ регулярного выражения следует проводить следующим образом: сначала надо проверить совпадет ли регулярное выражение с пустой строкой. Если не совпадет, то оно invalid, если совпадет, то необходимо построить AST регулярного выражения, выделить всё, что описывает литералы и найти такой литерал, который НЕ указан в регулярном выражении.
То есть для [^abc] таким литералом будет a, b и c. Для [a-z] таким литералом будет любой литерал не входящий в этот диапазон.
Если такой литерал найти не удалось, то мы не смогли решить задачу и я бы предложил бросить попытки анализа и считать регулярное выражение invalid.
Если такой литерал найти удалось, то применяем регулярное выражение к тексту, состоящему из минимум двух таких литералов.
Если совпадение есть, то регулярное выражение valid, если нет, то invalid.
-
00:43
-
00:32
-
00:25
-
00:07
-
23:55
-
23:49
-
23:42
-
23:36
-
23:23
- Почему SERVER_ADDR имеет не тот IP 48032 visits
- Как заменить $_SERVER[REMOTE_ADDR] на IP клиента в PHP за двумя Nginx? 30576 visits
- Хочу вывести несколько строк из массива в один div, выводит только много undefined; подскажите, что делать? 23994 visits
- Как через css изменить цвет png изображения? 10422 visits
- Blob video url download 10015 visits
- Php curl запрос через прокси с авторизацией 9291 visits
- Работа с captcha vk api 8156 visits
© "hostciti.net" 13.4.2025 | 10:54