วัตถุประสงค์ของการใช้สหภาพกับสมาชิกเพียงคนเดียวคืออะไร?

เมื่อฉันอ่านซอร์สโค้ด seastarฉันสังเกตเห็นว่ามีโครงสร้างแบบสหภาพที่เรียกว่าtx_sideมีสมาชิกเพียงคนเดียว แฮ็คนี้จะจัดการกับปัญหาบางอย่างหรือไม่?

FYI ฉันวางtx_sideโครงสร้างด้านล่าง:

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

เนื่องจากtx_sideเป็นสหภาพtx_side()ไม่เริ่มต้น / สร้างโดยอัตโนมัติaและ~tx_side()ไม่ทำลายโดยอัตโนมัติ สิ่งนี้ทำให้สามารถควบคุมอายุการใช้งานของaและpending_fifoผ่านตำแหน่งใหม่และคู่มือ destructor โทร (คนจนstd::optional)

นี่คือตัวอย่าง:

#include <iostream>

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

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

int main()
{
    B b;
}

ที่นี่ B b;ไม่มีอะไรพิมพ์เพราะaไม่ได้สร้างหรือทำลาย

ถ้าBเป็นstruct, B()จะเรียกA()และ~B()จะเรียก~A()และคุณจะไม่สามารถที่จะป้องกันไม่ให้

ในคำง่าย ๆ ยกเว้นว่าได้รับมอบหมายอย่างชัดเจน / เริ่มต้นค่าสหภาพเดียวสมาชิกไม่ได้เริ่มต้นหน่วยความจำที่จัดสรร สามารถใช้ฟังก์ชันนี้ได้std:: optionalใน c ++ 17