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

Question

我正在嘗試顯式實例化可變參數構造函數。 這個打印所有參數的最小示例會導致我在使用GCC 5.3的64位Win 7上的MinGW-w64上看到相同的錯誤。

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* &&);