C++ 17标准是否保证联合的地址与其成员的地址相同？

Question

我目前正致力于编写池分配器.我的问题归结为以下代码:

template <typename T>
union myUnion {
    T data;
    myUnion<T>* nextUnion;
};

void someFunction(){
    myUnion<T> mu;
    T* t = new (std::addressof(mu.data)) T();
    //some code
    myUnion<T>* mu2 = reinterpret_cast<myUnion<T>*>(t);
}

mu的地址是否与mu2相同？

Answer 1

是.

9.2/19(N4659中的12.2/24):

如果标准布局类对象具有任何非静态数据成员,则其地址与其第一个非静态数据成员的地址相同.

如果联合本身是标准布局,那么联合的地址与其成员的地址相同.

由于9.5/1(N4659为12.3/2),成员的地址完全相同:

每个非静态数据成员都被分配,就好像它是结构的唯一成员一样.union对象的所有非静态数据成员都具有相同的地址.