C++中使用union的几点思考.pdfVIP

C++中使用union 的几点思考 { TestUnion() {} }; typedef union { TestUnion obj; } UT; int main (void) { return 0; } 编译该程序，我们将被告知: error C2620: union ‘__unnamed ‘ : member ‘obj ‘ has user-defined constructor or non-trivial default constructor 而假如去掉那个什么也没干的构造函数，则一切OK。 为什么编译器不允许我们的 union 成员有构造函数呢?我无法找到关 于这个问题的比拟权威的解释，对这个问题，我的解释是: 假如 C++标准允许我们的 union 有构造函数，那么，在进展空间安排 的时候要不要执行这个构造函数呢?假如答案是 yes，那么假如 TestUnion 的构造函数中包含了一些内存安排操作，或者其它对整个 application 状态的修改，那么，假如我今后要用到 obj 的话，事情可能还比拟合理， 但是假如我根本就不使用 obj 这个成员呢?由于obj 的引入造成的对系统 状态的修改明显是不合理的;反之，假如答案是no，那么一旦我们今后选 中了 obj 来进展操作，则全部信息都没有初始化(假如是一般的 struct， 没什么问题，但是，假如有虚函数呢?)。更进一步，假设现在我们的 union 不是只有一个 TestUnion obj，还有一个 TestUnion2 obj2，二者均有构 造函数，并且都在构造函数中执行了一些内存安排的工作(甚至干了许多 其它事情)，那么，假如先构造 obj，后构造 obj2，则执行的结果几乎可 以确定会造成内存的泄漏。 鉴于以上诸多麻烦(可能还有更多麻烦)，在构造 union 时，编译器只 负责安排空间，而不负责去执行附加的初始化工作，为了简化工作，只要 我们供应了构造函数，就会收到上面的error。