c++ - 放置新的 STL 容器并在之后安全地销毁它

Question

这段代码实现了一个不受限制的 union ，它提供了通过名称和索引对其三个成员中的任何一个进行访问。

由于 std::string 是非平凡构造和销毁的，我需要为 union 提供特殊的构造函数和析构函数。

#include <iostream>
#include <string>

using namespace std ;

union MyUnion{
    string parts[3] ;
    struct{ string part1, part2, part3 ; } ;
    
    MyUnion(){
        new(parts+0) string ; //constructs the 3 strings in-place
        new(parts+1) string ;
        new(parts+2) string ;
    }
    ~MyUnion(){
        parts[0].~string() ; //calls string's destructor
        parts[1].~string() ;
        parts[2].~string() ;
    }
} ;

int main(){
    
    MyUnion u ;
    
    u.part1 = "one" ; //access by name
    u.part2 = "two" ;
    u.part3 = "three" ;

    cout << u.parts[0] << endl ; //access by index
    cout << u.parts[1] << endl ;
    cout << u.parts[2] << endl ;
}

这个例子编译并运行良好(表面上)，但我的问题是:

• 这样做安全吗？
• 我能确定不会有内存泄漏吗？
• 如果 string 的构造函数抛出异常怎么办？是否需要捕获它以免试图破坏从未构建的对象？

注意事项

代码在 VC2015 中编译，它确实支持未命名的结构。请忽略该细节。

Answer 1

Is it safe to do this?

没有。首先，通用初始序列规则只允许成员读取，而不允许写入:

In a standard-layout union with an active member (9.3) of struct type T1, it is permitted to read a non-static data member m of another union member of struct type T2 provided m is part of the common initial sequence of T1 and T2; the behavior is as if the corresponding member of T1 were nominated.

其次，通用初始序列是标准布局类型的一个特征:

The common initial sequence of two standard-layout struct (Clause 9) types is [...]

和std::string 不需要是标准布局。