C++可变参数模板类特化及构造函数模板实参推导问题

你遇到的问题根源在于：类模板的主模板是可变参数形式，C++17的构造函数实参推导无法自动关联到你的单参数特化版本。编译器看到S(1)时，无法确定要将模板参数推导为S<int>——因为主模板template <typename... A> struct S;没有定义，也没有明确规则指引它匹配单参数特化。

以下两种方法可以让你省略显式模板参数，直接用S(1)完成构造：

方法一：添加类模板推导指引 #

在类定义后添加推导指引，明确告诉编译器如何从构造函数参数推导模板参数：

template <typename... A>
struct S;

template <>
struct S<> {
  S(){
      
  }
};

template <typename A>
struct S<A> {
  S(A a){
      
  }
};

// 新增推导指引，关联构造参数与模板参数
template <typename A>
S(A) -> S<A>;

int main()
{
    auto s1 = S();       // 正常，匹配S<>特化
    auto s2 = S(1);      // 正常，通过推导指引推导为S<int>
    auto s3 = S<int>(1); // 正常

    return 0;
}

方法二：改用带默认参数的非可变模板 #

如果不需要真正的可变参数支持，可以把主模板改成带默认参数的形式，避免特化带来的推导歧义：

template <typename A = void>
struct S {
  S(A a){
      
  }
};

// 特化无参数版本
template <>
struct S<void> {
  S(){
      
  }
};

int main()
{
    auto s1 = S();       // 正常，匹配S<void>特化
    auto s2 = S(1);      // 正常，推导A为int
    auto s3 = S<int>(1); // 正常

    return 0;
}

内容的提问来源于stack exchange，提问作者MengMeng