实现标记联合的移动构造函数

时间:2018-05-01 10:44:14

标签: c++ c++11 unions move-constructor

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

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_;
    };
};

我无法实现移动构造函数。在过载的#34;正常"构造函数我知道要初始化哪个union成员:

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

但是在移动构造函数中,我如何知道我必须初始化stdStream_fileStream_中的哪一个。我无法在初始值设定项列表中检查streamType_的值。

1 个答案:

答案 0 :(得分:9)

除非您进行练习,否则请使用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更好的原因。