Lambda and Non-Metafunction Templates

There is just one detail of placeholder expressions that we haven't discussed yet. MPL uses a special rule to make it easier to integrate ordinary templates into metaprograms: After all of the placeholders have been replaced with actual arguments, if the resulting template specialization X doesn't have a nested ::type, the result is just X itself.

For example, mpl::apply, T> is always just std::vector. If it weren't for this behavior, we would have to build trivial metafunctions to create ordinary template specializations in lambda expressions:

// trivial std::vector generator
template 
struct make_vector { typedef std::vector type; };

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

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