访问具有单状态的变体

Question

我很难理解变体。

我读到，我可以使用 std：：monostate 来暗示空状态作为变体中的替代方案之一。但是，我该如何使用 std：：visit 促进的访客模式呢？

#include <variant>

struct Visitor{
void operator()(double){};
void operator()(int){};
};
int main() {
std::variant<std::monostate, int, double> v = 1;
std::visit(Visitor{}, v);
}

不起作用，也不起作用，为 std：：monostate 提供调用运算符重载也不起作用。

如果我尝试为呼叫运算符包含一个通用引用重载，它只会匹配所有内容，不再使用两个特定的重载

Answer 1

我添加了正确的访问者方法，它适用于 https://wandbox.org/c ++ 2a

你有什么问题？

#include <iostream>
#include <variant>

struct Visitor{
void operator()(double){ std::cout << "Double!" << std::endl; };
void operator()(int){ std::cout << "Int!" << std::endl; };
// that was missing:
void operator()(std::monostate){ std::cout << "Mono!" << std::endl; };
};
int main() {
std::variant<std::monostate, int, double> v = 1;
std::variant<std::monostate, int, double> w;
std::visit(Visitor{}, v);
std::visit(Visitor{}, w);
}

Answer 2

不起作用，为std：：monostate提供调用运算符重载也不起作用。

std::monostate的额外过载确实对我有用：

struct Visitor {
void operator()(double){}
void operator()(int){}
void operator()(std::monostate){}
};

像这样使用时

std::variant<std::monostate, int, double> v = 1;
std::visit(Visitor{}, v); // invokes the int overload
v= 1.234;
std::visit(Visitor{}, v); // ... and the double overload
v = std::monostate{};
std::visit(Visitor{}, v); // ... and finally the std::monostate overload

它应该愉快地编译并产生预期的行为。