C语言中同一指针两次printf输出结果不同的原因求解

你的代码核心问题是返回了局部变量的地址，这直接导致了野指针和未定义行为，最终出现两次输出不同的现象。

问题根源拆解 #

1. 局部变量的生命周期：init函数里的int a是局部变量，它存储在函数的栈帧中。当init执行完毕返回时，这个栈帧会被操作系统回收，a占用的内存空间不再受程序控制，变成了"无效内存"。
2. 野指针的形成：你返回的指针p指向的就是这块已经失效的内存，此时这个指针就是野指针——指向的内存不属于当前程序的有效变量，后续对它的解引用操作完全没有保障。

为什么两次printf结果不同？ #

• 第一次调用printf时，那块失效的内存还没被其他操作覆盖，所以碰巧读出了之前a的值10。
• 但printf本身是一个函数，它执行时会在栈上创建自己的栈帧，这个栈帧会覆盖掉init函数曾经占用的栈空间。等第一次printf执行完返回main，原来的内存区域已经被printf的操作改写了。
• 第二次调用printf时，再解引用野指针，读到的就是被改写后的垃圾值，自然和第一次结果不一样。

注意：这是未定义行为 #

C语言标准明确规定，访问已经释放的局部变量内存属于未定义行为——程序可能输出随机值、崩溃，甚至看起来正常运行，具体表现完全依赖编译器和运行环境，没有任何规律可循。

修正方案 #

如果需要返回一个有效的指针，可以用以下几种方式：

• 使用静态存储区变量：用static修饰局部变量，让它存储在静态存储区，函数返回后不会被释放：

int *init()
{
    static int a = 10;
    return &a;
}

• 堆内存分配：用malloc在堆上分配内存，记得最后用free释放：

#include <stdlib.h> // 需要包含malloc的头文件
int *init()
{
    int *p = malloc(sizeof(int));
    if (p != NULL) { // 要检查malloc是否成功
        *p = 10;
    }
    return p;
}

// main函数中使用后要释放
int main()
{
    int *a = init();
    if (a != NULL) {
        printf("FIRST printf and value of a: %u\n", *a);
        printf("SECOND printf and value of a %u\n", *a);
        free(a);
    }
    return 0;
}

• 调用者传入指针：让调用者提供变量的地址，在init中修改该地址指向的内容：

void init(int *p)
{
    *p = 10;
}

int main()
{
    int a;
    init(&a);
    printf("FIRST printf and value of a: %u\n", a);
    printf("SECOND printf and value of a %u\n", a);
    return 0;
}

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