C++如何实现支持1或2个模板参数的类模板重载？

C++ 不支持直接对类模板按参数数量重载，你的原始写法会触发重复定义的编译错误，可通过以下两种方案实现需求：

方案1：默认参数+偏特化（最常用） #

适合仅需要1个/2个参数的固定场景：

// 主模板：第二个参数设置默认占位值
template <typename F, typename I = void>
class B {
public:
    // 双模板参数场景的实现逻辑
};

// 偏特化：匹配仅传入1个模板参数的场景
template <typename F>
class B<F, void> {
public:
    // 单模板参数场景的实现逻辑
};

实例化方式和你要求的完全一致：

B<int> hello;       // 自动匹配单参数偏特化版本
B<int, int> hello2; // 自动匹配双参数主模板版本

方案2：可变参数模板+偏特化（扩展性更强） #

如果后续可能扩展更多参数数量的版本，推荐用这种写法：

// 可变参数主模板声明，不需要默认实现
template <typename... Args>
class B;

// 特化1个参数的场景
template <typename I>
class B<I> {
public:
    // 单参数实现逻辑
};

// 特化2个参数的场景
template <typename F, typename I>
class B<F, I> {
public:
    // 双参数实现逻辑
};

实例化方式和上面完全相同。

补充说明 #

如果两个版本公共逻辑占比很高，也可以不用分开写特化，直接在主模板内用C++17及以上支持的if constexpr做编译期分支判断，减少重复代码：

#include <type_traits>

template <typename F, typename I = void>
class B {
public:
    B() {
        if constexpr (std::is_same_v<I, void>) {
            // 单参数场景逻辑
        } else {
            // 双参数场景逻辑
        }
    }
};

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