Description

Последовательный или оператор, a || b, матчи a или b или a, затем b. То есть, если и a, и b матч, он должен быть в последовательности; это эквивалентно a > -b b>>>>>>:

a || b || ...

Header

// forwards to <boost/spirit/home/qi/operator/sequential_or.hpp>
#include <boost/spirit/include/qi_sequential_or.hpp>

Также см. Include Structure.

Model of

Expression Semantics

Semantics of an expression is defined only where it differs from, or is not defined in NaryParser.

Attributes

См. Compound Attribute Notation.

a: A, b: B --> (a || b): tuple<optional<A>, optional<B> >
a: A, b: Unused --> (a || b): optional<A>
a: Unused, b: B --> (a || b): optional<B>
a: Unused, b: Unused --> (a || b): Unused
a: A, b: A --> (a || b): vector<optional<A> >

Note

Последовательный или парсер ведет себя по свойствам атрибута очень похоже на простой последовательности парсер (a > b) в том смысле, что он раскрывает атрибуты своих элементов отдельно. Например, если вы прикрепите семантическое действие ко всему последовательному - или: (int_ || int_)[print_pair(_1, _2)] функциональный объект print_pair будет использован с атрибутом первого int_ (boost::<int>) в качестве первого параметра и атрибута второго int_ (boost.

Complexity

Example

	Note
	Испытательный узел для примера (примеров) ниже представлен в разделе Basics examples.

Некоторые используют заявления:

using boost::spirit::qi::int_;

Правильное распределение числа с необязательными дробными цифрами:

test_parser("123.456", int_ || ('.' >> int_));  // full
test_parser("123", int_ || ('.' >> int_));      // just the whole number
test_parser(".456", int_ || ('.' >> int_));     // just the fraction

Наивное, но неправильное решение попыталось бы сделать это с помощью опционов (например:

int_ >> -('.' >> int_)  // will not match ".456"
-int_ >> ('.' >> int_)  // will not match "123"
-int_ >> -('.' >> int_) // will match empty strings! Ooops.