如何实现operator << with boost :: variant

Question

我明白这boost::variant是实现的

template <typename... Vs>
struct variant {
    std::aligned_union<Vs...>::type buffer;
    ....
};

我们如何operator<<为这样的结构创建一个这样的结构来打印存储在缓冲区中的类型转换并将其传递operator<<给cout？为此,我们需要知道缓冲区中存储的元素的类型吗？有没有办法知道这个？

此外,我正在寻找这种实现的解释,如果存在的话.不只是它存在以及如何使用它.

Answer 1

Boost有一个apply_visitor函数,它接受一个泛型函数对象并将变量的类型传递给它.因此,实施operator<<与以下一样简单:

template <class... Ts>
std::ostream& operator<<(std::ostream& os, boost::variant<Ts...> const& var) {
    return boost::apply_visitor(ostream_visitor{os}, var);
}

有:

struct ostream_visitor : boost::static_visitor<std::ostream&>
{
    std::ostream& os;

    template <class T>
    std::ostream& operator()(T const& val) {
        return os << val;
    }
};

或者干脆:

template <class... Ts>
std::ostream& operator<<(std::ostream& os, boost::variant<Ts...> const& var) {
    return boost::apply_visitor([&os](const auto& val) -> std::ostream& {
        return os << val;
    }, var);
}

您可以在本教程中看到其他一些示例.