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);
}

您可以在tutorial中看到其他一些示例。

运算符如何＆lt;＆lt;使用boost :: variant实现

1 个答案: