能否为类模板参数包的每个元素定义方法重载？

可以实现为参数包types中的每个类型T生成void bar(T x)的重载版本，下面是两种常见的实现方式：

方法一：通过递归继承辅助类 #

这种方式通过让Foo继承多个针对单一类型的辅助类，每个辅助类中定义对应类型的bar方法，从而实现重载。

首先定义辅助类：

#include <iostream>

// 辅助类，为单一类型T定义bar方法
template<typename T>
class FooBar {
public:
    void bar(T x) {
        std::cout << "处理类型: " << typeid(T).name() << "，值: " << x << std::endl;
    }
};

然后修改Foo类，继承所有FooBar<types>实例：

// 继承每个类型对应的FooBar，获得多个bar重载
template<typename... types>
class Foo : public FooBar<types>... {};

测试代码：

int main() {
    Foo<int, double, std::string> foo;
    foo.bar(123);
    foo.bar(45.67);
    foo.bar("hello");
    return 0;
}

方法二：用约束模板成员函数（C++20及以上） #

如果不需要生成真正的多个重载函数，而是限制bar只能接受参数包中的类型，可以用C++20的requires约束实现：

#include <iostream>
#include <type_traits>

template<typename... types>
class Foo {
public:
    // 仅接受types中的类型作为参数
    template<typename T>
    requires (std::disjunction_v<std::is_same<T, types>...>)
    void bar(T x) {
        std::cout << "处理类型: " << typeid(T).name() << "，值: " << x << std::endl;
    }
};

注意：这种方式本质是一个模板函数，而非多个独立的重载，但同样能达到仅支持参数包内类型的效果。

注意事项 #

• 如果参数包types中存在重复类型，方法一会因为重复继承同名成员导致编译错误，需要先对参数包去重（比如借助std::tuple和类型萃取工具实现）；方法二则不会有这个问题，但调用时仍只能匹配到同一个模板实例。

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