爲什麼這種可變參數模板參數替換失敗？ （包固定前參數）

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 <class... Args> 
void post_forwarder(void(*fun)(Args..., int), Args&&... aArgs) 
          // ^^^^^^^ 

該參數的包裝必須在年底前抵扣的一般規則。通常的解決方案是將其包含在不可推論的上下文中，以至於甚至不嘗試扣除：

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 F, class... Args> 
void post_forwarder(F f, Args&&... aArgs) { 
    f(std::forward<Args>(aArgs)..., 5); 
} 

LIVE DEMO