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

Struct template if_

boost::proto::if_ — Used to select one grammar or another based on the result of a compile-time Boolean. When used as a transform, proto::if_<> selects between two transforms based on a compile-time Boolean.

Synopsis

// In header: <boost/proto/matches.hpp>
template<typename If, typename Then = proto::_, 
         typename Else = proto::not_<proto::_> > 
struct if_ :  proto::transform<if_<If, Then, Else> > {
  // types
  typedef if_ proto_grammar;
  // member classes/structs/unions
  template<typename Expr, typename State, typename Data> 
  struct impl :  proto::transform_impl< Expr, State, Data > {
    // types
    typedef typename mpl::if_<
      typename boost::result_of<proto::when<proto::_, If>(Expr, State, Data)>::type,
      typename boost::result_of<proto::when<proto::_, Then>(Expr, State, Data)>::type,
      typename boost::result_of<proto::when<proto::_, Else>(Expr, State, Data)>::type
    >::type result_type;
    // public member functions
    result_type operator()(typename impl::expr_param, 
                           typename impl::state_param, 
                           typename impl::data_param) const;
  };
};

Description

Когда<proto::if_<If, Then, Else>>используется в качестве грамматики,<If>должно быть преобразованием Прото, а<Then>и<Else>должны быть грамматиками. Тип выражения<E>матчи<proto::if_<If, Then, Else>>, если<boost::result_of<proto::when<proto::_, If>(E)>::type::value><true>и<E>матчи<Then>; или если<boost::result_of<proto::when<proto::_, If>(E)>::type::value><false>и<E>матчи<Else>.

Параметр шаблона<Then>по умолчанию<proto::_>и<Else>по умолчанию<proto::not_<proto::_>>, поэтому тип выражения<E>будет соответствовать<proto::if_<If>>, если и только если<boost::result_of<proto::when<proto::_, If>(E)>::type::value><true>.

// A grammar that only matches integral terminals,
// using is_integral<> from Boost.Type_traits.
struct IsIntegral :
  proto::and_<
    proto::terminal<proto::_>,
    proto::if_< boost::is_integral<proto::_value>()>
  >
{};

Когда<proto::if_<If, Then, Else>>используется в качестве преобразования,<If>,<Then>и<Else>должны быть преобразованы Прото. При применении преобразования к выражению<E>, состоянию<S>и данным<V>, если<boost::result_of<proto::when<proto::_, If>(E,S,V)>::type::value>является<true>, то применяется<Then>преобразование; в противном случае применяется<Else>преобразование.

// Match a terminal. If the terminal is integral, return
// mpl::true_; otherwise, return mpl::false_.
struct IsIntegral2 :
  proto::when<
    proto::terminal<_>,
    proto::if_<
      boost::is_integral<proto::_value>(),
      mpl::true_(),
      mpl::false_()
    >
  >
{};

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