本地修改的按值传递的参数会发生什么情况？

Question

我很清楚，在 C/C++ 函数之外修改按值传递的函数参数是无效的，但编译器允许这样做 - 但会发生什么？是否由参数制作了本地副本并且在函数内可修改？

#include <stdio.h>

void doSomething( int x )
{
    x = 42;
    printf( "The answer to Life, the Universe and Everything is (always): %i!\n", x );
}

int main( int argc, char **argv )
{
    int a = 0;
    doSomething( a );
    return -a;
}

现在这总是无错误地退出，但是在事物方案（内存空间）中，函数中表示为 x 的值保留在哪里？

我想应该（结合声明和定义）开始：

void doSomething( const int x )

我会让我的手腕被任何半体面的编译器拍打。

Answer 1

对于函数doSomething()，x 是函数的局部变量。它与在函数体开头定义的任何其他变量具有相似的范围。

一般来说，x 只存在于doSomething() 函数的范围内。 x 在调用 doSomething() 时定义（并传递参数），并在控件返回时销毁。只要函数调用正在执行（即变量仍在作用域内），参数就与任何其他变量相同，只是由函数调用中提供的参数初始化。

引用 C11，第 §6.2.1 章，标识符范围

[...] 如果声明符或类型说明符 声明标识符出现在块内或参数声明列表中 一个函数定义，标识符有块作用域，它终止于 关联块。 [...]

如您所知，x 是传递给函数调用的实际参数的本地副本，函数内部对x 所做的任何更改都不会反映 em> 进入调用者（实际参数），但只要函数内x 上的操作有效，编译器就没有理由抱怨。

Answer 2

函数的值参数实际上是函数的局部变量，除了它是在函数调用中初始化的。所以这些：

 void f( int n ) {
      n++;
   }

和：

 void g() {
      int n = 0;
      n++;
   }

实际上是相同的，如果对 f() 的调用是 f(0)。在这两种情况下，变量都会在函数退出时被丢弃。

Answer 3

形参x是内存中与实参a分离的对象，因此对x的任何更改都不会反映在a中。

Answer 4

值 x 是本地的并保存在堆栈中。每个函数都有自己的堆栈部分，在程序进入函数时保留。 值 x 将位于堆栈的这一部分。它仅在定义它的功能范围内有效。 如果您更改 x，它将仅针对定义它的功能进行更改。 如果函数结束（从函数返回），则为函数保留的堆栈将被销毁，因此值 x 也将被销毁。所以 x 将无法访问，因为它不再存在。

Answer 5

正如其他人所解释的，x 在函数 doSomething 中是本地的，任何修改只会影响参数的本地副本。

但请注意，C++ 允许通过引用传递：doSomething() 的定义中的一个非常小的变化都会对该程序产生重大影响：

void doSomething( int& x ) {
    x = 42;
    printf( "The answer to Life, the Universe and Everything is (always): %i!\n", x );
}

通过上述函数定义，main 中的变量a 的值确实会更改为42。由于main() 中的代码是相同的，因此此 C++ 功能可能会导致代码混乱，尤其是对于 C 程序员而言。