为什么全局variables和静态variables初始化为默认值?

在C / C ++中,为什么全局variables和静态variables初始化为默认值?

为什么不把它留在垃圾值? 这有什么特别的原因吗?

  1. 安全性 :单独留下内存会泄漏来自其他进程或内核的信息。

  2. 效率 :在初始化某些值之前,这些值是无用的,将它们置于具有展开循环的块中会更有效。 当系统空闲时,操作系统甚至可以将freelist页面置零,而不是当某个客户端或用户正在等待程序启动时。

  3. 可重复性 :只留下值将使程序行为不可重复,使得错误很难find。

  4. 优雅 :如果程序可以从0开始,而不必使用默认的初始化程序来混淆代码,那么它就更简洁。

有人可能会奇怪为什么auto存储类的确是以垃圾的forms开始的。 答案是双重的:

  1. 某种意义上说,它不是 。 每个级别的第一个堆栈框架页面(即每个添加到堆栈的新页面)确实接收到零值。 相同堆栈级别的后续函数实例所看到的“垃圾”或“未初始化”值实际上是您自己的程序及其库的其他方法实例留下的以前的值。

  2. 与初始化auto (函数本地)相关的任何事情都可能有一个二次的(或其他) 运行时性能损失 。 一个函数可能不会使用任何或所有大数组,例如,在任何给定的调用中,它可以被调用数千或数百万次。 静态和全局的初始化OTOH只需要发生一次。

因为在操作系统的适当配合下,可以实现零初始化静态和全局variables,而不会产生运行时开销。

6.7.8节C99标准的初始化(n1256)回答了这个问题:

如果具有自动存储持续时间的对象未被显式初始化,则其值是不确定的。 如果具有静态存储持续时间的对象未被明确初始化,则:

– 如果它有指针types,则它被初始化为空指针;

– 如果它有算术types,则它被初始化为(正或无符号)零;

– 如果它是一个聚合,每个成员根据这些规则初始化(recursion);

– 如果是联盟,则根据这些规则初始化(recursion)第一个命名成员。

考虑一下,在静态领域,你不能总是确定一些东西确实已经初始化了,或者主开始了。 还有一个静态的初始化和一个dynamic的初始化阶段,静态的初始阶段紧跟在顺序重要的dynamic阶段之后。

如果你没有把静力学归零,那么在这个阶段你就完全无法确定是否有什么东西被初始化了,简而言之,C ++世界将会飞散,像singletons(或者任何types的dynamic静态init)会简单地停止工作。

圆点的答案是热情的,但有点愚蠢。 这些都可以适用于非静态分配,但是这并没有完成(有时,但通常不)。

在C中,没有显式初始化的静态分配的对象被初始化为零(对于算术types)或空指针(对于指针types)。 C的实现典型地使用仅由零值位组成的位模式来表示零值和空指针值(虽然这不是C标准所要求的)。 因此,bss部分通常包括在文件范围(即在任何函数之外)声明的所有未初始化的variables以及用static关键字声明的未初始化的局部variables。

来源: 维基百科