自动和动态变量规则在零初始化中的差异

Question

这样的代码，

#include <iostream>
 
class obj
{
public:
    int v;
};

int main(int argc, char *argv[])
{
    obj o1; 
    std::cout << o1.v << std::endl; // print 32766, indeterminate values
    obj *o2 = new obj();
    std::cout << o2->v << std::endl; // print 0,but why?

    int v1;
    std::cout << v1 << std::endl; // print 22024, indeterminate values
    int *v2 = new int;
    std::cout << *v2 << std::endl; // print 0,but why?
    return 0;
}

我知道全局或静态变量将被初始化。
自动做不确定的值。
但是堆对象使用新关键字，有任何引用来解释它吗？

Answer 1

obj *o2 = new obj（）;是值初始化这意味着该对象的初始化为零，因此数据成员v将被初始化为0。

可以从值初始化：

这是用空初始化器构造对象时执行的初始化。

  new T（）（2）     
 

2,6）当由具有动态存储持续时间的对象由新表达式创建，其初始化器由一个空的括号或括号组成（因为C ++ 11）;

---

另一方面，

int *v2 = new int; //this uses default initialization
std::cout << *v2 << std::endl; //this is undefined behavior

以上会导致不确定的行为，因为您正在提取v2，并且分配的int对象是非初学的，因此不确定价值。

不确定的行为意味着任何事情都可能发生。但是，永远不要依靠（或基于结论），该程序的输出具有UB。该程序可能只是崩溃。

从默认初始化：

这是当对象没有初始化器构造时执行的初始化。

 新的T（2）     
 

当没有初始化器的新表达式创建具有动态存储持续时间的对象时；

默认初始化的效果是：

• 否则，没有进行初始化：具有自动存储持续时间（及其子对象）的对象包含不确定的值。

Answer 2

从C ++ 17标准（11.6个初始化器）

11一个对象，其初始化器是一组空括号，即
（），应进行价值限制。

对于基本类型，它意味着零限制。

因此，在此声明中，

obj *o2 = new obj();

动态分配的对象的数据成员v被零定位。

至于此代码段

int *v2 = new int;
std::cout << *v2 << std::endl; // print 0,but why?

，则未初始化指针v2指向的对象，下一个输出语句可以输出在分配新对象的内存范围内存储的任何值。

Answer 3

初始化规则是一团糟。因此，让我们只是踩它们并强制问题：

class obj
{
public:
    int v{};
};

现在，v始终将被初始化。如果您添加一个不初始化v的构造函数，则可以有效，因为编译器会自动添加成员初始化。

---

至于为什么您的代码表现得如此之多：

obj o1; 
std::cout << o1.v << std::endl; // print 32766, indeterminate values

o1是在堆栈（或实际上是寄存器）上创建的，默认初始化。对于int，这意味着没有初始化。堆栈上（或寄存器中）上的任何随机数据都是您得到的。

obj *o2 = new obj();
std::cout << o2->v << std::endl; // print 0,but why?

从C ++ 17标准（11.6个初始化器）：

11一个对象，其初始化器是一个空括号集，即（（），应为价值。

值初始化 int将其设置为0。

int v1;
std::cout << v1 << std::endl; // print 22024, indeterminate values

默认初始化，您将获得随机数据。

int *v2 = new int;
std::cout << *v2 << std::endl; // print 0,but why?

默认初始化，您将获得随机数据。除非应用程序重复使用，否则新鲜分配的内存恰好是0。