C++ 14 constexpr union konditionale Initialisierung in Konstruktor

Question

Ich möchte das Union-Element im Konstruktor basierend auf einem Argument initialisiert auswählen. Im Folgenden ist ein Beispiel, das funktioniert:

struct A { 
    union { 
     int i; 
     float f; 
    }; 
    A(double d, bool isint) { 
     if (isint) new(&i) int(d); 
     else new(&f) float(d); 
    } 
}; 

Während ich int und float verwenden, das Ziel ist, mit anderen komplexeren Typen (aber immer noch zulässige in einer C++ 14 union) zu arbeiten, damit die Verwendung von Placement-Neu (und keine Aufgabe).

Das Problem ist, dass dieser Konstruktor nicht constexpr als Placement-Neu ist in constexpr Methoden nicht zulässig ist. Gibt es einen Weg dazu (abgesehen davon, dass das Argument isint zum formalen System gehört)? Irgendeine Art von konditionalen Initialisierungsliste würde funktionieren, aber ich bin mir nicht bewusst, wie ich das machen könnte.

Answer 1

Es gibt einen Trick. Die Schlüsselelemente sind:

1. Ein vordefinierter Kopier- oder Verschiebungskonstruktor für eine Union kopiert die Objektdarstellung (und kopiert damit das aktive Element) und ist bei der Auswertung von konstanten Ausdrücken zulässig.
2. Sie können den aktiven Union-Member in einer konstanten Ausdruck Auswertung nicht ändern, nachdem die Initialisierung abgeschlossen ist, aber Sie können an einen anderen Konstruktor delegieren, um die Auswahl zu verzögern.
3. Wenn Sie an den Konstruktor für Kopieren oder Verschieben delegieren, können Sie ein anderes Objekt, das bereits initialisiert wurde, in den richtigen Status übergeben und dessen aktives Mitglied kopieren.

Putting dies zusammen, erhalten wir:

template<typename T> struct tag {}; 
struct A { 
    union { 
    int i; 
    float f; 
    }; 
    constexpr A(tag<int>, double d) : i(d) {} 
    constexpr A(tag<float>, double d) : f(d) {} 
    constexpr A(double d, bool isint) : A(isint ? A(tag<int>(), d) : A(tag<float>(), d)) {} 
}; 

constexpr A a(1.0, true); // ok, initializes 'i' 
constexpr A b(5, false); // ok, initializes 'f' 

Das durch die jüngsten Clang akzeptiert wird, GCC, und EDG und erfordert nur C++ 11 constexpr.

Warnung: GCC 5.1.0 einen Fehler hatte, wo sie den obigen Code miscompiled (Initialisieren a und b-0); Dieser Fehler ist in früheren oder späteren Versionen von GCC nicht vorhanden.

Answer 2

Für trivial konstruierbare Objekte ist new nicht erforderlich. Sie können die Lebensdauer des Objekts beginnen und das aktive Element union einfach durch den Zuweisungsoperator auswählen.

struct A { 
    union { 
     int i; 
     float f; 
    }; 
    A(double d, bool isint) { 
     if (isint) i = d; 
     else f = d; 
    } 
}; 

Wenn es wirklich ein Konstruktor irgendwo in dem Element, dann ist es notwendig, Richard Antwort zu verwenden.