平均小型

Question

我想寫一個通用的平均算法。也就是說，對於任何具有運算符+（T）和運算符/（浮點數）的類型T，我想找到容器中T的平均值：

類似這樣的工作對浮點類型工作正常：

template<typename T> 
typename T::value_type RunningAverage(const T& v) 
{ 
    typename T::value_type vectorRunningAverage = 0; 

    for(unsigned int i = 0; i < v.size(); ++i) 
    { 
    vectorRunningAverage = (v[i] + i*vectorRunningAverage)/(i+1); 
    } 

    return vectorRunningAverage; 
} 

我可以改變

typename T::value_type vectorRunningAverage = 0; 

到

float vectorRunningAverage = 0; 

，然後它會用工作鍵入像無符號字符（不能添加多個無符號字符並將結果存儲在無符號字符中而不溢出），因爲它可以隱式轉換爲浮點型。然而，如果我有一些更復雜的類型（比如我想平均一個std::vector<std::vector<unsigned char> >中的組件，這是行不通的。有沒有我丟失的東西？或者這樣做沒有意義嗎？

Answer 1

我想你應該告訴對方明確提所需的返回類型：

template<typename T, typename ResultT = typename T::value_type> 
ResultT RunningAverage(const T& v); 

我也覺得你應該開始&結束迭代器而不是整個容器，因爲它會使你的函數更通用（你可以得到前半部分的平均值或者例如）。

Answer 2

因此，你需要以某種方式定義您的T類型是什麼含T值的平均值的類型是什麼。

C++特性提供清潔和非侵入的解決方案。

template <class T> 
struct average 
{ 
    typedef float type; // could be or could be not sane default, depends on the domain 
}; 

然後，針對各類需要「微調「你只需提供的專業化（部分或全部） 10模板：

template <> 
struct average<double> 
{ 
    typedef double type; // want more precision 
}; 

template <class T> 
struct average<MyMegaType<T> > 
{ 
    typedef MyMegaType<T>::value_type type; 
}; 

比你的函數的sgnature可能是

template<typename T> 
typename average<T::value_type>::type RunningAverage(const T& v);