Question

我写了以下代码：

#include <iostream>
#include <string>
#include <cstring>

struct bar
{
  std::string s3;
  std::string s4;
}Bar;

union foo
{
  char * s1;
  char * s2;
  bar    b1;

  foo(){};
  ~foo(){};
}Foo;


int main ()
{
  foo f1;
  bar b2;

  std::string temp("s3");
  b2.s3 = temp;
  b2.s4 = temp;

  //f1.b1 = b2;                           //-- This Fails (Seg faults)

  /*
    #0  0x00002b9fede74d25 in std::string::_Rep::_M_dispose(std::allocator<char> const&) [clone .part.12] ()
        from /usr/local/lib64/libstdc++.so.6
    #1  0x00002b9fede75f09 in std::string::assign(std::string const&) () from /usr/local/lib64/libstdc++.so.6
    #2  0x0000000000400ed1 in bar::operator= (this=0x7fff3f20ece0) at un.cpp:5
    #3  0x0000000000400cdb in main () at un.cpp:31
  */

  memcpy( &f1.b1, &b2, sizeof(b2) );  //-- This Works 

  std::cout << f1.b1.s3 << " " << f1.b1.s4 << std::endl;
  return 0;
}

你能解释为什么分段错误吗？我无法破译后面跟踪中的数据所暗示的内容。

Answer 1

std::string有一个非平凡的构造函数，用于初始化其内部成员。因此，您的struct bar不是POD结构。

工会只支持POD（在C ++ 11中这是放松的）。编译器无法决定哪个联盟成员要调用哪个构造函数。想象一下以下情况：

unition MyUnion {
  std::string s;
  std::vector v;
};

它应该使用vector或string的构造函数来初始化对象吗？

因此，在您的情况下，当您将字符串分配给union的字符串时，内部数据不会被初始化，从而导致随机错误。

Answer 2

union foo无法初始化bar对象（它如何知道要调用哪个成员的初始值设定项？）因此无法初始化std::string。如果你想使用foo中的bar，那么你需要手动初始化它，就像这样......

new (&f1.b1) bar; // Placement new
f1.b1 = b2;
// And later in code you'll have to manually destruct the bar, because
//   foo doesn't know to destruct the bar either...
f1.b1.~bar();

或者，您可以尝试将此功能自行转换为union的构造函数和析构函数。

foo() : b1() {}
// Or you construct like this, which you might need to for a non-trivial union...
// foo() { new (&b1) bar; }  // Placement new.
~foo() { b1.~bar(); }

请注意，复制也需要特殊处理。

Answer 3

您无法使用memcpy复制包含对象的对象或结构，因为它们无法正确初始化。字符串具有指向char数组的指针，如果两个字符串可以共享相同的指针，则必须存在某种垃圾收集（通常是引用计数器）。如果你执行f1.b1 = b2，编译器将生成代码以正确初始化字符串。

将结构复制（使用赋值）到联合内部的结构，从而导致seg错误

3 个答案: