Вот что меня озадачило последние 15 минут:
if ('ab' =~ /^a|b$/) { print 't' } else { print 'f' }
print "\n";
Я ожидал, что «a» или «b», следующие за началом и за которыми следует конец, должны соответствовать только одному символу. Таким образом, тест должен провалиться для двух символов «ab». Но это удается. Почему?
Если сгруппировать чередование, то получится ожидаемое поведение:
/^(a|b)$/
Ваше регулярное выражение найдет a в начале строки (с ветвью ^a) или b в конце (с ветвью b$).
Когда вы используете ^(a|b)$, привязки применяются ко всей группе, и поэтому она будет соответствовать строке, равной a или b.
Кроме того, если вам действительно не нужно захватывать значение, вы можете использовать < em>группа без захвата, /^(?:a|b)$/ или модификатор n , /^(a|b)$/n.
Ваше регулярное выражение соответствует ^a или b$, потому что альтернативный оператор | имеет более низкий приоритет, чем последовательность соединенных регулярных выражений.
В этом конкретном случае (альтернатива одиночных символов) вы можете упростить его до класса:
/^[ab]$/
a и b - это просто заполнители для шаблона любой длины здесь, используемые только для примера. 13.01.2017 
