c++ - c++ 11 union 包含具有虚函数的数据成员

#include <iostream>
class derive1{
  public:
    derive1() = default;
    ~derive1() = default;
    virtual void func() { std::cout << "derive 1" << std::endl; }
};

class derive2 {
  public:
    derive2() = default;
    ~derive2() = default;
    virtual void func() { std::cout << "derice 2" << std::endl; }
};

union classUnion {
  classUnion() {};
  ~classUnion() {};
  derive1 obj1;
  derive2 obj2;
};

int main() {
  classUnion u1;
  u1.obj1.func();  // <-- OK print 'derive 1'
  derive1 &dev1 = u1.obj1;
  dev1.func(); // <-- OK print 'derive 1'
  derive1 *ptr = &(u1.obj1);
  ptr->func(); // <-- core dump/seg fault
  return 0;
}

我以为C++ 11允许使用非平凡的构造函数(带有虚函数)。
我看不到这里有什么问题。
我用
使用“g++ -std = c + 11 test.cpp”进行编译(gcc 4.8和gcc 5.0)。

最佳答案

问题是您永远不会在 union 体内初始化对象。至少，使其工作最简单的方法是以下一些小的调整:

union classUnion {
  classUnion() {};
  ~classUnion() {};
  derive1 obj1={}; // unions can have one inline initializer
  derive2 obj2;
};

但是，如果您改为这样做:

int main() {
  classUnion u1;
  u1.obj1 = derive1{};
  ...
}

它仍然会崩溃。原因是因为您要分配给未初始化的对象，尤其是您具有用户定义的析构函数(即虚拟析构函数)。

考虑以下:
(http://en.cppreference.com/w/cpp/language/union。)



因此，要实际使用带有虚拟函数的类(通常需要虚拟析构函数)，您将需要使用放置新的和手动销毁调用，如下所示:

int main() {
  classUnion u1;
  new (&u1.obj1) derive1{};
  ... // use obj1
  u1.obj1.~derive1();
  new (&u1.obj2) derive2{};
  ... // use obj2
  u1.obj2.~derive2();
}