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

此代码实现了一个不受限制的联合，它按名称和索引提供对其三个成员中的任何一个的访问。

由于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中编译，VC2015 确实支持未命名的结构。请忽略这个细节。