Primitives

char operands The reason this works is from two special templatized overloads of operator>> that takes a (char, ParserT), or (ParserT, char). These functions convert the character into a chlit object.

Можно предпочесть прямо заявить об этом как:

    chlit<> plus('+');
    chlit<> minus('-');
    chlit<> times('*');
    chlit<> divide('/');
    chlit<> oppar('(');
    chlit<> clpar(')');

range and range_p

диапазонсимволов создается из пары низких/высоких символов. Такой парсер соответствует одному персонажу, который находится в диапазоне, включая обе конечные точки. Подобноchlit,диапазонимеет один параметр типа шаблона, который по умолчанию равенchar. Конструктор классадиапазонапринимает два параметра: диапазон символовотидовключительно. Версия генератора функций —range_p. Примеры:

    range<>('A','Z')    // matches 'A'..'Z'
    range_p('a','z')    // matches 'a'..'z'

Обратите внимание, что первый символ должен быть «до» второго, в соответствии с кодирующими символами. Диапазон, как и хлит, представляет собой одиночный парсер персонажей.

Character mapping Character mapping to is inherently platform dependent. It is not guaranteed in the standard for example that 'A' < 'Z', however, in many occasions, we are well aware of the character set we are using such as ASCII, ISO-8859-1 or Unicode. Take care though when porting to another platform.

strlit and str_p

Этот парсер соответствует строке буквально.Стритимеет один параметр шаблонного типа: тип итератора. ВнутриСтритсодержит пару итератора начала/конца, указывающую на строку или контейнер символов. Стритпытается сопоставить текущий входной поток с этой строкой. Параметр шаблонного типа по умолчаниюchar const*.strlitимеет два конструктора. Первый принимает нулевой указатель персонажа. Этот конструктор может быть использован для построенияполосиз цитируемых струнных букв. Второй конструктор принимает первую/последнюю пару итераторов. Версия генератора функцийstr_p. Примеры:

    strlit<>("Hello World")
    str_p("Hello World")

    std::string msg("Hello World");
    strlit<std::string::const_iterator>(msg.begin(), msg.end());

Character and phrase level parsing Typical parsers regard the processing of characters (symbols that form words or lexemes) and phrases (words that form sentences) as separate domains. Entities such as reserved words, operators, literal strings, numerical constants, etc., which constitute the terminals of a grammar are usually extracted first in a separate lexical analysis stage. At this point, as evident in the examples we have so far, it is important to note that, contrary to standard practice, the Spirit framework handles parsing tasks at both the character level as well as the phrase level. One may consider that a lexical analyzer is seamlessly integrated in the Spirit framework. Although the Spirit parser library does not need a separate lexical analyzer, there is no reason why we cannot have one. One can always have as many parser layers as needed. In theory, one may create a preprocessor, a lexical analyzer and a parser proper, all using the same framework.

chseq and chseq_p

Соответствует последовательности персонажей.chseqимеет те же параметры шаблонного типа и параметры конструктора, что и Стрит. Версия генератора функцийchseq_p. Примеры:

    chseq<>("ABCDEFG")
    chseq_p("ABCDEFG")

strlit— неявная лексема. То есть работает исключительно на уровне персонажа.chseq,strlitблизнец, с другой стороны, может работать как на уровне персонажа, так и на уровне фразы. Это просто означает, что он может игнорировать белые пространства между струнными символами. Например:

    chseq<>("ABCDEFG")

Можно разобрать:

    ABCDEFG
    A B C D E F G
    AB CD EFG

More character parsers

Также фреймворк предопределяет полный репертуар односимвольных парсеров:

negation ~

Одиночные парсеры символов, такие какchlit,range,anychar_p,alnum_pи т.д., могут быть отрицаемы. Например:

    ~ch_p('x')

Сравнение с любым персонажем, кроме'x'. Двойное отрицание парсера персонажа отменяет отрицание.~~alpha_pэквивалентноalpha_p.

eol_p

Соответствует концу строки (CR/LF и их комбинациям).

nothing_p

Никогда ничего не сравнится и всегда провалится.

end_p

Соответствует концу ввода (возвращает успешное совпадение с длиной 0, когда вход исчерпан)

eps_p

Epsilonepsilon_pиeps_p— многоцелевой парсер, возвращающий совпадение нулевой длины. См.Эпсилондля деталей.

Copyright © 1998-2003 Joel de Guzman
Copyright © 2003 Martin Wille

Use, modification and distribution is subject to the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

Статья Primitives раздела может быть полезна для разработчиков на c++ и boost.

:: Главная :: ::