Question

是否有任何C ++标准保证STL迭代器可以存储在联合中？如果是这样，哪个标准？

例如：

union MyUnion {
   std::vector<int>::iterator iter;
   size_t size;
};

我问的原因是我正在移植别人的代码，将std::vector和std::map迭代器存储在联合中，而MSVC2013似乎并不喜欢它。我收到错误C2621：非法工会成员; type ...有一个复制构造函数。我想确定这是代码中的错误，MS STL实现中的错误，还是编译器中的错误。

非常感谢！

Answer 1

您的编译器已过期。从C ++ 03标准，

一个对象具有非平凡构造函数（12.1）的类，非平凡复制构造函数（12.8），非平凡析构函数（12.4），或非平凡的副本分配操作员（13.5.3,12.8）不能是工会的成员，也不能这类对象的数组。

但是，此限制已在C ++ 11中删除。而是有一个注释：

[注意：如果联合的任何非静态数据成员具有非平凡的默认值构造函数（12.1），复制构造函数（12.8），移动构造函数（12.8），复制赋值运算符（12.8），移动赋值运算符（12.8）或析构函数（12.4），联合的相应成员函数必须是用户提供或将隐式删除（8.4.3）联盟。 - 结束记录]

所以它说，当然，你可以把一些带有非平凡复制构造函数的东西放在一个联合中，但是除非你自己为它写一个拷贝构造函数，否则它不会是可复制的。

Answer 2

感谢Brian的回答，我能够更多地研究这个话题。

根据this page at MSDN，MSVC 2013及更早版本不支持不受限制的工会。