C++类模板偏特化实例化省略重复参数报错问题咨询

答案是不可以。
你遇到的编译错误本质是混淆了类模板偏特化的匹配规则和模板参数数量规则：类模板实例化时要求传入的参数个数，永远由*主模板（通用模板）*的声明决定，偏特化不会修改这个参数个数要求，它只是用来定义「当传入的参数满足特定模式时，编译器该选用哪个版本的实现」。

规则说明 #

1. 你看到的教材里写的Trio<int, short> t2属于教材排版/笔误，标准C++语法完全不支持这种写法。对于举的Trio例子，主模板声明是template <class T1, class T2, class T3> class Trio，这就强制所有Trio的实例化必须传入3个类型参数，参数数量不对编译器会直接报错，根本不会进入后续的偏特化匹配流程。
2. 偏特化头部的模板参数列表，只是该特化版本内部用来做模式匹配的变量：
   • 比如template <class T1, class T2> class Trio<T1, T2, T2>的含义是：当用户传入的3个参数满足「第三个参数类型和第二个完全一致」的模式时，就使用这个特化版本的实现，而不是主模板。
   • 它完全没有「用户可以只传2个参数，第三个自动补成和第二个一样」的语义。
3. 你写的测试代码里，b1、b2、b4的写法是完全正确的，编译器会按特化程度从高到低匹配：
   • 三个类型全不同：匹配主模板
   • 后两个类型相同：匹配T1,T2,T2版本的偏特化
   • 三个类型全相同：匹配更特殊的T1,T1,T1版本的偏特化

如果想实现省略重复参数的效果 #

这个需求不能靠偏特化实现，需要给主模板添加默认模板参数，示例如下：

#include <iostream>
using namespace std;

// 给主模板设置默认参数规则
template <typename T1, typename T2 = T1, typename T3 = T2>
class Base
{
public:
    Base()
    {
        cout << "general definition" << endl;
    }
};

// 偏特化定义保持不变
template <typename T1, typename T2>
class Base<T1, T2, T2>
{
public:
    Base()
    {
        cout << "T1 and T2 definition" << endl;
    }
};

template <typename T1>
class Base<T1, T1, T1>
{
public:
    Base()
    {
        cout << "T1 definition" << endl;
    }
};

int main()
{
    Base<int, char, double> b1; // 匹配主模板
    Base<int, char, char> b2;   // 匹配<T1,T2,T2>偏特化
    Base<int, char> b3;         // 等价于Base<int,char,char>，匹配<T1,T2,T2>偏特化
    Base<int, int, int> b4;     // 匹配<T1,T1,T1>偏特化
    Base<int> b5;               // 等价于Base<int,int,int>，匹配<T1,T1,T1>偏特化
    return 0;
}

这种写法下省略的参数会由主模板的默认参数规则自动补全，之后编译器再按正常流程匹配对应的偏特化版本，就可以正常编译运行了。

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