Boost C++ Libraries

...one of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

Click here to view the latest version of this page.
PrevUpHomeNext

Struct template impl

boost::proto::lazy::impl

Synopsis

template<typename Expr, typename State, typename Data> 
struct impl :  proto::transform_impl<Expr, State, Data> {
  // types
  typedef see-below result_type;

  // public member functions
  result_type operator()(typename impl::expr_param, 
                         typename impl::state_param, 
                         typename impl::data_param) const;
};

Description

impl public types

  1. typedef see-below result_type;

    proto::lazy<T>::impl<Expr,State,Data>::result_type is calculated as follows:

    • If T if of the form O(T0,...TN), then let O' be boost::result_of<proto::make<O>(Expr, State, Data)>::type.

    • Otherwise, let O' be boost::result_of<proto::make<T>(Expr, State, Data)>::type.

    The result type is boost::result_of<proto::call<O'(T0,...TN)>(Expr, State, Data)>::type.

impl public member functions

  1. result_type operator()(typename impl::expr_param expr, 
                           typename impl::state_param state, 
                           typename impl::data_param data) const;

    proto::lazy<T>::impl<Expr,State,Data>::operator() behaves as follows:

    • If T if of the form O(T0,...TN), then let O' be boost::result_of<proto::make<O>(Expr, State, Data)>::type.

    • Otherwise, let O' be boost::result_of<proto::make<T>(Expr, State, Data)>::type.

    Returns:

    proto::call<O'(T0,...TN)>()(expr, state, data)

PrevUpHomeNext