Dlaczego to zastąpienie parametru szablonu variadic zawodzi? (opakowań przed stałe argumenty)

Question

Oto minimalny przykład wywołując błąd kompilacji:

#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; 
} 

Podejrzewam, że problem jest związany z faktem, że o zmiennej liczbie argumentów parametr szablonu jest rozszerzany w rodzaju funkcji przed wyznaczonym int parametr , ale jeśli tak jest, nie mogę znaleźć dobrego uzasadnienia.

Błąd zgłoszony przez Clang 3.6 jest:

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

Answer 1

Argument odliczenie nie tutaj:

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

dla ogólnej zasady, że parametr opakowania muszą być w końcu się wywnioskować. Najczęstszym rozwiązaniem jest zawijanie go do kontekstu bez dedukcji, więc odliczanie nie jest nawet podejmowane:

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

Edit: Przepisany odpowiedź:

Formularz Args..., int nie pozwala wywnioskować Args....

Answer 3

to działa:

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

LIVE DEMO