Neden variadic şablon parametresinin bu ikamesi başarısız oluyor? (Paket önce sabit argümanlar)

Question

İşte

derleme hatası tetikleyen minimal örnektir:

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

Sorunun variadic şablon parametresi sabit int parametresi önce fonksiyon tipinde genişletilir gerçeği ile ilgilidir şüpheli Ama durum böyleyse, bunun için iyi bir gerekçe bulamıyorum. Clang 3.6 bildirdiği

hatadır:

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

Answer 1

Argüman kesinti burada başarısız: paketleri anlaşılabilir olması için sonunda olmak zorunda Parametre genel kural için

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

. Her zamanki çözüm, indirilemeyen bir bağlamda sarmaktır, bu nedenle kesinti bile denenmez:

Answer 2

Düzenleme: yeniden yapıldı cevap: Args..., intArgs... anlamak izin vermez

formu.

Answer 3

Bu çalışır:

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

LIVE DEMO