真是个好问题,但是和 placement new(A*ptr=new(addr)A;) 机制关系不大,

有这样一种说法,C++栈变量不会被默认初始化 就连基础类型也不行,
因为栈上初始化每个变量会带来一定性能开销(这么以来编译器为了性能优化居然这么变态)。

在 C++ 中,当定义变量时,会根据以下规则进行默认值初始化:

  1. 如果变量是一个非静态的局部变量,且未进行初始化,则其将不会被默认初始化,其值是未定义的。
  2. 如果变量是一个静态的局部变量,或者是一个全局变量(包括全局静态变量),则会被默认初始化为其类型的默认值。例如,整型变量将被初始化为0,浮点型变量将被初始化为0.0,指针变量将被初始化为nullptr,而对象将被调用默认构造函数。
  3. 如果变量是一个数组,则每个元素都将按照上述规则进行初始化。

需要注意的是,C++11 之前,如果变量是一个非静态的局部变量,且未进行初始化,则其将不会被默认初始化,其值是未定义的。因此,在定义变量时,最好显式地进行初始化,以确保其值是可预测的。

C++中的默认值初始化规则并不一致,需要根据变量的定义方式和位置来确定其是否会被默认初始化。

如果要使用placement new需要在构造函数初始化列表中显式初始化,变量后使用 = 或者 {} 初始化。

如果执行的构造函数有初始化列表 且也初始化了其已经使用 = 或 {},则使用初始化列表中的忽略 = 或 {} 提供的默认值。

使用placement new 就在构造函数中或初始化列表中 或使用 = {} 为成员变量进行初始化。

总之在C++项目中 自定义类 一定要为成员变量显式初始化,不然可能有各种意想不到的结果。

在C项目中 struct 一般都会用一下 bzero() 或者 memset 或者 写一个newfunction 内部对各个字段初始化一下。

对于这种操作内存的语言,有一丝丝相信编译器都是犯罪。