模板：参数化 trait 的 使用方法

一、需求引入

根据前一篇博客，我们已经知道了fixed trait的使用方法，因为一旦定义trait 完毕，你就不可以在算法中覆写（overridden）它。不过某些情况下  这样的覆写可能是我们想要的，例如当我们碰巧知道某一套浮点数可被安全地累计放进一个同  型的（浮点数）变量中，「覆写  traits」就有可能使我们的开发更高效。 
 
原则上，解决方案是这样：添加一个带有默认值的   template parameter，默认值由我们的  traits template 决定。这么一来大部分用户可以忽略额外的  template argument，而特殊需求的用户则可 以覆写 （override） 预先设定的累计类型。 此方案惟一令人不快的是： function templates 不能拥  有预设的  template arguments，但是class templates却可以。

2、实现

让我们修改上一篇博客提到的accum 函数模板，把它修改成类模板

template <typename T, typename AT = AccumulationTraits<T> > 

class Accum { 
public: 
static typename AT::AccT accum (T const* beg, T const* end) { 
typename AT::AccT total = AT::zero(); 
while (beg != end) { 
total += *beg; 
++beg; 
} 
return total; 
} 

};

我们可以引入2个辅助函数，简便接口的调用

使用默认参数的接口调用

template <typename T>  

inline 
typename AccumulationTraits<T>::AccT accum (T const* beg, T const* end) { 
return Accum<T>::accum(beg, end); 
}

使用指定的显示参数调用接口

template <typename Traits, typename T> 
inline 
typename Traits::AccT accum (T const* beg, T const* end) { 
return Accum<T, Traits>::accum(beg, end); 
}