如何实现Visitor类模板 为std::variant各备选类型定义重载方法

核心逻辑是利用C++可变参数模板的包展开特性，先萃取std::variant的所有备选类型，再为每个类型生成对应的纯虚调用运算符。

完整实现代码如下：

#include <variant>

// 主模板前置声明
template <typename Variant>
struct Visitor;

// 针对std::variant的偏特化实现
template <typename... Alternatives>
struct Visitor<std::variant<Alternatives...>>
{
    // 为每个备选类型展开生成纯虚operator()
    virtual void operator()(Alternatives const&) const = 0;
    // 虚析构保证派生类资源释放安全
    virtual ~Visitor() = default;
};

实现原理 #

对传入的std::variant<T1, T2, ...Tn>类型，偏特化版本会自动提取出所有备选类型包T1...Tn，通过包展开语法一次性生成n个纯虚函数：

• virtual void operator()(T1 const&) const = 0
• virtual void operator()(T2 const&) const = 0
• ...
• virtual void operator()(Tn const&) const = 0

派生类继承该基类时，必须覆盖所有纯虚函数才能实例化，从编译层面强制要求开发者处理variant的每一种可能取值。

使用示例 #

// 测试类型定义
struct A1 {};
struct A2 {};
struct B1 {};
struct B2 {};

using VarA = std::variant<A1, A2>;
using VarB = std::variant<B1, B2>;

// 正确实现：覆盖所有备选类型的operator()，可正常编译
struct VarAVisitor : Visitor<VarA>
{
    void operator()(A1 const&) const override
    {
        // 处理A1类型的逻辑
    }
    void operator()(A2 const&) const override
    {
        // 处理A2类型的逻辑
    }
};

struct VarBVisitor : Visitor<VarB>
{
    void operator()(B1 const&) const override
    {
        // 处理B1类型的逻辑
    }
    void operator()(B2 const&) const override
    {
        // 处理B2类型的逻辑
    }
};

// 错误示例：漏写任意一个备选类型的重载，编译直接报错
// struct BadVisitor : Visitor<VarA>
// {
//     void operator()(A1 const&) const override {}
// };

int main()
{
    VarA va = A2{};
    // 可直接传入std::visit使用，符合标准库调用约定
    std::visit(VarAVisitor{}, va);
    return 0;
}

注意事项 #

• 派生类重写operator()时必须保证签名完全匹配：参数为T const&、成员函数带const限定，否则不会被判定为override，编译器会提示存在未实现的纯虚函数
• 该实现完全兼容C17及以上标准（std::variant从C17开始引入）
• 基类的虚析构函数可以保证通过基类指针/引用操作派生类对象时，不会出现资源泄漏问题

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