2

我正在创建一个受歧视的类工会。我正在使用 c++ 17，所以我可以在技术上使用 a std::variant，但是由于特定的用例，我希望每个变体的含义更加明确（特别是因为其中两个案例除了它们是哪种情况外没有数据）。该类看起来像这样（为了简单起见，我将忽略问题中的移动语义）：

class MyC {

  public:
  enum class Kind {A, B, C, D};

  private:
  Kind _kind;
  union {

    struct {} _noVal;
    string _aVal;
    int _bVal; 

  };

  MyC(Kind kind) : _kind(kind), _noVal() {}

  public:
  MyC(const MyC& other) : _kind(other.kind), _noVal() {
    if (_kind == Kind::A) new (&_aVal) string(other._aVal);
    if (_kind == Kind::B) _bVal = other._bVal;
  }

  ~MyC() {
    if (_kind == Kind::A) _aVal.~string();
  }

  MyC& operator =(const MyC&);

  // factory methods and methods for consuming the current value

}

我对复制赋值运算符的第一个想法是

MyC& MyC::operator &(const MyC& other) {
  this->~MyC();
  _kind = other._kind;
  if (_kind == Kind::A) new (&_aVal) string(other.aVal);
  else if (_kind == Kind::B) _bVal = other.bVal;
  else _noVal = other.noVal;
  return *this;
}

这对我来说似乎很好，但我想知道调用字符串的复制赋值运算符是否更好的 C++ 风格，这需要更像这样的东西：

MyC& MyC::operator &(const MyC& other) {
  if (other._kind == Kind::A) {
    if (_kind != Kind::A) new (&_aVal) string; // *
    _aVal = other.aVal;
  } else if (other._kind == Kind::B) {
    _bVal = other.bVal;
  } else {
    _noVal = other.noVal;
  }
  _kind = other._kind;
  return *this;
}

总而言之，这样做的正确方法是什么（以及为什么），或者这很重要？

* 这行是因为我的原始实现aVal直接设置而没有确保那里曾经初始化过一个字符串，并且它崩溃了。

4

1 回答 1

0

this您的第一个版本让我感到紧张，因为您在调用之后从未真正调用过构造函数this->~MyC()，因此您的对象应该被视为无效。即使紧随其后的代码强制所有当前成员变量在理论上有效，它也很容易出现错误。

你的第二个选项似乎更好，但它仍然留下三个地方，每次有人添加到该联合时都必须更新......并且鉴于你的Kind枚举有 4 个值而你只显示三个......我想那会迟早会发生。再次，容易出现错误。

我可以想到另外两个选择：

1)

MyC& operator =(const MyC& other)
{
    this->~MyC();
    new (this) MyC(other);
}

在“就地”使用析构函数以避免泄漏之后，使用现有的复制构造函数。有点hacky，更清洁，没有额外的维护。

这导致您只有两个地方需要进行更改，代价是字符串到字符串大小写的效率有点低。我发现在大多数情况下，可维护性胜过效率。哪些情况？询问您的分析器。

警告：正如 Chris 在下面的评论中指出的那样，在处理从 MyC 派生的类时，这将严重失败，除非该类同样具有自己的赋值运算符。如果在某个派生类上调用它，该类将

  • 泄漏任何需要调用派生类的析构函数的东西。
  • 将派生类转换为 MyC 的实例。大多。我怀疑派生的析构函数仍然会被调用，并且有很多潜在的坏处。
    • OTOH，当我们早些时候调用错误的析构函数时，这可以清理所有“泄漏”的东西。这真的取决于。

一方面，这段代码是无网行走高绳的一个很好的例子。另一方面，直接使用 new/delete 也是如此。我们只是有更多的练习走那条特定的绳子，我们有类似的网unique_ptr，shared_ptr我们可以（而且通常应该）使用。

2)

根据 Richard 的评论，将您的 union 包装在一些 any/variant 模板（std::variant、boost::any、whatever）中。我的上一个雇主有 3 个不同的变体/任何类，由三个不同的程序员编写，其中至少有两个显然没有费心先看看我们的代码库。您的公司也可能有自己的实施。

不要假设他们的效率会降低。再次：询问您的分析器。

不相关：在前雇主的代码库中搜索“不签到”、亵渎等有趣的短语，发现了各种有趣的东西。这是一家游戏公司，所以事情比其他地方的“保持性”要低得多。它使阅读变得有趣。

于 2019-11-06T21:00:53.600 回答