Sadece bir üyeyle sendika kullanmanın amacı nedir?

Seastar kaynak kodunu okurken tx_side, sadece bir üyesi olan bir birlik yapısı olduğunu fark ettim . Belli bir problemle başa çıkmak hack mi?

Bilginize, tx_sideaşağıdaki yapıyı yapıştırıyorum :

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

Çünkü tx_sidebir birliktir, tx_side()otomatik olarak başlatılmaz / yapılandırılmaz ave ~tx_side()onu otomatik olarak yok etmez. Bu, yerleştirme yeni ve manuel yıkıcı çağrıları (fakir bir adamın ) ömrü boyunca ave üzerinde ince bir kontrol sağlar .pending_fifostd::optional

İşte bir örnek:

#include <iostream>

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

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

int main()
{
    B b;
}

Burada B b;hiçbir şey basmıyor, çünkü ane inşa edilmiş ne de yıkılmış.

Eğer Bbir oldu struct, B()çağırır A()ve ~B()çağırır ~A()ve bunu önlemek için mümkün olmaz.

Basit bir ifadeyle, açıkça bir değer atanmadıkça / başlatılmadıkça, tek üye birliği ayrılan belleği başlatmaz. Bu işlevsellik std:: optionalc ++ 17 ile elde edilebilir .