c++ - 实现标记 union 的移动构造函数

Question

我使用包含匿名 union 和标记的类实现了标记 union :

class LogFile
{
  public:
    LogFile(std::ostream& stdStream);
    LogFile(std::ofstream fileStream);
    LogFile(LogFile&& logFile);
    ~LogFile();

    std::ostream& getStream();

  private:
    enum { STD_STREAM, FILE_STREAM } streamType_;
    union
    {
        std::ostream *stdStream_;
        std::ofstream fileStream_;
    };
};

我在实现移动构造函数时遇到了问题。在重载的“普通”构造函数中，我知道要初始化哪个 union 成员:

LogFile::LogFile(std::ofstream fileStream)
: streamType_(FILE_STREAM), fileStream_(std::move(fileStream))
{
}

但是在 move 构造函数中，我怎么知道我必须初始化 stdStream_ 或 fileStream_ 中的哪一个。我无法在初始化列表中检查 streamType_ 的值。

Answer 1

除非您是为了练习，否则请将标记的 union 替换为 std::variant。它安全多了。

---

您可以稍后使用 placement-new 有条件地调用它，而不是在成员初始化列表中调用构造函数。

通常，如果您没有在成员初始化列表中指定构造函数，则会调用默认构造函数。但是对于 union {...}; 的成员，根本不会调用任何构造函数。

LogFile(LogFile&& other) : streamType_(other.streamType_)
{
    switch (streamType_)
    {
      case FILE_STREAM:
        new (&fileStream_) std::ofstream(std::move(other.fileStream_)); // <--
        break;
      case STD_STREAM:
        stdStream_ = other.stdStream_;
        other.stdStream_ = 0;
        break;
    }
}

请注意，您必须在 ~LogFile() 中手动调用析构函数，并且还需要自定义移动分配。这就是 std::variant 更好的原因。