C++模板特化如何让多个类型共用同一个类定义？

你写的多参数并列特化的语法C++原生不支持，可通过以下几种方案实现需求：

方法1：部分特化+std::enable_if（兼容C++11及以上版本） #

这是兼容性最好的方案，通过增加默认占位模板参数结合类型/值判断，把符合条件的所有参数都匹配到同一个特化分支。
针对你给出的类型特化场景，示例代码如下：

#include <iostream>
#include <type_traits>
using namespace std;

// 主模板增加默认void类型的占位参数，用于特化匹配
template <typename T, typename = void>
class Test {
public:
    Test() {
        cout << "General template object \n";
    }
};

// 部分特化：仅当T为int或char时匹配该分支
template <typename T>
class Test<T, typename std::enable_if_t<
    std::is_same_v<T, int> || std::is_same_v<T, char>
>> {
public: 
    Test() {
        cout << "Specialized template object\n";
    }
};

// 测试代码
int main() {
    Test<int> a;    // 输出特化版本
    Test<char> b;   // 输出特化版本
    Test<double> c; // 输出通用版本
    return 0;
}

如果是枚举值作为模板参数的场景，只需要把std::is_same_v的判断替换为枚举值等值判断即可。

方法2：C++20 概念(concept)简化写法 #

如果可以使用C++20及以上标准，用concept可以大幅简化特化的判断逻辑，可读性更高：

#include <iostream>
#include <type_traits>
using namespace std;

// 定义匹配规则的concept
template <typename T>
concept IntOrChar = std::is_same_v<T, int> || std::is_same_v<T, char>;

template <typename T>
class Test {
public:
    Test() {
        cout << "General template object \n";
    }
};

// 直接用concept约束特化的参数范围
template <IntOrChar T>
class Test<T> {
public: 
    Test() {
        cout << "Specialized template object\n";
    }
};

方法3：公共逻辑继承（无需修改主模板） #

如果不想改动原有主模板的定义，可以把通用的特化逻辑抽成独立基类，所有需要复用该逻辑的特化直接继承基类即可，适合枚举成员分组多的场景：

#include <iostream>
using namespace std;

// 原有主模板无需修改
template <typename T>
class Test {
public:
    Test() {
        cout << "General template object \n";
    }
};

// 抽离公共特化逻辑到基类
struct SpecialImpl {
    SpecialImpl() {
        cout << "Specialized template object\n";
    }
};

// 多个特化直接继承基类复用逻辑
template<> class Test<int> : public SpecialImpl {};
template<> class Test<char> : public SpecialImpl {};

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