附加到联合向量

Question

我有一个并集，定义如下：

union CellType {
    std::string str;
    int i;
    double d;
    Money<2> m;  // Custom class for fixed-decimal math.
};

然后，我有一个此类并集的向量。

std::vector<CellType> csvLine;

我的问题是，如何将值附加到向量的末尾？我通常将 push_back 用于字符串、整数等的向量，但无法完全弄清楚向量元素为并集时的语法。任何帮助将不胜感激。

（是的，这个类一次读取一行 CSV 文件，如果这有什么区别的话。）

这里失败的 MRE

#include <vector>
#include <iostream>


union CellType {
    std::string str;
    int i;
    double d;
//    Money<2> m;  // Custom class for fixed-decimal math.
};
int main() {
    std::vector<CellType> csvLine;
    CellType c;
    c.str = "foo";
    csvLine.push_back(c);
}

Money 被注释掉了，因为与 MRE

错误

无关

严重性代码描述项目文件行抑制状态 错误 C2280 'CellType::CellType(void)'：尝试引用已删除的函数 ConsoleApplication1 C:\work\ConsoleApplication1\ConsoleApplication1.cpp 22

Answer 1

没有干净的方法可以做到这一点，原因很简单，给定此联合的任意实例，对于通用的、基于模板的函数/方法，例如 std:: ，没有权威的方法。 vector::push_back 了解联合体中的哪个成员处于活动状态，以便在联合体中至少有一个成员不是 POD 时执行特定于成员的复制/移动操作。联合体的任何特定实例都没有固有的内容表明“此特定联合体包含 std::string，因此要复制/移动它，您将使用 std::string”适当的复制/移动运算符”。 C++ 根本不以这种方式工作，这是 C++ 的基础。没有解决方法，也没有语法。

一般来说，由于 C++ 的类型安全基础，本质上类型不安全的 union 在与非 POD 成员（例如 std::string）一起使用时，会产生结束结果能力相当有限。

对您来说最简单的方法是将您的 union 替换为 C++17 的 std::variant（类型安全的联合）。 push_back 然后就变成了一个又大又胖、什么都没有的汉堡。

Answer 2

如果您使用的是 C++11 之前的编译器，则：

联合不能包含具有非平凡的非静态数据成员
特殊成员函数（复制构造函数、复制赋值运算符、
或析构函数）。

std::string 具有上述所有功能。

如果您使用支持 C++11 的编译器：

如果联合包含具有非平凡的非静态数据成员
特殊成员函数（复制/移动构造函数、复制/移动赋值、
或析构函数），该函数默认在联合中被删除，并且
需要由程序员明确定义。

如果联合包含具有非平凡的非静态数据成员
默认构造函数，union的默认构造函数被删除
默认情况下，除非联合体的变体成员有默认成员
初始化器。

这基本上意味着您没有任何联合构造函数，并且您需要自己定义复制或移动构造函数才能使以下行正常工作：

csvLine.push_back(c);

as push_back 方法将对象复制或移动到其目标地点。

顺便说一句，据我记得大多数（如果不是全部）标准容器要求它们包含的对象是可复制构造或可移动构造的。正如问题中所提出的，您的工会不是。

引用来源：联盟声明