一、前提澄清：Node.js没有独立的push()函数
与shift()的情况一致，push()并非Node.js核心模块提供的API。你在Node.js代码中调用的array.push()，来自ECMAScript规范定义的Array.prototype.push。Node.js通过V8引擎实现该规范，数组方法因此天然可用。讨论Node.js中的push()，实质是讨论该ECMAScript方法在V8运行时下的行为与性能表现。
二、规范定义的行为边界
2.1签名与返回值
arr.push(element1, element2, /* …, */ elementN)
接收零个或多个参数。返回调用后对象的length属性值。注意：返回值不是数组本身，而是数值类型的新长度。这与许多开发者初次接触时的直觉存在偏差。
2.2变异性与元素顺序
push()是变异方法，直接修改原数组。多个参数按传入顺序依次追加到尾部。这一点在批量写入时需要注意：如果误将数组作为单个参数传入，数组会被整体作为一个元素追加，而非展开其元素：
const basket = ['apple'];
basket.push(['banana', 'cherry']);
// 结果：['apple', ['banana', 'cherry']]，不是 ['apple', 'banana', 'cherry']
需要展开数组元素时，应使用扩展语法basket.push(...items)。
三、泛型特性与类数组对象
push()被设计为泛型方法：它不要求this必须是真正的Array实例，只要求this具有length属性和整数键属性。这意味着它可以通过call或apply作用于类数组对象：
const collection = {
length: 0,
add(item) {
Array.prototype.push.call(this, item);
}
};
collection.add('first');
collection.add('second');
console.log(collection.length); // 2
console.log(collection[0]); // 'first'
这个特性在需要为自定义对象模拟数组尾部追加行为时有用，但应克制使用。类数组对象的length不会自动维护，调用push时方读取并更新this.length，但对象本身的其他逻辑如果也依赖length，需要确保不产生冲突。
个人经验：在Node.js项目中，我曾见过有人对arguments对象调用push来收集参数。arguments具有length和整数索引，push确实能写入新索引并更新length，但arguments的语义是函数实参列表，向其追加元素会让代码意图变得模糊。更清晰的做法是用[...arguments]或Array.from(arguments)转为真数组后再操作。
四、异常与边界：length溢出与冻结对象
4.1length溢出
ECMAScript规范规定，当len+argCount>2^53-1时，push()抛出TypeError。2^53-1是JavaScript能精确表示的最大整数（Number.MAX_SAFE_INTEGER）。实际项目中几乎不会触及这个上限，但了解这条规则的意义在于：push()的异常并非来自“数组满了”，而是来自数值精度边界。
4.2冻结或密封数组
对Object.freeze()后的数组调用push()，在严格模式下抛出TypeError，非严格模式下静默失败。Node.js模块默认运行在严格模式下（CommonJS模块包装器不自动开启，但ES模块是严格模式），因此实际项目中通常表现为异常。Object.seal()的数组同样不允许新增属性，push会抛出TypeError。
'use strict';
const frozen = Object.freeze([1, 2]);
try {
frozen.push(3);
} catch (e) {
console.log(e.constructor.name); // TypeError
}
项目反思：在配置合并或状态快照场景中，有时会用freeze防止意外修改。如果下游代码某个路径仍然调用了push，异常会在运行时才暴露。对于这类共享数据结构，在冻结前确保所有追加操作已完成，或者在消费侧使用concat而非push。
五、与相邻方法的职责对比
| 方法 | 操作 | 返回值 | 是否变异 | 典型复杂度 |
|---|---|---|---|---|
push() |
尾部追加 | 新长度 | 是 | O(1)摊还 |
pop() |
尾部删除 | 被删元素 | 是 | O(1) |
unshift() |
头部插入 | 新长度 | 是 | O(n) |
shift() |
头部删除 | 被删元素 | 是 | O(n) |
concat() |
合并返回新数组 | 新数组 | 否 | O(n+m) |
...扩展语法 |
展开合并 | 视上下文 | 视上下文 | 大数组受限 |
关键区别：
-
pushvspop：一对尾部操作，共同构成栈（LIFO）的标准实现。两者在V8下均为高效操作。 -
pushvsunshift：虽然都是插入，push在尾部追加，不触发已有元素位移；unshift在头部插入，需要将所有现有元素后移一位，复杂度为O(n)。在性能敏感路径上，优先选择尾部操作。 -
pushvsconcat：push修改原数组，concat返回新数组。需要保留原数组不变时用concat；确定可以修改且追求更低开销时用push。有基准测试表明push在合并场景中显著快于concat，但差异随数组规模和引擎实现波动。
六、数组合并的选型：push、concat与扩展运算符
三者都能完成“把B的元素加到A后面”的任务，但语义和边界不同。
push修改原数组，适合累积场景：
const buffer = [];
buffer.push(...chunk1, ...chunk2);
注意扩展运算符在参数数量上的限制。JavaScript引擎对函数参数个数有实际上限（不同引擎阈值不同，V8约在数万到十万级别），当chunk元素极多时，push(...chunk)可能触发RangeError:Maximumcallstacksizeexceeded。此时应改用循环或concat。
concat返回新数组，原数组保持不变：
const merged = base.concat(addition);
对于长度较大的数组合并，concat不受参数个数限制，是更稳妥的选择。阿里云社区的一篇性能对比文章指出，扩展运算符在长度超过约63,653的数组上会得到N/A结果，而concat可以正常处理。
判断准则：如果数组长度已知可控（数千以内）且需要修改原数组，push配合扩展运算符足够。如果数组来源不可控或长度可能上万，concat的边界安全性更高。如果原数组必须保持不变，只能选concat或扩展语法创建新数组，push不适用。
七、常见误区速查
误区一：push()返回数组
返回的是新长度，数值类型。链式调用arr.push(a).push(b)会报错，因为数字没有push方法。
误区二：push和concat可以互换
push修改原数组，concat返回新数组。在需要保留原数据的场景中混用会导致状态污染。
误区三：push对类数组对象和真数组行为一致
行为逻辑一致（都读取并更新length），但类数组对象不会获得数组的其他方法，后续操作仍需手动处理。依赖Array.isArray的类型检查会返回false。
误区四：push不会抛异常
length溢出、冻结对象、严格模式下密封对象均可能抛出TypeError。虽然触发条件少见，但在防御性编程中不应假设其无异常。
误区五：push(...largeArray)总是可用
扩展运算符在参数数量极大时可能触发调用栈限制。大数组场景应评估替代方案。
八、单元测试与边界验证
以下用例覆盖核心行为与边界条件，可在Node.jsnode:test中运行：
const test = require('node:test');
const assert = require('node:assert');
test('push 返回新长度且修改原数组', () => {
const arr = [1, 2];
const len = arr.push(3, 4);
assert.strictEqual(len, 4);
assert.deepStrictEqual(arr, [1, 2, 3, 4]);
});
test('push 无参数时返回当前长度且数组不变', () => {
const arr = ['a'];
assert.strictEqual(arr.push(), 1);
assert.deepStrictEqual(arr, ['a']);
});
test('push 数组作为单个参数时不展开', () => {
const arr = [1];
arr.push([2, 3]);
assert.deepStrictEqual(arr, [1, [2, 3]]);
assert.strictEqual(arr.length, 2);
});
test('push 在类数组对象上的泛型行为', () => {
const obj = { length: 0 };
Array.prototype.push.call(obj, 'x');
assert.strictEqual(obj.length, 1);
assert.strictEqual(obj[0], 'x');
});
test('冻结数组上 push 抛出 TypeError', () => {
'use strict';
const frozen = Object.freeze([1]);
assert.throws(() => frozen.push(2), TypeError);
});
九、性能层面的工程判断
push在V8中的尾部追加是摊还O(1)操作。一份面向V8大数组的性能笔记指出，Array.push/pop比对象等价操作快约20倍，arr.push比arr[index]=value快约10到20倍。这与尾部追加不触发元素搬移的内存模型一致。
但这不意味着任何场景都应无条件用push。当累积逻辑发生在热路径上且数组会持续增长时，预先分配容量（例如用newArray(n)然后按索引赋值）在某些引擎版本中可能减少扩容次数。不过在V8的现在实现中，动态数组的扩容策略已经足够成熟，手动预分配带来的收益在多数业务代码中难以测量，反而牺牲了可读性。
我的建议：日常业务开发中直接使用push。只有在通过性能分析工具（如node--prof或Clinic.js）确认数组尾部追加是瓶颈来源时，才值得考虑索引赋值或预分配策略。
十、延伸阅读与参考文献
MDNWebDocs：Array.prototype.push()
Mozilla开发者网络
https://developer.mozilla.org/zh-CN/docs/Web/JavaScript/Reference/Global_Objects/Array/push
注解：中文文档对泛型特性、类数组对象用法和返回值有完整说明，是日常查阅的优选来源。
ECMA-262规范中Array.prototype.push的算法步骤
TC39归档
http://archives.ecma-international.org/2015/misc/working_draft_ecma-262_edition_6_01-15-15-rev31markup.pdf
注解：规范原文定义了length溢出检查、[[Put]]内部方法和返回值逻辑，是行为正确性的最终依据。
MicrosoftLearn：Array.prototype.push在ES6下的规范差异说明
https://learn.microsoft.com/zh-tw/openspecs/ie_standards/ms-es6/29b6bf12-1111-1111-ac3a-422fc2518e5b
注解：记录了对len+argCount>2^53-1时抛出TypeError的规范遵循情况。
JS数组合并的性能差异对比
阿里云开发者社区
https://developer.aliyun.com/article/1200725
注解：包含concat、push和扩展运算符在不同规模数组上的实测数据，扩展运算符的长度边界值有参考意义。
WhatDataStructuresBackArraysinV8
StackOverflow
https://stackoverflow.com/questions/22693973/what-data-structures-back-arrays-in-v8-and-odinmonkey
注解：从V8存储模型角度解释了尾部追加与头部插入的性能差异根源。
练习与思考
-
实现一个
safePushAll(target,source)函数，将source的所有元素追加到target末尾，要求：当source长度超过50,000时不使用扩展运算符，而是改用循环；返回追加后的target.length。 -
构造一个具有
length属性和索引属性的普通对象，用Array.prototype.push.call向其追加三个元素，然后检查Object.keys(obj)的输出。思考：length属性是否出现在键列表中，为什么？ -
在Node.js中分别用
push配合扩展运算符、concat、以及Array.prototype.push.apply合并两个各含10万个元素的数组，记录耗时并解释差异来源。
