Skip to content

Variant.md

Latest commit

 

History

History
92 lines (58 loc) · 2.45 KB

Variant.md

File metadata and controls

92 lines (58 loc) · 2.45 KB

Klasse std::variant

Zurück

Quellcode

Inhalt

Allgemeines

Neben der Klasse std::variant wird im Beispiel auch auf das Visitor-Konzept eingegangen.

Klasse std::variant:

  • index()
  • std::get<>()
  • emplace<>()
  • std::get_if<>()
  • std::bad_variant_access

Visitor-Konzept:

  • std::visit()
  • std::common_type

Overload-Pattern

Dieses Pattern verwendet werden, um den Wert eines std::variant-Objekts zielgerichtet zu besuchen.

template<class... Ts>
struct Overload : Ts... { using Ts::operator()...; };
    
template<class... Ts> Overload(Ts...) -> Overload<Ts...>;

Dieses Pattern ist sehr trickreich – ich will es deshalb nur kurz beschreiben:

  • Die Strukturdefinition struct Overload ist das Overload Pattern selbst.
  • Die nachfolgende Anweisung ist der so genannte Deduction Guide dafür.
  • Die Overload-Klasse kann beliebig viele Basisklassen (Ts ...) haben. Sie leitet sich von jeder Klasse public ab und bringt den Aufrufoperator (Ts::operator...) jeder Basisklasse in ihren Geltungsbereich.
  • Die Basisklassen benötigen einen überladenen Aufrufoperator (Ts::operator()). Lambdas stellen diesen Aufrufoperator zur Verfügung.

Kompakt formuliert kann man unter dem Deduction Guide ein Muster verstehen, das einer Templateklasse zugeordnet ist und dem Compiler mitteilt, wie ein Satz von Konstruktorargumenten (und deren Typen) in Template-Parameter für die Klasse übersetzt werden sollen.

Im Quellcode finden Sie ein Beispiel vor, das so einfach wie möglich gehalten ist.

Internas einer möglichen Realisierung einer Kasse std::variant

Im Netz finden sich einige Ansätze vor, wie man eine Klasse std::variant selber realisieren könnte, siehe zum Beispiel diesen GitHub Gist: variant.cc.

Literaturhinweise

Ein interessanter Vergleich der beiden Klassen std::variant und std::any findet sich in stackoverflow:

"C++ std::variant versus std::any"

Zurück