C++ 11個の可変長引数

Question

私はテンプレート関数N回を呼び出すラッパーあります

template <std::uint16_t N, typename F, typename ... Args> 
inline typename std::result_of<F && (Args &&...)>::type retry_n(F && f, Args&& ... ax) 
{ 
    for (auto i = 0; i < N; ++i) 
    { 
     try 
     { 
      return std::forward<F>(f)(std::forward<Args>(ax)...); 
     } 
     catch (const some_except &e){ /*ignore exception for a while*/ } 
    } 
    throw;//re-raise 
} 

を私はデフォルトの引数で関数を渡すまで、すべてが正常に動作します：

どう

int f(int a, int b, int c = 5); 
.... 
retry_n<10>(f, 1, 2); // error C2198: 'bla-bla' : too few arguments for call 

明示的な指定なしにデフォルトの引数を使用できるようにするには？

Answer 1

デフォルトのパラメータは、関数のシグネチャの一部ではなく、テンプレート型推論に参加しません。あなたはretry_n<>へfを渡すたびローカルfは、この後者のタイプのものであり、デフォルトパラメータは、現在のプロセスの外にあるので、だから、Fの種類は、int(int, int, int)と推定されます。唯一の解決策は、@ Johannes Schaub-litbのコメントのように、型を推測することなく直接テストしたい関数を使うことです。コンパイラが汎用ラムダ（C++ 14）をサポートしていない場合はラップしてください可変長テンプレートoperator()

struct functor 
{ 
    template<typename... T> 
    int operator()(T&&... params) 
    { 
     return f(std::forward<T>(params)...); 
    } 
}; 

と

retry_n<10>(functor{}, 1, 2);