如何访问存储在 std::variant 中的类的方法

Question

我正在尝试访问 std::variant 中保存的类的方法。不幸的是它抛出并出现以下错误：

class ’std::variant<A, int>’ has no member named ‘function’

代码：

class A {
private:
    int number = 0;
public:
    A() {};
    void function(int i) {
        number += i;
    }
};

// ... main ...
std::variant<A,B> array[4][4];

array[0][0] = A(){};
array[0][0].function(3);

我尝试阅读文档，但我仍然不明白如何或是否应该使用 std::get() 和 std::variants.index() 来访问上述方法。

经过一番阅读后，我尝试在循环中做这样的事情：

std::size_t t=array[i][j].index();
std::get<t>(array[i][j]).function();

但还是没成功。错误是：

note: candidate: template<class _Tp, class ... _Types> constexpr _Tp&& std::get(std::variant<_Types ...>&&)
     constexpr inline _Tp&& get(variant<_Types...>&& __v)

template argument deduction/substitution failed:

Answer 1

要初始化

std::variant

中的值，您可以使用

std::get

，或者从 C++17 开始，

emplace()

:

array[0][0].emplace<A>();

要访问值，请使用

std::get

:

std::get<A>(array[0][0]).function(3);

---

此外，

std::get

的模板参数必须在编译时已知，因此当

std::get<t>

是变量时，

t

将不起作用。您可以稍微不同地做，例如像这样：

std::size_t t = array[0][0].index();
switch (t) {
case 0:
    std::get<0>(array[0][0]).function(3);
case 1:
    // . . .
}

Answer 2

您调用 get 方法，将变体作为参数并指定模板的类

ex：假设你有一个带有 x,y 坐标的点类 那么 std::get(v) 将允许您访问变体中的点

std::variant<int, Point> v;
v = 177;
int i = std::get<int>(v);
v = Point(15,18);

try 
{
  Point s = std::get<Point>(v);
  std::cout << s.getX();
}
catch (const std::bad_variant_access&) {}

Answer 3

std::get 是您正在寻找的解决方案。

std::get<A>(array[0][0]) = AA();
std::get<A>(array[0][0]).function(3);

或者

std::get<int>(array[0][0]) = 56;

还有一件事，您可以使用 std::array 代替这个

C

数组，并获得更多标准库功能：

std::array<std::array<std::variant<A,int>, 4>, 4> array;

用法还是可以一样，或者更安全一点：

std::get<A>(std::get<0>(std::get<0>(array))) = A();

或者：

std::get<A>(array.at(0).at(0)) = A();

在这种情况下，在索引错误的情况下，对数组使用

operator[]

可能不会引发错误。你最好使用

.at()

函数，它会在超出范围访问时抛出异常：

try {
    std::get<A>(array.at(0).at(0)) = A();
} catch (const std::out_of_range& e) {
    std::cout << e.what() << std::endl;
}

阅读std::out_of_range。

---

编辑 - 模板参数推导/替换失败

std::size_t t = array[i][j].index();
std::get<t>(array[i][j]).function(); // Error!

您不能使用非常量值作为模板参数。模板参数在编译时进行分析，这里

t

仅在运行时才知道。请参考以下问题：尝试使用 std::visit 和 lambda 表达式从 std::variant 返回值

了解有关变体的更多信息

Answer 4

另一种选择是使用

std::visit

。这应该有效：

std::visit([](auto& x) {
               x.function();
             }, 
             array[0][0]);