Wie Operator << mit boost :: Variante ist

Question

implementiert

Ich verstehe, dass boost::variant so etwas wie implementiert wird

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

Wie können wir ein operator<< für eine Struktur wie diese machen, dass die Abgüsse den Typ in der gespeicherten Abdrücken Puffer und übergibt das an operator<< für cout? Dazu müssten wir den Typ des im Puffer gespeicherten Elements wissen, oder? Gibt es eine Möglichkeit, das zu wissen?

Auch ich bin auf der Suche nach einer Erklärung für eine solche Implementierung, wenn eine existiert. Nicht nur dass es existiert und wie ich es benutzen kann.

Answer 1

Boost hat eine apply_visitor-Funktion, die ein generisches Funktionsobjekt übernimmt und den Typ der Variante in es übergibt. So operator<< Umsetzung ist so einfach wie:

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

mit:

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

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

Oder einfach:

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

Sie können einige andere Beispiele in der tutorial sehen.