在不知道哪个值处于活动状态的情况下在 std::visit 中获取活动值

Question

我想在 std::variant 中获取活动值，但不知道哪个是活动的。我以为我可以编写一个模板访问者并使用 std::visit 但它不起作用。

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

struct Visit_configuration {
    template<typename Data_type>
    Data_type operator()(Data_type& t) const
    {
        return t;
    }
};

int main()
{
    std::variant<int, std::string> v;
    v = "hello";

    std::cout << std::visit(Visit_configuration(), v);   // expect "hello"
    std::cin.get();
}

MSVC 不编译并抛出：

错误 C2338: visit() 需要所有潜在调用的结果 具有相同的类型和值类别（N4741 23.7.7 [variant.visit]/2)。

注意：参见函数模板实例化 'int std::visit&,0>(_Callable &&,std::variant &)' 正在编译

那么如何解决这个问题？

编辑：我想将获得的值也用于其他值，因此将 cout 放入模板中并不是我想要的。

Answer 1

问自己一个问题：
如果您不知道variant 的哪一部分处于活动状态，std::visit 的返回类型是什么？

这是编译器必须回答的问题。答案不能是“视情况而定”——您（如编译器）必须在编译时决定恰好一种类型。 visit 调用不可能在运行时返回不同的类型。

如果你想在“运行时”使用不同的类型，你必须在你想使用的类型模板化的函数中。换句话说，必须有不同的函数（或函数模板实例化）来处理“将 int 写入cout”和“将字符串写入cout”的情况。您不能在同一个（非模板化）函数中执行此操作。

因此，这里直接的解决方案是将std::cout << 放入您的模板访问者函数中——这就是访问的重点：指定每种情况下应该发生的事情。

如果您想“将获得的值用于 [某些] 其他 [目的]”，那么“其他目的”也应该是访问者的一部分。只有这样，您才能让“其他目的”同时处理不同的情况（例如，在模板化函数中）。否则，您必须在编译时已经决定应该使用哪种类型 - 编译器不会让该选择留待以后（运行时）。

Answer 2

访问者函数的返回类型应该相同。

改为创建打印机访问者：

struct PrinterVisitor {
    template<typename T>
    void operator()(const T& t) const
    {
        std::cout << t;
    }
};

int main()
{
    std::variant<int, std::string> v;
    v = "hello";

    std::visit(PrinterVisitor{}, v);   // expect "hello"
}

在你的情况下，你甚至可以拥有 lambda：

int main()
{
    std::variant<int, std::string> v;
    v = "hello";

    std::visit([](const auto& t){std::cout << t;}, v);   // expect "hello"
}