C++中能否为模板类指定部分参数？含指定末尾参数场景

嘿，这两个问题都问到点子上了，正好涉及C++不同版本对模板参数处理的变化，我来拆解一下：

问题1：在C++中，是否可以为模板类指定部分模板参数？ #

答案是可以，但要看具体的C++版本和参数指定方式：

• 在C++17及更早版本：类模板的模板参数是按位置顺序匹配的。如果模板参数带有默认值，你可以指定前面的N个参数，剩下的参数自动使用默认值——这其实就是一种“部分指定”。比如：

  template<class A=int, class B=float, class C=double> 
  class SomeClass {};
  
  // 合法：指定A为int（和默认一致），B、C用默认
  SomeClass<> obj1;
  // 合法：指定A为char，B、C用默认
  SomeClass<char> obj2;
  // 合法：指定A、B，C用默认
  SomeClass<char, int> obj3;
  

  但这种方式的限制是不能跳过前面的参数去指定后面的，必须按顺序来。

• 在C++20及以后：除了按位置的部分指定，还支持按参数名指定模板实参，这让你可以更灵活地部分指定参数，甚至跳过前面的默认参数直接指定后面的。

问题2：对于声明为template<class A=int, class B=float, class C=double> class SomeClass;的模板类，能否通过类似SomeClass<C=long long int>的方式仅指定最后一个参数？ #

这同样分版本：

• C++20之前：不行。因为旧标准中模板参数只能按位置匹配，编译器无法识别你是要跳过A、B的默认值直接指定C，这种写法会被视为语法错误。

• C++20及以后：完全可以。C++20引入的**指定模板实参（designated template arguments）**特性允许你通过参数名来绑定模板参数，不管顺序。比如：

  template<class A=int, class B=float, class C=double> 
  class SomeClass {};
  
  // C++20合法：仅指定C为long long int，A、B用默认值
  SomeClass<C=long long int> obj;
  // 甚至可以打乱顺序指定
  SomeClass<B=bool, C=long long int> obj2;
  

  这种写法让模板参数的使用更清晰，尤其是当模板有多个带默认值的参数时，不用再担心位置搞错。

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