函数内未初始化的非静态局部变量count为何默认值为0？

先看你的代码：

bool prime(int n)
{
    int count;   //non-static variable count declared, but not initialsed to 0
    printf(" value of count is %i\n", count);  //this printed 0
    bool a;
    for(int x=2; x<=n; x++)
    {
        if (n%x==0)
        count ++;
    }
    if (count == 1)
        a= true;
    else
        a= false; 
    return a;
}

首先明确C语言的标准规则：未初始化的非静态局部变量（自动变量）的值是未定义行为。这意味着C标准没有规定它必须是什么值——它可能是内存里遗留的任意垃圾值，也可能刚好是0，完全取决于程序运行时栈的当前状态。

你看到的count输出0，只是巧合：

• 栈空间在这个函数调用前，可能刚好被清零过（比如之前的函数调用结束后，栈上的这块内存没有被其他数据覆盖）；
• 如果是在调试模式下编译，有些编译器会自动将未初始化的局部变量填充为0或特定值（比如0xCC），方便调试；
• 不同的编译优化级别也会影响栈的使用状态，比如O0（无优化）下更容易出现这种“刚好是0”的情况。

但绝对不能依赖这种行为！一旦程序的运行环境变化（比如换编译器、换操作系统、调整函数调用顺序），这个变量的值就可能变成任意垃圾值，直接导致你的素数判断逻辑出错——比如如果count初始是2，那即使n是素数，最终判断count ==1也会返回false，完全不符合预期。

正确的做法是必须显式初始化自动变量，把int count;改成int count = 0;，这是写C代码的基本规范，能彻底避免这种未定义行为带来的隐患。

另外顺便提一句：你的素数判断逻辑可以优化，循环不需要到n，到sqrt(n)就足够了，能大幅减少循环次数，但这和当前问题无关，只是额外建议。

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