age: en">metadata)模型。
从某种意义上说,这就要求在元函数和元数据之间引入多态,一个很自然的途径是使用外覆类惯用手法——在前面的代码中,这种惯用手法曾在类型和整型常量之间引入了多态。而现在,我们将一个类模板内嵌于一个所谓的元函数类[7]中:
struct plus_f
{
template <class t1, class t2>
struct apply
{
typedef typename mpl::plus<t1,t2>::type type;
};
};