在std ::访问中获得主动价值，而又不知道哪个值是活动的

Getting active value in std::visit without knowing which value is active

本文关键字：不知道 活动 访问 std      更新时间：2023-10-16

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

#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：访问（）需要所有潜在调用的结果 具有相同的类型和值类别（N4741 23.7.7 [variant.visit]/2）。

注意：请参阅函数模板实例化'int参考 std ::访问＆amp;，0>（_可呼叫 ＆amp;＆amp;，std :: variant＆amp;）'被编译

那么如何解决此问题？

编辑：我想也可能使用其他值来用于其他值

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

这是编译器必须答案的问题。答案不能是"取决于" - 您（如在编译器中）必须在编译时决定。visit调用可能在运行时返回不同类型。

如果您想使用不同类型的"在运行时"工作，则必须在要使用的类型上的函数中。换句话说，必须有不同的函数（或函数模板实例化）来处理"将int写入 cout"answers"将字符串写入 cout"情况。您不能以相同的（非策略）函数来执行此操作。

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

如果您想"将获得的值也可能用于[某些]其他[目的]"，则"其他目的"也应成为/a访问者的一部分。只有这样，您才能使"其他目的"一次处理不同的情况（例如，在模板函数中）。否则，您必须在编译时确定哪种类型应使用 - 编译器将不会在以后的（运行时间）打开该选择。

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

而是创建打印机访问者：

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"
}
相关文章：