再帰的バリデーションテンプレートが期待どおりに機能しないのはなぜですか？

Question

#include <type_traits> 

template<typename T> 
T f(T&& a, T&& b) 
{ 
    return a + b; 
} 

template<typename T, typename... Args> 
T f(T&& a, T&& b, Args&&... args) 
{ 
    return f(a, f(b, std::forward<Args>(args)...)); 
} 

int main() 
{ 
    f(1, 2, 3); 
} 

VS 2015の出力：エラーC2672： 'F'：なしマッチングオーバーロードされた関数が期待通りに動作しないのはなぜ

を見つけましたか？

Answer 1

問題は、再帰的にa : intとb : int&でバイナリオーバーロードを呼び出そうとし、その結果fを呼び出すときにaやbを転送していないことです。ここでは最初のステップです：

template<typename T> 
T f(T&& a, T&& b) { 
    return a + b; 
} 

template<typename T, typename... Args> 
T f(T&& a, T&& b, Args&&... args) { 
    return f(std::forward<T>(a), f(std::forward<T>(b), std::forward<Args>(args)...)); 
} 

今の問題は、渡されたすべての引数が同じ値のカテゴリを持っている必要がありますし、任意の左辺値の引数が、例えば、エラーの原因となることですint i = 2; f(1, i, 3);は失敗します。この問題を解決するには..：あなたがで問題が発生しているF` `への呼び出しの

template<typename T, typename U> 
typename std::decay<T>::type 
f(T&& a, U&& b) { 
    return a + b; 
} 

template<typename T, typename... Args> 
typename std::decay<T>::type 
f(T&& a, Args&&... args) { 
    return f(std::forward<T>(a), f(std::forward<Args>(args)...)); 
}