Question

我只是让Apple的C / C ++编译器将浮点数初始化为非零值（大约“-0.1”）。

这是一个很大的惊喜 - 只是偶尔发生（但是100％可重复，如果你事先通过相同的函数调用/ args）。追踪（使用断言）花了很长时间。

我以为浮标是零初始化的。谷歌搜索表明我正在考虑使用C ++（这当然对这些东西更精确 - c.f. SO：What are primitive types default-initialized to in C++?）。

但也许Apple的借口是他们的编译器在C模式下运行......所以：C怎么样？应该发生什么，（更重要的是）什么是典型的？

（当然我应该手动初始化它 - 我通常会这样做 - 但是在这种情况下我失败了。但我没想到它会爆炸！）

（对于任何关于此问题的讨论，谷歌都证明比无用还要糟糕 - 他们目前的搜索拒绝显示没有“C ++”的“C”。继续决定我太愚蠢，即使在高级模式下运行也忽略了我的输入）

以下是它发生的实际源示例。起初我以为MAX和ABS的定义可能有问题（也许MAX（ABS，ABS）并不总能做你期望的事情？）...但是用断言和调试器挖掘，我最终发现它是缺失的初始化 - 浮点数偶尔会初始化为非零值：

float crossedVectorX = ... // generates a float
float crossedVectorY = ... // generates a float

float infitesimal; // no manual init
float smallPositiveFloat = 2.0 / MAX( ABS(crossedVectorX), ABS(crossedVectorY));

// NB: confirmed with debugger + assertions that smallPositiveFloat was always positive

infitesimal += smallPositiveFloat;

NSAssert( infitesimal >= 0.0, @"This is sometimes NOT TRUE" );

Answer 1

如果没有显式初始化程序，则只有具有静态存储持续时间的对象被初始化为0。

#include <stdio.h>

float f;         // initialized to 0, file scope variables have static storage
static float g;  // initialized to 0

int main(void)
{
    float h;  // not initialized to 0, automatic storage duration
    static float i;  // initialized to 0

    return 0;
}

未显式初始化的具有自动存储持续时间的对象（如上例中的h）具有不确定的值。阅读它们的价值是不明确的行为。

为了完整起见，

编辑，因为如果没有明确的初始化程序，具有线程存储持续时间的C11对象也会初始化为0。

Answer 2

标准的相关部分是§6.7.9第10段：

如果没有显式初始化具有自动存储持续时间的对象，则其值是不确定的。

如果你的变量有线程或静态存储持续时间，那么段落的下一部分将生效：

如果未明确初始化具有静态或线程存储持续时间的对象，则：

- 如果它有指针类型，则将其初始化为空指针;

- 如果它有算术类型，则初始化为（正或无符号）零;

...

我还要注意，你应该打开编译器的警告（特别是未初始化变量的警告），因为它应该立即为你确定问题。

Answer 3

静态变量将初始化为零，但我猜你在谈论一个局部变量（即堆栈，或自动） - 这些没有为你初始化，但得到的任何值都是在堆栈上的那个内存中。

Answer 4

我不得不拔出我的K＆amp; R来获得这个答案：

在没有显式初始化的情况下，保证外部和静态变量初始化为零;自动和寄存器变量具有未定义的（即垃圾）初始值。

Answer 5

我不相信C的任何标准通常都会定义变量的初始值。这符合C - 编程的一般哲学和应用领域，对于成年人来说，有一天，他们有理由希望他们的编译器不为他们初始化变量，谁知道他们有责任初始化自己的变量。

什么是在C中默认初始化的基本类型？

5 个答案: