В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

DevOps

1296 membersпожаловаться на группу
2020 September 11

A

Alexander in DevOps
Sergei Puzyrev
котятки, у меня вопрос.

Допустим есть строка str, и два регэкспа regex1 и regex2.

всегда ли верно, что

(str ~ regex1) OR (str ~ regex2) == (str ~ concat(regex1, "|", regex2)) ?

Иными словами: эквивалентно ли утверждение "строка матчится хотя бы в один из регэкспов" утверждению "строка матчится в конкатенацию регэкспов через оператор |?
Если это не какой-то вопрос с подводим, то, наверное, да.
источник
22:24пожаловаться#1

SP

Sergei Puzyrev in DevOps
Alexander
Если это не какой-то вопрос с подводим, то, наверное, да.
это не вопрос с подвохом, я пытаюсь формально это доказать
источник
22:24пожаловаться#2

SP

Sergei Puzyrev in DevOps
то есть я не знаю, какой правильный ответ
источник
22:24пожаловаться#3

A

Alexander in DevOps
Sergei Puzyrev
то есть я не знаю, какой правильный ответ
Мне в голову лезет всякая функциональщина с карри-функциями и польской нотацией, но собрать из этого внятное доказательство не могу. :/ Да и насчёт представления регулярных выражений в виде функций сомнения мучают.
источник
22:28пожаловаться#4

SP

Sergei Puzyrev in DevOps
Alexander
Мне в голову лезет всякая функциональщина с карри-функциями и польской нотацией, но собрать из этого внятное доказательство не могу. :/ Да и насчёт представления регулярных выражений в виде функций сомнения мучают.
S='Hello, world'; R1="(?i)ELLA"; R2="ELL"; R3="${R1}|${R2}"; for re in $R1 $R2 $R3 ; do echo -en "${S} "; echo "$S" | grep -Pq "$re" && echo -en "matches" || echo -en "does not match"; echo " ${re}" ; done
Hello, world does not match (?i)ELLA
Hello, world does not match ELL
Hello, world matches (?i)ELLA|ELL
источник
22:28пожаловаться#5

SP

Sergei Puzyrev in DevOps
я нашёл контрпример
источник
22:28пожаловаться#6

A

Alexander in DevOps
Sergei Puzyrev
S='Hello, world'; R1="(?i)ELLA"; R2="ELL"; R3="${R1}|${R2}"; for re in $R1 $R2 $R3 ; do echo -en "${S} "; echo "$S" | grep -Pq "$re" && echo -en "matches" || echo -en "does not match"; echo " ${re}" ; done
Hello, world does not match (?i)ELLA
Hello, world does not match ELL
Hello, world matches (?i)ELLA|ELL
Да, с глобальные литералы меняют картину. Но твоё исходное утверждение этот пример не опровергает :)
источник
22:31пожаловаться#7

A

Alexander in DevOps
А, не, туплю, опрвергает
источник
22:31пожаловаться#8

A

Alexander in DevOps
@spuzirev а если тогда так:
concat("(", re1, ")|(", re2, ")")
источник
22:32пожаловаться#9

SP

Sergei Puzyrev in DevOps
проверь
источник
22:33пожаловаться#10

SP

Sergei Puzyrev in DevOps
мне нужно было просто коллеге доказать, что манипуляция литералами регэкспов потенциально небезопасна и может менять семантику.
источник
22:34пожаловаться#11

SP

Sergei Puzyrev in DevOps
🙂
источник
22:34пожаловаться#12

A

Alexander in DevOps
Ну ок
источник
22:35пожаловаться#13

SP

Sergei Puzyrev in DevOps
Alexander
@spuzirev а если тогда так:
concat("(", re1, ")|(", re2, ")")
есть подозрение что это тоже небезопасно
источник
22:35пожаловаться#14

A

Alexander in DevOps
Sergei Puzyrev
есть подозрение что это тоже небезопасно
Что угодно небезопасно, если в аргументах пользовательский ввод: sql-выражения, фильтры ldap, даже markdown :)
источник
22:43пожаловаться#15

A

Alexander in DevOps
Если же ты точно знаешь, что будет внутри, то вполне безопасно
источник
22:43пожаловаться#16

SP

Sergei Puzyrev in DevOps
Alexander
Если же ты точно знаешь, что будет внутри, то вполне безопасно
ну у меня там пользовательский ввод, но пользователь в принципе не злонамеренный.
источник
22:48пожаловаться#17

rd

rus dacent in DevOps
Sergei Puzyrev
S='Hello, world'; R1="(?i)ELLA"; R2="ELL"; R3="${R1}|${R2}"; for re in $R1 $R2 $R3 ; do echo -en "${S} "; echo "$S" | grep -Pq "$re" && echo -en "matches" || echo -en "does not match"; echo " ${re}" ; done
Hello, world does not match (?i)ELLA
Hello, world does not match ELL
Hello, world matches (?i)ELLA|ELL
Вот так правильней будет
R3="(${R1})|(${R2})";
тогда
Hello, world does not match (?i)ELLA
Hello, world does not match ELL
Hello, world does not match ((?i)ELLA)|(ELL)

иначе у тебя, как мне видится, не эквивалентное выражение подставляется.
источник
22:48пожаловаться#18

SP

Sergei Puzyrev in DevOps
rus dacent
Вот так правильней будет
R3="(${R1})|(${R2})";
тогда
Hello, world does not match (?i)ELLA
Hello, world does not match ELL
Hello, world does not match ((?i)ELLA)|(ELL)

иначе у тебя, как мне видится, не эквивалентное выражение подставляется.
мне тут подсказали еще пример с бэклинками: (?P<name>pattern)
источник
22:49пожаловаться#19

SP

Sergei Puzyrev in DevOps
import re

r1 = r'(?P<a>A)\1'
r2 = r'(?P<b>B)\1'

print(bool(re.match(r1, 'BB') or re.match(r2, 'BB')))  # True
print(bool(re.match(r1 + '|' + r2, 'BB')))  # False
источник
22:51пожаловаться#20