Was ist der Zweck einer Gewerkschaft mit nur einem Mitglied?

Als ich Seastar-Quellcode las , bemerkte ich, dass es eine Gewerkschaftsstruktur namens gibt, tx_sidedie nur ein Mitglied hat. Ist das ein Hack, um ein bestimmtes Problem zu lösen?

Zu Ihrer Information, ich füge die folgende tx_sideStruktur ein:

union tx_side {
    tx_side() {}
    ~tx_side() {}
    void init() { new (&a) aa; }
    struct aa {
        std::deque<work_item*> pending_fifo;
    } a;
} _tx;

Weil tx_sidees sich um eine Union handelt, tx_side()die nicht automatisch initialisiert / konstruiert aund ~tx_side()nicht automatisch zerstört wird. Dies ermöglicht eine fein abgestimmte Kontrolle über die Lebensdauer von aund pending_fifoüber platzierungsneue und manuelle Destruktoraufrufe (eines armen Mannes)std::optional ).

Hier ist ein Beispiel:

#include <iostream>

struct A
{
    A() {std::cout << "A()\n";}
    ~A() {std::cout << "~A()\n";}
};

union B
{
    A a;
    B() {}
    ~B() {}
};

int main()
{
    B b;
}

Hier B b;druckt nichts, weila weder konstruiert noch zerstört wird.

Wenn wäre Bein struct, B()würde anrufen A()und ~B()würde anrufen ~A(), und Sie könnten das nicht verhindern.

Mit einfachen Worten, wenn nicht explizit ein Wert zugewiesen / initialisiert wird, initialisiert die Vereinigung einzelner Mitglieder den zugewiesenen Speicher nicht. Diese Funktionalität kann mit std:: optionalin c ++ 17 erreicht werden.