C++中memset后使用placement new：读取构造函数未初始化成员的结构体实例是否为定义行为？

咱们先把问题拆解清楚：你有一个自定义了默认构造函数但没初始化成员x的结构体Foo，先通过memset把缓冲区清0，再用placement new创建Foo实例，然后读取x——这操作到底是不是C++标准里的未定义行为？

直接给结论：是的，读取foo->x属于未定义行为（Undefined Behavior）。下面来一步步解释为什么：

1. memset的作用边界 #

memset(buf, 0, sizeof(Foo))确实把缓冲区的所有字节都设为0了，但这时候这块内存还只是一片原始内存，并没有Foo对象存在。它只是把内存字节置0，但还没有触发对象的构造逻辑。

2. placement new与构造函数的行为 #

当你执行new(buf) Foo时，placement new会调用Foo的用户定义默认构造函数。而这个构造函数什么也没做——它没有对x进行任何初始化操作。这里要注意：对于int这种标量类型，如果构造函数没有显式初始化它，那么这个成员就会处于未初始化状态，哪怕底层内存之前被memset清过0。

3. C++标准对未初始化标量的规定 #

根据C++标准，读取未初始化的标量类型（比如int）的值属于未定义行为。这里的关键在于：构造函数没有初始化x，所以x的状态是不确定的——标准并不保证它会保留memset留下的0值。编译器可能会进行各种优化，比如假设这个值是任意的，进而导致程序出现不可预测的行为（比如输出随机数、程序崩溃，或者逻辑异常）。

如何避免这个未定义行为？ #

如果你想安全读取x，可以用这几种方式：

• 修改Foo的构造函数，显式初始化x：

  struct Foo { int x; Foo() : x(0) {} };
  

• 在placement new之后，显式给x赋值再读取：

  Foo* foo = new(buf) Foo;
  foo->x = 0;
  std::cout << foo->x;
  

• 如果可以去掉自定义构造函数，把Foo改成聚合类，然后用值初始化的方式创建对象（注意括号）：

  struct Foo { int x; }; // 去掉自定义构造函数，成为聚合类
  Foo* foo = new(buf) Foo(); // 括号触发值初始化，x会被置为0
  

内容的提问来源于stack exchange，提问作者Daniel Ricketts