Loops

Boost , ,

Loops

До сих пор мы представили несколько операторов EBNF, которые занимаются петлей. У нас есть+положительный оператор, который соответствует предыдущему символу один (1) или более раз, а также звезда Клин*, которая соответствует предыдущему символу ноль (0) или более раз.

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

Имя файла может иметь максимум 255 символов.
Конкретный формат растровых файлов содержит информацию о цвете 4096 RGB.
32-битная двоичная строка (1..32 1s или 0s).

Кроме звезды Клин*, положительное замыкание+и необязательное!, более гибкий механизм зацикливания предусмотрен фреймворком.

Используя парсерrepeat_p, мы можем теперь написать наши примеры выше:

Имя файла с максимум 255 символами:

    valid_fname_chars = /*..*/;
    filename = repeat_p(1, 255)[valid_fname_chars];

Конкретный формат растрового файла, который имеет ровно 4096 RGB цветовой информации:

    uint_parser<unsigned, 16, 6, 6> rgb_p;
    bitmap = repeat_p(4096)[rgb_p];

Что касается 32-битной бинарной строки (1..32 1s или 0s), то, конечно, мы могли бы легко использовать вместо этого числовой парсерbin_p. Однако для демонстрации

    bin32 = lexeme_d[repeat_p(1, 32)[ch_p('1') | '0']];

Loop parsers are run-time parametric.

Парсеры Loop могут быть динамическими. Рассмотрим разбор двоичного файла префиксированной строки в стиле Паскаля, где первый байт определяет длину входящей строки. Вот образец ввода:

h

e