为什么这个变量在 return 语句之后会改变？

Question

我有一个带有签名的函数：

int exe(int stack[][STACKSIZE], int sp[], int reg[][REGISTERSIZE], int next_instruct[],
        int next_inst[], int cur_proc, int *terminate);

最后两行：

printf("TWO cur_proc: %d\n",cur_proc);
return NORMAL;

并且是这样调用的：

printf("ONE cur_proc: %d\n",cur_proc);
msg = exe(stack,sp,reg, next_instruct, next_instruct, cur_proc, &terminate);
printf("THREE cur_proc: %d\n",cur_proc);

我正在传入cur_proc，它被认为是exe() 内部的“只读”（不是按值传递的）变量。在exe() 内做我的事情。

我的输出是：

ONE cur_proc: 1
TWO cur_proc: 1
THREE cur_proc: -1

这让我很困惑，因为我看不出有任何理由可以用否定的方法覆盖它。

这种奇怪行为的可能原因是什么？

Answer 1

您可能在其中一个数组的范围之外写入。

在函数内部，您正在查看调用函数中变量的副本，而不是原始变量。因此，函数内的printf() 不会告诉您值何时在调用函数中损坏。

查看传递的数组，函数内部被修改的数组最有可能是罪魁祸首——或者被修改的数组。由于没有一个数组是 const 限定的，因此很难说哪些被修改了，但有些东西可能超出了界限。

如果您想跟踪调用函数中对 cur_proc 的更改何时从被调用函数内部发生，请将指向 cur_proc 的指针传递给函数 - 以及或代替值 - 并打印值通过指针。

Answer 2

如果您的 exe 函数中的代码将数据写入传入的数组之一中的无效位置，则堆栈可能会损坏，这可能会更改堆栈更高的局部变量的值（以及其他错误东西）。

从函数的角度来看，鉴于您的变量的只读性质，无论是这种情况正在发生，还是另一个线程正在修改 cur_proc 的值 - 如果您不摆弄线程，前者似乎更有可能。

大多数调试器允许您在“更改内存中特定地址的值”上放置断点。如果你得到了 cur_proc 的地址并在这个地址的值发生变化时中断了你应该找到你的罪魁祸首。