Lambda and Non-Metafunction Templates

Есть только одна деталь выражений, которые мы еще не обсуждали. MPL использует специальное правило, чтобы упростить интеграцию обычных шаблонов в метапрограммы: После того, как все заполнители были заменены фактическими аргументами, если полученная шаблонная специализацияXне имеет вложенного::type, результат — толькоX.

Например,mpl::apply,T>всегда простоstd::vector< T>. Если бы не такое поведение, нам пришлось бы создавать тривиальные метафункции для создания обычных шаблонных специализаций в выражениях лямбда:

// trivial std::vector generator
template<class U> 
struct make_vector { typedef std::vector<U> type; };
typedef mpl::apply<make_vector<_>, T>::type vector_of_t;

Вместо этого мы можем просто написать:

typedef mpl::apply<std::vector<_>, T>::type vector_of_t;