Struct template matches . Boost , The Boost C++ Libraries BoostBook Documentation Subset , Reference

Struct template matches

boost::proto::matches — A Boolean metafunction that evaluates whether a given expression type matches a grammar.

Synopsis

// In header: <boost/proto/matches.hpp>
template<typename Expr, typename Grammar> 
struct matches :  mpl::bool_<true-or-false> {
};

Description

<proto::matches<Expr, Grammar>>наследуется от<mpl::true_>, если<Expr::proto_grammar>соответствует<Grammar::proto_grammar>, и от<mpl::false_>иначе.

Нетерминальные выражения сопоставляются с грамматикой по следующим правилам:

Дикая карта<proto::_>соответствует любому выражению.
Выражение<proto::basic_expr<AT, proto::listN <A₀,...A_n> >>соответствует грамматике<proto::basic_expr<BT, proto::listN <B₀,...B_n> >>, если<BT><proto::_>или<AT>, и если<A_x>соответствует<B_x>для каждого<x>в<[0,n]>.
Выражение<proto::basic_expr<AT, proto::listN <A₀,...A_n,U₀,...U_m> >>соответствует грамматике<proto::basic_expr<BT, proto::listM <B₀,...B_n,proto::vararg<V> > >>, если<BT><proto::_>или<AT>, и если<A_x>соответствует<B_x>для каждого<x>в<[0,n]>и если<U_x>соответствует<V>для каждого<x>в<[0,m]>.
Выражение<E>соответствует<proto::or_<B₀,...B_n>>, если<E>соответствует<B_x>для<x>в<[0,n]>.
Выражение<E>соответствует<proto::and_<B₀,...B_n>>, если<E>соответствует всем<B_x>для<x>в<[0,n]>.
Выражение<E>соответствует<proto::if_<T,U,V>>, если:
- <boost::result_of<proto::when<proto::_,T>(E)>::type::value>является<true>и<E>матчей<U>,или.
- <boost::result_of<proto::when<proto::_,T>(E)>::type::value><false>и<E>матчи<V>.
<U><proto::_>и<V><proto::not_<proto::_>>по умолчанию.
Выражение<E>соответствует<proto::not_<T>>, если<E>делает, а не<T>
.
Выражение<E>соответствует<proto::switch_<C, T>>, если<E>соответствует<C::case_<boost::result_of<proto::when<proto::_,T>(E)>::type>>. Примечание:<T>дефолты до<proto::tag_of<proto::_>()>

Терминальное выражение может тривиально соответствовать грамматикепрото::_. Кроме того, терминальное выражение<proto::basic_expr<AT, proto::term<A> >>соответствует грамматике<proto::basic_expr<BT,proto::term<B> >>, если<BT>является<proto::_>или<AT>и верно одно из следующих:

<B>— дикая карта,<proto::_>
<A>это<B>
<A><B &>
<A><B const &>
<B><proto::exact<A>>
<B><proto::convertible_to<X>>и<boost::is_convertible<A,X>::value><true>
.
<A><X[M]>или<X(&)[M]>и<B><X[proto::N]>
.
<A><X(&)[M]>и<B><X(&)[proto::N]>
.
<A><X[M]>или<X(&)[M]>и<B><X*>
.
<B><lambda-matches><A>(см. ниже).

Тип<B><lambda-matches><A>, если верно одно из следующих:

<B>это<A>
<B>— дикая карта,<proto::_>
<B><T<B₀,...B_n>>и<A><T<A₀,...A_n>>и для каждого<x>в<[0,n]>,<A_x>и<B_x>являются такими типами, что<A_x><lambda-matches><B_x>

Статья Struct template matches раздела The Boost C++ Libraries BoostBook Documentation Subset Reference может быть полезна для разработчиков на c++ и boost.