为什么我的 C 数组会记住以前函数调用的旧数据？

Question

当我运行以下 C 代码时，我得到了值：

• 222222222
• 312222222
• 102222222

我期待这些值：

• 222222222
• 31
• 10

为什么我的 intToStr 函数中定义的 char number[] 会记住以前的值？我认为一旦函数调用结束，所有本地数据或多或少都会被破坏。

#include <stdio.h>

void intToStr(int n);

int main(void)
{
    intToStr(222222222);
    intToStr(31);
    intToStr(10);

    return 0;
}

void intToStr(int n)
{
    char number[10];

    int l = 0;
    if (n < 0)
    {
        l++;
        number[0] = '-';
        n *= -1;
    }
    int nCopy = n;

    while (nCopy > 9)
    {
        nCopy /= 10;
        l++;
    }

    int r;
    while (n > 9)
    {
        r = n % 10;
        n /= 10;
        number[l--] = r + '0';
    }
    number[l] = n + '0';

    printf("%s\n", number);
}

Answer 1

数组不应该记住旧数据

对于每个程序，C 标准：

• 指定程序应该做什么
• 说没有指定程序应该做什么

它几乎从来没有说过程序应该不做一些特别的事情。

在这种情况下，标准规定没有指定函数开头的数组中应包含哪些字符。它们可以是任何东西。上一次调用中的字符是“任何东西”的一种特殊情况。

Answer 2

这是未定义的行为。如果只设置了前 3 个字符，则可能打印 312222222 或可能打印 312???????????????????

char number[10] 中的最后一个字符未初始化，这意味着编译器可能决定不理会它而保留旧值，或者发生其他情况。

否则printf 不知道字符串在哪里结束，它会一直打印直到随机命中零。

如果存在缓冲区溢出，printf 在内存中找到一组不同的字符（我们不应该访问它们）并且程序会继续打印这些相同的字符，直到它随机命中零并最终停止。

要修复它，只需确保末尾有'\0'。您还可以添加额外的检查以确保长度不超过缓冲区大小

工作示例：

char number[10];
int l = 0;
if (n < 0)
{
    l++;
    number[0] = '-';
    n *= -1;
}
if (n < 0) return;

int nCopy = n;
while (nCopy > 9)
{
    nCopy /= 10;
    l++;
}

int len = l;
if (len + 1 > sizeof(number))
    return;
number[len + 1] = '\0';

int r;
while (n > 9)
{
    r = n % 10;
    n /= 10;
    number[l--] = r + '0';
}
number[l] = n + '0';

printf("%s\n", number);