c++ - 理解 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 &operator<<(std::ostream &, const AttrValue &) 在哪里定义以及为什么定义它？

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()另一方面，对于您的函数，它不知道要选择哪种转换。