JavaScript 中的 `Array.prototype.pop()` 方法用于移除并返回数组的最后一个元素。与对原始类型（如数字）的操作不同，`pop()` 会直接修改原数组的长度和内容。本文将深入探讨 JavaScript 中数组的可变性（mutability）特性，并通过对比原始类型操作，解释为何 `pop()` 会影响原数组，以及如何区分可变与不可变操作。
在 JavaScript 中，理解数据类型的可变性（Mutability）是掌握其行为的关键。许多开发者初次接触 Array.prototype.pop() 方法时，可能会对其修改原数组的行为感到困惑，尤其是在习惯了原始类型操作的思维模式后。
pop() 方法的直观表现
Array.prototype.pop() 方法的功能是移除数组的最后一个元素，并返回该元素。让我们通过一个示例来观察其行为：
const threeArr = [1, 4, 6]; const oneDown = threeArr.pop(); console.log(oneDown); // 输出: 6 console.log(threeArr); // 输出: [1, 4]
从上述代码的输出可以看出，oneDown 变量成功地获取了数组 threeArr 的最后一个元素 6。这符合 pop() 方法“返回最后一个元素”的描述。然而，令人意外的是，threeArr 变量的值从 [1, 4, 6] 变成了 [1, 4]。这意味着 pop() 方法不仅返回了元素，还直接修改了原始数组 threeArr。
立即学习“Java免费学习笔记（深入）”；
这种行为与我们对某些简单操作的预期可能有所不同。为了更好地理解这一点，我们需要深入探讨 JavaScript 中原始类型和对象类型的根本差异。
核心概念：JavaScript 中的可变性 (Mutability)
JavaScript 中的数据类型可以分为两大类：原始类型（Primitive Types）和对象类型（Object Types）。它们在内存管理和可变性方面有着本质的区别。
1. 原始类型 (Primitive Types) 的不可变性
原始类型包括 number、string、boolean、null、undefined、symbol 和 bigint。这些类型的值是不可变的（Immutable）。这意味着一旦一个原始类型的值被创建，它就不能被改变。对原始类型值进行的任何操作，实际上都会创建一个新的值，而不会修改原始值本身。
考虑以下示例：
const threeArrNum = 1 + 2; // threeArrNum 的值为 3 const oneDownNum = threeArrNum + 1; // 创建一个新值 3 + 1 = 4 console.log(threeArrNum); // 输出: 3 (threeArrNum 的值未被修改) console.log(oneDownNum); // 输出: 4
在这个例子中，threeArrNum 被初始化为 3。当执行 oneDownNum = threeArrNum + 1; 时，threeArrNum 的值 3 参与了加法运算，但它本身并没有被改变。运算结果 4 被赋值给了 oneDownNum，而 threeArrNum 依然保持其原始值 3。这就是原始类型不可变性的体现。
2. 对象类型 (Object Types) 的可变性
与原始类型不同，对象类型（包括普通对象、数组、函数等）是可变的（Mutable）。当一个变量被赋值为一个对象时，它实际上存储的是该对象在内存中的地址（引用），而不是对象本身的值。
当对一个对象执行某些方法时，这些方法可能会直接修改该对象在内存中的内容。由于变量存储的是对象的引用，所有指向同一个对象的变量都会“看到”这些修改。
Array.prototype.pop() 方法就是这样一个会直接修改原数组（一个对象类型）的方法。根据 MDN Web Docs 的描述：
"The pop() method removes the last element from an array and returns that element. This method changes the length of the array." （pop() 方法从数组中移除最后一个元素并返回该元素。此方法会改变数组的长度。）
这明确指出 pop() 是一个“原地修改”（in-place modification）操作。它直接在原始数组的内存位置上进行操作，删除了最后一个元素，从而改变了数组的长度和内容。
pop() 方法的工作原理
当你在一个数组上调用 pop() 方法时，JavaScript 引擎会执行以下步骤：
- 找到数组的最后一个元素。
- 将该元素从数组中移除。
- 更新数组的 length 属性。
- 返回被移除的元素。
整个过程都是在原始数组对象上进行的，因此原数组被“破坏性地”修改了。类似地，Array.prototype.push()、Array.prototype.shift()、Array.prototype.unshift()、Array.prototype.splice() 等方法也都是原地修改数组的可变操作。
如何避免原地修改（创建新数组）
在某些场景下，我们可能希望在不修改原数组的情况下，获取一个“移除最后一个元素”后的新数组。这时，可以使用非破坏性（non-mutating）的方法来创建新数组。
一种常用的方法是使用 Array.prototype.slice()：
const originalArr = [1, 4, 6]; // slice(start, end) 方法返回一个从 start 到 end（不包括 end）的新数组。 // 传入 -1 作为 end 意味着从数组的开头到倒数第一个元素。 const newArrWithoutLast = originalArr.slice(0, -1); const lastElement = originalArr[originalArr.length - 1]; // 手动获取最后一个元素 console.log(newArrWithoutLast); // 输出: [1, 4] console.log(originalArr); // 输出: [1, 4, 6] (originalArr 未被修改) console.log(lastElement); // 输出: 6
此外，也可以结合展开运算符 (...) 和其他方法来创建新数组，例如：
const originalArr2 = [1, 4, 6]; // 使用展开运算符复制原数组，然后手动移除最后一个元素（如果需要） const newArrCopy = [...originalArr2]; const poppedElement = newArrCopy.pop(); // 这里修改的是 newArrCopy console.log(originalArr2); // 输出: [1, 4, 6] (originalArr2 未被修改) console.log(newArrCopy); // 输出: [1, 4] console.log(poppedElement); // 输出: 6
这种方法虽然也使用了 pop()，但它是在一个副本上操作，从而保护了原始数组。
总结与注意事项
- pop() 方法是可变操作： 它会直接修改调用它的原始数组，移除最后一个元素并改变数组长度。
- 理解可变性差异： 区分原始类型（不可变）和对象类型（可变）是理解 JavaScript 行为的基础。对原始类型的操作会生成新值，而对对象类型的某些操作会直接修改对象本身。
- 避免意外副作用： 在编写代码时，务必明确所使用的数组方法是会原地修改数组，还是会返回一个新数组。这有助于避免不必要的副作用和调试困难。
- 选择合适的工具： 当需要获取数组的“移除最后一个元素”版本但又不想修改原数组时，应优先考虑使用 slice() 或结合展开运算符等非破坏性方法。
通过深入理解 pop() 方法的底层机制和 JavaScript 的可变性概念，开发者可以更准确地预测代码行为，编写出更健壮和可维护的程序。
