JavaScript中数组方法为何不返回新数组？

你对字符串和数组的特性理解是准确的：字符串作为不可变原始类型，所有方法只能返回新字符串；而数组是可变引用类型，方法可以直接修改原数组。至于为什么不把可变类型的方法都设计成返回新对象，主要有这几个核心原因：

• 性能与内存开销：如果所有数组方法都返回新数组，每次操作都要复制整个数组的内容。对于大型数组或者频繁的数组操作来说，这会带来额外的内存占用和性能损耗。比如push、pop这类仅修改数组末尾的操作，直接修改原数组的效率远高于复制整个数组再修改返回。
• 语义与场景匹配：不同的方法对应不同的使用场景。有些场景就是需要修改原数组（比如维护一个动态更新的列表），有些场景则需要基于原数组生成新结果（比如map、filter做数据转换）。JS通过区分“修改原数组”和“返回新数组”的方法，让开发者能根据需求直接选择，语义更清晰。
• 历史设计延续性：JavaScript早期设计参考了其他编程语言（比如Java）的集合类设计思路，这类语言里既有修改原集合的方法，也有返回新集合的方法，JS延续了这种兼顾灵活性的设计。
• 灵活性选择：如果强制所有方法都返回新对象，会剥夺开发者选择“修改原数组”的权力。事实上JS已经提供了两种方案：想要修改原数组用push、sort等方法；想要新数组可以用map、filter，或者手动通过[...arr]、arr.slice()复制后操作，这种设计给了开发者更多自主选择的空间。

比如你提到的map，其实JavaScript原生的map本身就是返回新数组的，它不会修改原数组——这说明JS已经在语义上做了区分：需要转换数据生成新结果的方法返回新数组，需要修改原数组状态的方法直接操作原对象。

内容的提问来源于stack exchange，提问作者RNdev