这里,minus_f::apply使用了继承来将其基类mpl::minus的“type”内嵌类型暴露出来。这样我们就不必写:
typedef typename ...::type type
这个强有力的简化代码的手法被称为元函数转发。后面我们还会频繁使用它。注意,我们不用在apply的基类mpl::minus<t1,t2>前面加上typename(加了反而会错),因为编译器知道apply的基类列表中只可能有类型。
这里,minus_f::apply使用了继承来将其基类mpl::minus的“type”内嵌类型暴露出来。这样我们就不必写:
typedef typename ...::type type
这个强有力的简化代码的手法被称为元函数转发。后面我们还会频繁使用它。注意,我们不用在apply的基类mpl::minus<t1,t2>前面加上typename(加了反而会错),因为编译器知道apply的基类列表中只可能有类型。