递归类型的可区分联合答案

【问题标题】：Discriminated union of recursive type递归类型的可区分联合
【发布时间】：2018-02-23 21:38:46
【问题描述】：

我在这里读到了 C++ 中的可区分联合：http://www.stroustrup.com/C++11FAQ.html#unions

如果我想对递归类型进行联合怎么办？

例如，考虑以下情况：

class Obj {
  enum class Type { kInt, kVec } type;
  union {
    int i;
    std::vector<Obj> v;
  };
  Obj& operator=(const Obj& o) { ... }
};

在这种情况下，由于递归引用，编译器会抱怨尝试使用不完整的对象Obj。如何以干净的方式解决这个问题？

谢谢

【问题讨论】：

有一种观点认为现代 C++ 中应该避免/实际上不需要联合。
在 C++ 中，使用 std::variant
@Ron 我不知道，谢谢。您能否提供一些关于这所学校的论点的参考资料以及替代方案应该是什么？在这个问题的背景下，我仍然很想知道如何正确使用联合。
@ale64bit 这里有很多关于 SO 的参考资料。
联合 with non-POD types 很讨厌。例如，v 需要调用它的构造函数和析构函数，你必须采取额外的步骤来确保它已经完成。我看看能不能找到链接。

标签： c++ c++11 unions

【解决方案1】：

这里没有类型递归的问题：vector 内部状态只有指向 valute_type 的指针的成员。

我认为，如果您尝试遵循 stackoverflow 规则“How to create a minimal, complete and verifiable example”，您肯定会找到答案。

在您在评论中提供的示例代码中，有很多编译器抱怨的错误：Obj 的复制构造函数被删除，析构函数也被删除，然后赋值运算符是私有的等等......

我只是一一修复了错误并获得了正确的代码示例，这就是您可能找到的答案：

#include <iostream>
#include <vector>
using namespace std;

class Obj {
  enum class Type { kInt, kVec } type;
  union {
    int i;
    vector<Obj> v;
  };
  public:
  Obj(const Obj& o):type{o.type}{
      if (o.type==Type::kVec)
          new (&v) vector<Obj>(o.v);
      else
          i=o.i;
  }
  Obj(Obj&& o):type{o.type}{
      if (o.type==Type::kVec)
          new (&v) vector<Obj>(std::move(o.v));
      else
         i=o.i;
  }
  ~Obj(){ if (type==Type::kVec) v.~vector<Obj>();}
  Obj& operator=(const Obj&o){
      if (o.type==Type::kVec && type==Type::kVec){
        v=o.v;
        return *this;
      }
      if (type == Type::kVec) {
      v.~vector();
    }
    switch (o.type) {
    case Type::kInt:
      i = o.i;
      break;
    case Type::kVec:
      new (&v) vector<Obj>(o.v);
      break;
    }
    type=o.type;
    return *this;
  }
};

int main() {
  return 0;
}

【讨论】：

我明白了。抱歉当时的马虎，谢谢。我试图通过提取我正在使用的代码的一些有意义的部分来做到这一点，但我想我应该尝试一个完整的示例。出于某种原因，编译器抱怨使用“不完整类型”，我认为这就是原因。
没问题。让我开个玩笑：Seneque，erre humanum est，perseverare diabolicum。代码由人编写，程序经久不衰。所以编译器是魔鬼！

【解决方案2】：

我现在没有时间玩这个，但这可能会对你有所帮助：

编译器抱怨在您的示例中使用了不完整的对象，因为此时它不知道 Obj 的大小。
尝试使用原始指针/unique_ptr/shared_ptr 作为向量值类型。

【讨论】：