模板：fixed trait类的简单使用

以下是一个用于求和的accum 模板，自动根据参数的类型求某段区间内元素值的总和

template<typename T> 

class AccumulationTraits; 
 
template<> 
class AccumulationTraits<char> { 
public: 
typedef int AccT; 
static AccT zero() { 
  return 0; 
} 
}; 
 
template<> 
class AccumulationTraits<short> { 
public: 
typedef int AccT; 
static AccT zero() { 
  return 0; 
} 
};  
 
template<> 
class AccumulationTraits<int> { 
public: 
typedef long AccT; 
static AccT zero() { 
  return 0; 
} 
}; 
 
template<> 
class AccumulationTraits<unsigned int> { 
public: 
typedef unsigned long AccT; 
static AccT zero() { 
  return 0; 
} 
}; 
 
template<> 
class AccumulationTraits<float> { 
public: 
typedef double AccT; 
static AccT zero() { 
  return 0.0; 
} 
}; 
 

... 

template <typename T> 
inline 
typename AccumulationTraits<T>::AccT accum (T const* beg, T const* end) { 

// return type is traits of the element type 
typedef typename AccumulationTraits<T>::AccT AccT; 
 
AccT total = AccumulationTraits<T>::zero(); 
while (beg != end) { 
total += *beg; 
++beg; 
} 
return total; 
}