boost::variant reimplementieren

[EOutOfResources]

Hallo

Ich reimplementiere gerade ein paar Sachen der STD und von boost . Nun, als ich soeben mit boost :: variant beginnen wollte, komme ich nicht vom Fleck. Wie arbeitet es intern?

MfG, EOutOfResources

[düdüdübdüdüdüüüüü]

is doch opensource

[EOutOfResources]

Uh, das sieht ja schrecklich aus. Ich dachte, die nutzen irgend einen Metaprogrammierungs-Trick.

[Nexus]

EOutOfResources schrieb:

Ich dachte, die nutzen irgend einen Metaprogrammierungs-Trick.

Tun sie garantiert.

[314159265358979]

Ich kenne boost::variant nicht, ist das sowas ähnliches wie boost::any?

[CStoll]

Nicht wirklich - es ist eher die C++-Version einer union.

[ipsec]

Im Prinzip benutzen sie ein char -Array, desses Größe die Maximalgröße aller Typen im Variant ist und dessen Alignment ebenfalls dem maximalen Alignment aller beteiligten Typen entspricht. Dahinein werden dann die entsprechenden Objekte konstruiert.
Von welchem Typ das aktuelle Objekt ist, merkt man sich mit einer simplen Indexvariable (die den Index in der Typliste speichert), deren Typ abhängt von der Zahl der Typen ist (normalerweise unsigned char , bei mehr als 256 Typen unsigned int ).
Dabei wird natürlich auch viel Metaprogrammierung benutzt.
Das Visitor-Pattern ist schlussendlich nur ein hinter viel Metaprogrammierung verstecktes switch auf den Typindex.

Das sollte für den Anfang erstmal reichen. Danach kommen dann noch Implementierungsfeinheiten z.B. bezüglich der Never-Empty-Garantie.