从语义和内存角度解析：JavaScript 函数参数是如何传递的？

前言

在 JavaScript 中，函数参数的传递方式一直是备受关注的话题。理解参数传递的机制对于编写健壮且高效的代码至关重要。本文将从语义传递和内存传递两个角度，深入剖析 JavaScript 中参数传递的本质，并通过代码示例详细说明不同传递方式的差异。

语义传递

语义传递是指函数在执行时，是如何访问和使用传递给它的参数。在 JavaScript 中，有两种主要的语义传递方式：值传递和引用传递。

值传递

值传递是指函数在执行时，将传递给它的参数值复制一份存储在函数的局部变量中，而不会影响到原变量的值。这意味着函数对局部变量所做的任何修改都不会影响到函数外部的原变量。

举个例子：

function add(a, b) {
  a = a + 1; // 修改局部变量 a 的值
  b.value = b.value + 1; // 修改局部变量 b 的值
}

const x = 1;
const y = { value: 1 };

add(x, y);

console.log(x); // 输出 1
console.log(y.value); // 输出 2

在上面的代码中，函数 add 接受两个参数 a 和 b。a 是一个基本类型的值，而 b 是一个引用类型的值。当函数 add 执行时，a 和 b 的值分别被复制到局部变量 a 和 b 中。函数 add 对局部变量 a 和 b 所做的修改不会影响到函数外部的原变量 x 和 y。因此，当函数 add 执行完毕后，x 的值仍然是 1，而 y 的值变成了 2。

引用传递

引用传递是指函数在执行时，将传递给它的参数的引用复制一份存储在函数的局部变量中。这意味着函数对局部变量所做的任何修改都会影响到函数外部的原变量。

举个例子：

function swap(a, b) {
  const temp = a;
  a = b;
  b = temp;
}

let x = 1;
let y = 2;

swap(x, y);

console.log(x); // 输出 2
console.log(y); // 输出 1

在上面的代码中，函数 swap 接受两个参数 a 和 b。a 和 b 都是基本类型的值。当函数 swap 执行时，a 和 b 的值分别被复制到局部变量 a 和 b 中。函数 swap 对局部变量 a 和 b 所做的修改会影响到函数外部的原变量 x 和 y。因此，当函数 swap 执行完毕后，x 的值变成了 2，而 y 的值变成了 1。

内存传递

内存传递是指函数在执行时，是如何在内存中存储和传递参数的。在 JavaScript 中，参数的传递方式主要取决于参数的类型。

基本类型的值传递

对于基本类型的值，如数字、字符串、布尔值等，当函数调用时，这些值会被复制一份存储在函数的局部变量中。这意味着函数对局部变量所做的任何修改都不会影响到函数外部的原变量。

引用类型的值传递

对于引用类型的值，如数组、对象等，当函数调用时，这些值的引用会被复制一份存储在函数的局部变量中。这意味着函数对局部变量所做的任何修改都会影响到函数外部的原变量。

举个例子：

function addElementToArray(array, element) {
  array.push(element);
}

const array = [1, 2, 3];
const element = 4;

addElementToArray(array, element);

console.log(array); // 输出 [1, 2, 3, 4]

在上面的代码中，函数 addElementToArray 接受两个参数 array 和 element。array 是一个引用类型的值，而 element 是一个基本类型的值。当函数 addElementToArray 执行时，array 的引用和 element 的值分别被复制到局部变量 array 和 element 中。函数 addElementToArray 对局部变量 array 所做的修改会影响到函数外部的原变量 array。因此，当函数 addElementToArray 执行完毕后，array 的值变成了 [1, 2, 3, 4]。

结论

通过对 JavaScript 中参数传递方式的深入剖析，我们可以了解到，函数参数的传递方式主要取决于参数的类型和语义传递规则。对于基本类型的值，采用值传递的方式，而对于引用类型的值，则采用引用传递的方式。理解参数传递的机制对于编写健壮且高效的代码至关重要，希望本文能够帮助读者更好地掌握 JavaScript 中参数传递的技巧。