なぜこの可変的なテンプレートパラメータの置換に失敗しますか？ （パックの前に固定引数）

Question

ここでは、コンパイルエラーをトリガ最小限の例です：

#include <utility> 
void foo(int, double, int) 
{} 

template <class... Args> 
void post_forwarder(void(*fun)(Args..., int), Args&&... aArgs) 
{ 
    fun(std::forward<Args>(aArgs)..., 5); 
} 

int main() 
{ 
    post_forwarder(foo, 6, 6.1); // Compilation error on instantiation 
    return 0; 
} 

私は問題は可変引数テンプレートパラメータが固定int型のパラメータの前に関数型で展開されているという事実に関係している疑いがありますしかし、それが事実なら、私はそれのための良い根拠を見つけることができません。

クラン3.6で報告されるエラーは次のとおりです。

error: no matching function for call to 'post_forwarder' 
note: candidate template ignored: failed template argument deduction 

Answer 1

引数を。通常の解決策は、控除できないようにするためです。

template <typename T> 
struct identity { 
    using type = T; 
}; 

template <class... Args> 
void post_forwarder(void(*fun)(typename identity<Args>::type..., int), Args&&... aArgs) 
{ 
    fun(std::forward<Args>(aArgs)..., 5); 
} 

Answer 2

編集：書き直し答え：Args..., intはArgs...を推測することはできません

形。

Answer 3

これは動作します：パラメータパックを演繹する最後でなければならないこと、一般的なルールの

template <class... Args> 
void post_forwarder(void(*fun)(Args..., int), Args&&... aArgs) 
          // ^^^^^^^ 

：控除はここに失敗し

template <class F, class... Args> 
void post_forwarder(F f, Args&&... aArgs) { 
    f(std::forward<Args>(aArgs)..., 5); 
} 

LIVE DEMO