C++按值传递指针为何在先调用其他函数后可修改原指针？

你观察到的反常现象和按值传递指针的语言规则没有任何冲突，本质是代码触发了未定义行为（Undefined Behavior, 简称UB），外加测试代码存在书写错误，所有不符合预期的输出都是两个问题叠加导致的。

第一个问题：测试代码存在手误 #

你贴出的main函数测试代码中写了int pointer = &p;，这行本身就是语法错误：int类型的变量无法存储内存地址，正确写法应为int* pointer = &a;，属于输入代码时的笔误。

第二个问题：所有修改指针的函数都制造了悬垂指针 #

你写的三个修改指针相关的函数，都在把函数内部的局部变量地址赋值给外部传入的指针：

• 函数内定义的普通局部变量（比如int a = 75、int b = 100、int c = 200）都分配在栈内存上，函数执行结束返回时，这些局部变量占用的栈空间会被立刻回收，对应地址失效。
• 持有这类失效地址的指针就是悬垂指针，对悬垂指针做解引用操作的结果是完全未定义的：可能输出随机值，可能刚好输出某段内存里残留的值，也可能直接导致程序崩溃，没有任何确定规律。

现象拆解 #

你觉得“按值传参失效”完全是栈空间复用导致的巧合，实际按值传递的规则从来没有生效异常：

1. 第一次单独调用editPointerValue时，函数确实只修改了指针形参的副本，外部原指针仍然指向main函数中定义的int a = 0，所以打印0符合预期，此时还没有触发悬垂指针问题。
2. 调用editPointer(&pointer)时，你确实通过二级指针修改了外部原指针的值，让它指向函数内部的局部变量a，但函数返回后a的栈空间被回收，pointer直接变成悬垂指针。
3. 调用editPointerReference(pointer)时，你又通过引用把外部原指针改成指向函数内部的局部变量b，函数返回后b的栈空间同样被回收，pointer仍然是悬垂指针。
4. 最后调用editPointerValue(pointer)时，函数根本没有修改外部原指针存储的地址值——它只是把自己的形参副本改成指向内部局部变量c而已。

之所以最后解引用能拿到200，是因为这三个函数的栈帧结构完全一致：都是只定义一个int局部变量、一个int*局部变量就返回，新调用的函数会直接复用前一个函数释放的栈空间。editPointerValue运行时，局部变量c刚好分配在之前editPointerReference里b占用的、已经释放的同一块栈地址上，c被赋值为200之后，你解引用外部那个存着旧栈地址的悬垂指针，刚好读到了刚被覆写为200的内存，才会误以为按值传递的函数改了外部指针。

你可以加两行打印验证这个结论：

editPointerReference(pointer);
cout << "调用editPointerValue前，指针存储的地址：" << pointer << endl;
editPointerValue(pointer);
cout << "调用editPointerValue后，指针存储的地址：" << pointer << endl;
cout << "指向内存的值：" << *pointer << endl;

运行后你会看到两次打印的指针地址完全一致，外部指针根本没有被editPointerValue修改。

正确测试方式 #

如果要验证指针传参的逻辑，不要把指针指向函数内的普通局部变量，要指向生命周期长于函数的内存，比如main函数内的变量、静态变量、动态分配的堆内存，示例：

// 按值传递指针，无法修改外部指针本身
void editPointerValue(int* pointer)
{
    static int c = 200; // 静态变量生命周期贯穿程序运行全程，不会随函数返回释放
    int *p = &c;
    pointer = p;
}

// 传二级指针，可以修改外部指针本身
void editPointer(int** pointer)
{
    static int a = 75;
    int *p = &a;
    *pointer = p;
}

// 传指针引用，可以修改外部指针本身
void editPointerReference(int*& pointer)
{
    static int b = 100;
    int *p = &b;
    pointer = p;
}

用这个版本测试，最终打印结果一定是100，完全符合你最初的认知，editPointerValue不会对外部指针产生任何影响。

注意：所有把函数局部变量地址赋值给外部指针、返回局部变量地址的写法，都是标准的未定义行为，绝对不要在正式代码中使用，这类写法产生的bug几乎没有调试规律可循。

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