Struct template impl . Boost , The Boost C++ Libraries BoostBook Documentation Subset , Struct template make

Struct template impl

boost::proto::make::impl

Synopsis

// In header: <boost/proto/transform/make.hpp>

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

typedefсм.-нижерезультат_type;
proto::make<T>::impl<Expr, State, Data>::result_typeвычисляется следующим образом:
ЕслиTявляетсяОбъектным преобразованиемформыObject(A₀,…A_n)илиObject(A₀,…A_n...), то пустьOбудет типом возврата.Object. В противном случаеOбудетT. Затемresult_typeтипдеф вычисляется следующим образом:
- Еслиproto::is_transform<O>::valuetrue, то пусть результат будетboost::result_of<proto::when<_, O>(Expr, State, Data)>::type. Отметим, что произошла замена.
- Если<O>является шаблоном, подобным<proto::noinvoke<S<X₀,…X_n> >>, то тип результата рассчитывается следующим образом:
  - Для каждого<i>в<[0,n]>пусть<X_i'>будет<boost::result_of<proto::make<X_i>(Expr, State, Data)>::type>(который оценивает эту процедуру рекурсивно). Отметим, что произошла замена. (В этом случае Прото просто предполагает, что произошла замена ради эффективности компиляции времени. В противном случае не было бы смысла<proto::noinvoke<>>.
  - Тип результата<S<X₀',…X_n'>>.
- Если<O>является шаблоном<S<X₀,…X_n>>, то тип результата рассчитывается следующим образом:
  - Для каждого<i>в<[0,n]>пусть<X_i'>будет<boost::result_of<proto::make<X_i>(Expr, State, Data)>::type>(который оценивает эту процедуру рекурсивно). Обратите внимание, были ли какие-либо замены в ходе этой операции.
  - Если какие-либо замены имели место на вышеуказанной стадии и<S<X₀',…X_n'>>имеет вложенный<type>типдеф, то тип результата<S<X₀',…X_n'>::type>.
  - В противном случае тип результата<S<X₀',…X_n'>>
    .
- В противном случае тип результата<O>, и обратите внимание, что замены не произошло.
Обратите внимание, что<proto::when<>>реализуется в терминах<proto::call<>>и<proto::make<>>, поэтому вышеуказанная процедура оценивается рекурсивно.

`impl` public member functions

<
```
result_typeoperator()(typenameimpl::expr_paramexpr,
                      typenameimpl::state_paramstate,
                      typenameimpl::data_paramdata)const;
```
>
<proto::make>::impl::operator()ведет себя следующим образом:
- Если<T>имеет форму<O(A₀,…A_n)>, то:
  - Если<proto::is_aggregate>::значение<true>, то построить и вернуть объект<that>следующим образом:
    <
    result_type that = { proto::when<_, A₀>()(expr, state, data), … proto::when<_, A_n>()(expr, state, data) };
    >
  - В противном случае, построить и вернуть объект<that>следующим образом:
    <
    result_type that( proto::when<_, A₀>()(expr, state, data), … proto::when<_, A_n>()(expr, state, data) );
    >
- Если<T>имеет форму<O(A₀,…A_n...)>, то пусть<T'>будет<O(A₀,…A_n-1,S>, где<S>является последовательностью типа, вычисленной из выражения распаковки<A_n>, как описано в ссылке для<proto::pack>. Возвращение:
  <
```
proto::make<T'>()(expr, state, data)
```
  >
- В противном случае, построить и вернуть объект<that>следующим образом:
  <
```
result_type that = result_type();
```
  >

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

Struct template impl

Boost , The Boost C++ Libraries BoostBook Documentation Subset , Struct template make

Boost C++ Libraries

Struct template impl

Synopsis

Description

impl public types

impl public member functions

`impl` public types

`impl` public member functions