使用标准std::variant与访问者模式时类型转换失败问题求助

1. 直接传递variant给process函数报错：SubVisitor::process只定义了std::string和double类型的重载，但你传递的是std::variant<std::string, double>对象——variant本身是容器类型，不属于这两种基础类型的任何一种，编译器无法自动完成类型转换，因此触发C2664错误。
2. 调用apply(1.0)失败：std::variant结合访问者模式的核心是让variant根据内部存储的实际类型自动分发到对应处理函数，而非直接传递原始值给apply。你需要先将值存入variant，再借助variant的分发机制匹配处理函数。

方法一：用std::visit实现自动类型分发 #

std::visit是标准库专门处理variant的工具，会根据variant当前存储的类型，自动调用对应的重载函数。让访问者类重载operator()即可适配：

#include <variant>
#include <string>
#include <iostream>

struct SubVisitor {
    // 处理string类型
    double operator()(const std::string& s) {
        return s.size();
    }
    // 处理double类型
    double operator()(double d) {
        return d * 2;
    }
};

int main() {
    std::variant<std::string, double> var;
    
    var = "hello";
    // 自动匹配string版本的operator()
    std::cout << std::visit(SubVisitor{}, var) << std::endl; // 输出5
    
    var = 3.14;
    // 自动匹配double版本的operator()
    std::cout << std::visit(SubVisitor{}, var) << std::endl; // 输出6.28
}

方法二：封装process函数支持直接接收variant #

如果坚持使用process方法名，可以新增一个接收variant的重载，内部用std::visit完成分发：

#include <variant>
#include <string>
#include <iostream>
#include <functional>

struct SubVisitor {
    double process(const std::string& s) {
        return s.size();
    }
    double process(double d) {
        return d * 2;
    }

    // 新增支持variant的重载，内部自动分发到对应process版本
    double process(const std::variant<std::string, double>& var) {
        return std::visit([this](auto&& arg) {
            return this->process(std::forward<decltype(arg)>(arg));
        }, var);
    }

    // 修复apply方法：先将参数存入variant再处理
    template<typename T>
    void apply(T&& val) {
        std::variant<std::string, double> var = std::forward<T>(val);
        std::cout << process(var) << std::endl;
    }
};

int main() {
    SubVisitor vis;
    vis.apply("test");   // 输出4
    vis.apply(1.0);      // 输出2.0
    vis.apply(2.5);      // 输出5.0
}

关键说明 #

• 无需手动调用std::get<std::string>或std::get<double>，std::visit会自动完成类型匹配，彻底解决不确定variant存储类型的问题。
• 确保访问者类对variant的所有可能类型都提供了处理函数（比如这里的string和double），否则std::visit会触发编译错误，避免遗漏类型处理。

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