顯式實例化可變參數構造函數：template-id與任何模板聲明不匹配

Question

我正在嘗試explicitly instantiate a variadic構造函數。這個最小的例子print all arguments導致我在MinGW-w64 64位Win 7上看到與GCC 5.3相同的錯誤。

struct stf { 
template<typename... Args> stf(Args&&... args){ 
    using expand_type = int[]; 
    expand_type{(print(args), 0)... }; 
} 
}; 

//error on next line: 
//template-id 'stf<char*, char*>' for 'stf::stf(char*, char*)' 
//does not match any template declaration 
template stf::stf<char*,char*>(char*,char*); 

Answer 1

讓我們忽略的參數包，一個時刻：

template<typename Arg> stf(Arg &&args) 

突擊測驗：其實例上面的模板匹配。它是：

template<char *> stf(char *); 

或

template<char *> stf(char *&&); 

？

如果您將char *替換爲模板中的任何位置，您顯然會以第二個版本作爲正確答案。

因此，正確的模板實例必須是：

template stf::stf<char*,char*>(char* &&,char* &&);