Struct template or_
boost::proto::or_ — For matching one of a set of alternate grammars. Alternates are tried in order to avoid ambiguity.
When used as a transform, proto::or_<>
applies the transform
associated with the first grammar that matches the expression.
Synopsis
template<typename... G>
struct or_ : proto::transform<or_<G...> > {
typedef or_ proto_grammar;
template<typename Expr, typename State, typename Data>
struct impl : proto::transform_impl< Expr, State, Data > {
typedef unspecified
result_type;
result_type operator()(typename impl::expr_param,
typename impl::state_param,
typename impl::data_param) const;
};
};
Description
<proto::or_<G0,G1,...Gn>
>, если<E
>соответствует любому из<Gx
>для<x
>в<[0,n]
>.
При применении<proto::or_<G0,G1,...Gn>
>в качестве преобразования с выражением<e
>типа<E
>, состояния<s
>и данных<d
>он эквивалентен<Gx()(e, s, d)
>, где<x
>является наименьшим числом, таким, что<proto::matches<E, Gx>::value
>является<true
>.
Максимальное число принимаемых шаблонных аргументов<proto::or_<>
>контролируется макросом<BOOST_PROTO_MAX_LOGICAL_ARITY
>.