Visual Studio C++中多次printf指针出现异常行为的问题

这是一个典型的栈内存生命周期问题，咱们一步步拆解原因：

问题根源：局部变量的内存会在函数返回后被销毁 #

你在aligator函数里定义的pet是栈上的局部数组——栈内存的特点是，当函数执行完毕返回时，这个函数对应的栈帧会被操作系统回收，里面的局部变量（比如pet）占用的内存空间会被标记为可复用，后续的函数调用（比如你main里的printf）会覆盖这块内存。

执行流程拆解 #

1. 调用aligator(&pa)时，栈上创建pet数组，把它的首地址赋值给*p（也就是main里的pa）。这时候函数还在运行，pet的内存有效，所以函数内部的两个printf都能正确输出30。
2. 当aligator执行完毕返回main后，pet所在的栈帧已经被销毁，但pa仍然指向这块已经失效的内存地址——这就属于悬垂指针（Dangling Pointer），访问它的行为是C标准里的未定义行为。
3. main里第一次printf时，可能这块内存还没被后续操作覆盖，所以碰巧输出了30；但紧接着的printf调用本身也需要使用栈，会覆盖pet原来占用的内存空间，所以后续的输出就变成了0（当然也可能是其他随机值，甚至程序崩溃，这都是未定义行为的表现）。

如何修复？ #

要避免这种问题，你需要让pa指向的内存在aligator函数返回后仍然有效，常见的两种方案：

方案1：使用动态分配内存（推荐）

用malloc在堆上分配内存，堆内存的生命周期由程序员控制，直到调用free才会被回收：

void aligator(int **p) {
    // 动态分配6个int的内存
    int *pet = malloc(6 * sizeof(int));
    if (pet == NULL) {
        // 处理内存分配失败的情况
        fprintf(stderr, "Memory allocation failed!\n");
        return;
    }
    // 给数组赋值
    pet[0] = 10; pet[1] = 20; pet[2] = 30;
    pet[3] = 40; pet[4] = 50; pet[5] = 60;
    *p = pet;
    printf("pet[2]:%d\n", pet[2]);
    printf("p[2]:%d\n", *((*p) + 2));
}

int main() {
    int *pa;
    aligator(&pa);
    printf("_pa[2]:%d\n", *(pa + 2));
    printf("_pa[2]:%d\n", *(pa + 2));
    printf("_pa[2]:%d\n", *(pa + 2));
    printf("_pa[2]:%d\n", *(pa + 2));
    // 记得释放动态分配的内存，避免内存泄漏
    free(pa);
}

方案2：使用全局变量（不推荐，除非特殊场景）

把pet定义为全局变量，全局变量存放在静态内存区，生命周期和程序一致：

// 全局数组，生命周期从程序启动到结束
int pet[6] = { 10, 20, 30, 40, 50, 60 };

void aligator(int **p) {
    *p = pet;
    printf("pet[2]:%d\n", pet[2]);
    printf("p[2]:%d\n", *((*p) + 2));
}

int main() {
    int *pa;
    aligator(&pa);
    printf("_pa[2]:%d\n", *(pa + 2));
    printf("_pa[2]:%d\n", *(pa + 2));
    printf("_pa[2]:%d\n", *(pa + 2));
    printf("_pa[2]:%d\n", *(pa + 2));
}

不过全局变量会增加程序的耦合性，容易引发其他问题，所以一般优先用动态分配的方案。

总结 #

永远不要让指针指向栈上的局部变量——当函数返回后，这些变量的内存就不再属于你的程序了，访问它们会导致不可预测的结果，这就是你遇到的“相同代码输出不同结果”的原因。

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