为何Filter方法实现会创建新数组而非直接修改原数组？

这个问题的答案是两者皆有——主流库选择创建新数组的实现方式，既是为了遵循不可变性的设计原则，也存在明确的数学层面性能优势。

一、不可变性的设计优先级 #

主流集合框架（比如JavaScript的Array#filter、Java的Stream.filter）的设计核心之一是贴合函数式编程的纯函数逻辑：

• 纯函数不会修改输入参数，避免了意外的副作用，让代码更易调试、推理和复用。
• 不可变的原数组天然支持多线程安全，无需额外同步操作就能在并发场景下安全使用。
• 保留原数组完整性也方便后续逻辑复用，比如同一数据源可能需要被多个过滤逻辑同时处理。

二、性能上的数学层面优势 #

从时间复杂度和实际运行效率来看，创建新数组的过滤方式确实比原地移除元素更高效：

1. 时间复杂度对比 #

• 原地移除元素：以Java的ArrayList为例，每次调用remove(i)都会将i位置之后的所有元素向前移动一位，单次操作时间复杂度为O(n)。如果需要过滤掉k个元素，最坏情况下（比如从数组头部开始连续删除），总时间复杂度会达到O(k*n)，趋近于O(n²)。比如要删除前50%的元素，总移动操作数是n + (n-1) + ... + (n/2)，这是一个等差数列求和，数值远大于n。
• 创建新数组过滤：只需要遍历原数组一次（O(n)），符合条件的元素添加到新数组。即使遇到动态数组扩容（比如JavaArrayList的扩容会触发数组复制），这种扩容操作是**均摊O(1)**的，整体时间复杂度仍然保持O(n)，远优于最坏情况的原地移除。

2. 缓存友好性差异 #

创建新数组时，元素是顺序写入内存的，能充分利用CPU的缓存机制，缓存命中率更高；而原地移除元素需要频繁移动内存块，会导致更多的缓存失效，实际运行时的性能损耗比理论复杂度计算的更明显。

总结 #

主流库选择创建新数组的过滤实现，是设计原则与性能优化的双重结果：既满足了函数式编程的不可变性要求，又在绝大多数场景下提供了更优的运行效率。只有在极少数特殊场景（比如原数组内存占用极大，无法分配新数组空间），原地移除的实现才会成为妥协选择。

内容的提问来源于stack exchange，提问作者Tristan F.-R.