了解boost :: variant

Question

为什么不进行以下编译：

void f(int8_t a)
{
}

void f(int16_t a)
{
}

typedef boost::variant<int8_t, int16_t> AttrValue;

int main()
{
    AttrValue a;
    a = int8_t(1);
    f(a);
}

编译错误：

error C2665: 'f' : none of the 2 overloads could convert all the argument types
could be 'void f(int8_t)'
or 'void f(int16_t)'

但是，这没关系：

std::cout << a; // f(a);

在哪里定义了std :: ostream＆amp; operator＆lt;＆lt;（std :: ostream＆amp;，const AttrValue＆amp;），为什么定义它？

Answer 1

重载解析发生在编译时，当boost::variant实例可能包含任一类型时，编译器无法知道是否要调用void f(int8_t)或void f(int16_t)。

std::cout << a有效，因为在任何一种情况下它都调用相同的函数std::ostream &operator<<(std::ostream &, const AttrValue &)，该函数内部调度实例的运行时类型。

您需要编写访问者来执行调度：

struct f_visitor: public boost::static_visitor<void>
{
    template<typename T> void operator()(T t) const { return f(t); }
};

boost::apply_visitor(f_visitor(), a);

Answer 2

嗯，首先，你要为自己分配a。由于没有任何重载采用boost::variant类型，当然编译器无法找到正确的函数。

此外，您可能必须使用boost::get来获取价值：

f(boost::get<int8_t>(a));

Answer 3

恰好为operator<<定义了boost::variant，因此编译器不需要执行任何隐式类型转换。另一方面，对于f()函数，它不知道要选择哪个转换。