Как оператор << с буст :: вариант реализуется

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.