Matching «Длинный кронштейн» строка синтаксиса Lua в

Question

Я пишу лексера jFlex для Lua, и у меня возникли проблемы проектирования регулярное выражение, чтобы соответствовать одной конкретной части спецификации языка:

Символьные строки может также определяется с использованием длинного формата, заключенного в длинные скобки. Мы определяем открытую длинную скобку уровня n в виде квадратного кронштейна открытия, за которым следуют n равнозначных знаков, за которым следует другая квадратная скобка открытия. Таким образом, открывающая длинная скобка уровня 0 записывается как [[, открывающая длинная скобка уровня 1 записывается как [= [и т. Д.]. Аналогичным образом определяется закрывающая длинная скобка; например, закрывающая длинная скобка уровня 4 записывается как] ====]. Длинная строка начинается с открытой длинной скобки любого уровня и заканчивается на первом закрывающем длинном кронштейне того же уровня. Литералы в этой скобке могут работать для нескольких строк, не интерпретировать никакие escape-последовательности и игнорировать длинные скобки любого другого уровня. Они могут содержать что угодно, кроме закрывающей скобки соответствующего уровня.

Вкратце, я пытаюсь создать регулярное выражение, которое будет соответствовать открытому длинному кронштейну, содержанию строки между ними и закрывающей длинной скобке. Совпадение должно происходить только тогда, когда длинный кронштейн открытия и закрывающий длинный кронштейн имеют одинаковое количество одинаковых знаков, которые могут быть равны нулю или больше.

Answer 1

\[(=*)\[.*?\]\1\] 

the \ 1 захватывает первый().

Answer 2

\[(=*)\[.*?\]\1\] 

Answer 3

Ну, я боюсь, что токенизация с помощью регулярных выражений недостаточно для этой задачи. Регулярные выражения просто недостаточно эффективны.

Невозможно сравнить количество меток '=', используя простые регулярные выражения в jFlex. Perl мог бы взломать это (\ 1, как было предложено выше), но мы не говорим о программировании Perl, но jFlex lexer.

Решение состоит в том, чтобы пойти с \ [= * \ [для токена левого кронштейна, \] = * \] для токена правой скобки, а затем в слое выше (парсер) сравнить, если они совпадают по длине ,

В любом случае, вы можете прочитать read_long_string() в исходном коде lua в llex.c и посмотреть, как они это сделали, не используя регулярные выражения вообще.