形参与实参

  • 形参出现在函数定义中，在整个函数体内都可以使用， 离开该函数则不能使用。
  • 实参出现在主调函数中，进入被调函数后，实参变量也不能使用

形参和实参的功能是作数据传送。发生函数调用时，主调函数把实参的值传送给被调函数的形参从而实现主调函数向被调函数的数据传送。

  1. 形参变量只有在被调用时才分配内存单元，在调用结束时， 即刻释放所分配的内存单元。因此，形参只有在函数内部有效。 函数调用结束返回主调函数后则不能再使用该形参变量。
  2. 实参可以是常量、变量、表达式、函数等,无论实参是何种类型的量，在进行函数调用时，它们都必须具有确定的值，以便把这些值传送给形参。 因此应预先用赋值，输入等办法使实参获得确定值。
  3. 实参和形参在数量上，类型上，顺序上应严格一致， 否则会发生“类型不匹配”的错误。
  4. 函数调用中发生的数据传送是单向的。 即只能把实参的值传送给形参，而不能把形参的值反向地传送给实参。 因此在函数调用过程中，形参的值发生改变，而实参中的值不会变化。
  5. 当形参和实参不是指针类型时，在该函数运行时，形参和实参是不同的变量，他们在内存中位于不同的位置，形参将实参的内容复制一份，在该函数运行结束的时候形参被释放，而实参内容不会改变。而如果函数的参数是指针类型变量,在调用该函数的过程中，传给函数的是实参的地址，在函数体内部使用的也是实参的地址，即使用的就是实参本身。所以在函数体内部可以改变实参的值。（这涉及到的就是传值调用与引用调用的区别）

传值调用和引用调用

传值调用和引用调用指的是用于参数传递过程中的一种机制

  • 传值调用中，只使用了实参的值。传值调用机制里，形参是一个局部变量，其初始值为相应实参的值
  • 引用调用机制里，将实参的地址传递给形参，从表面上看是以实参变量取代形参，因此任何发生在形参上的改变实际上都发生在实参变量上

看一个C语言的例子：

1
2
3
4
5
6
7
8
9
10
11
12
13
void Modify(int p, int * q)
{
    p = 27; // 按值传递 - p是实参a的副本, 只有p被修改
    *q = 27; // q是b的引用，q和b都被修改
}
int main()
{
    int a = 1;
    int b = 1;
    Modify(a, &b);   // a 按值传递, b 按引用传递,
                     // a 未变化, b 改变了
    return(0);
}

JavaScript的按值传递和引用传递

分别对应传值调用和引用调用，说法不一样而已

JS的基本类型，是按值传递的：

1
2
3
4
5
6
var a = 1;
function foo(x) {
    x = 2;
}
foo(a);
console.log(a); // 仍为1, 未受x = 2赋值所影响

值得注意的是JS的对象,下面两个例子：

1
2
3
4
5
6
var obj = {x : 1};
function foo(o) {
    o.x = 3;
}
foo(obj);
console.log(obj.x); // 3, 被修改了!
1
2
3
4
5
6
var obj = {x : 1};
function foo(o) {
    o = 100;
}
foo(obj);
console.log(obj.x); // 仍然是1, obj并未被修改为100.

这是为什么？

对象的参数传递是按值传递的，只不过由于对象是引用类型，所以他的按值传递看起来就像按引用传递一样。本质上，对象的按值传递就是对象的复制，JavaScript中对象的复制就像C中的指针复制。你可以在函数内部将参数重新赋值new Object()，发现参数会指向这个new Object，而外部的对象的指向不是这个new Object()。所以，对象的参数产地绝对不是按引用传递。

参考地址