Question

我在这里阅读了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。如何以干净的方式解决这个问题？

由于

Answer 1

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

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

Answer 2

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

我认为如果您曾尝试遵循stackoverflow规则＆＃34; 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;
}

区分递归类型的联合

2 个答案: