RxJS实现数组分组时map回调引用外层group$.key是否违反纯函数规范？

你对当前写法的纯函数判定存在误解，这套实现是RxJS场景下的标准规范写法，完全没有违反纯函数要求，实现思路也不存在偏差。

RxJS生态强调的纯函数要求，核心判定从来不是必须把所有用到的值都作为函数入参传入，而是两个硬性标准：

• 给定完全相同的函数入参，永远返回完全相同的输出
• 函数执行过程不会产生可观察的副作用（比如修改外部状态、触发独立IO操作、改动全局变量等）

代码中map(films => ({ key: group$.key, films }))这行逻辑，本质是闭包捕获了当前分组对应的固定常量：

• 这里的group$是groupBy操作符针对每一个分组生成的独立GroupedObservable实例，它的key值在分组创建时就已经固定，在整个流的生命周期里是不可变的值，不存在被运行时篡改的可能
• 整个map执行过程没有任何额外操作，只是基于捕获的固定key、以及toArray产出的当前分组films数组，生成一个返回对象——相同的films输入搭配固定的key值，永远会生成结构、值完全一致的FilmGroup对象，完全符合纯函数的定义。

不少初学RxJS的人容易把“闭包捕获外层作用域的值”直接等同于非纯，这是非常典型的认知偏差：只要捕获的是不可变的常量值，就不违反纯函数要求；如果捕获的是可变的、可能在函数执行周期内被其他逻辑修改的外部状态，才属于需要规避的非纯写法。

举个反例就能清晰区分差异，下面这种才是RxJS编码中不推荐的非纯实现：

// 非纯实现示例
map(films => {
  // 类实例上的可变属性，可能被其他逻辑随时修改
  this.processedGroupCount += 1;
  // 引用的key是动态变化的临时值，不是当前分组绑定的固定常量
  return { key: this.currentActiveKey, films };
})

上面的写法中，即使传入完全相同的films数组，因为引用的实例属性可能被其他逻辑改动，最终返回的对象值都可能不一样，还会额外修改外部的计数状态，这才是需要规避的问题。

你现在这套基于groupBy + mergeMap + toArray实现数组分组的逻辑，本身就是RxJS官方文档给出的标准参考实现，完全不需要为了“追求形式上的纯函数”刻意调整写法。如果硬要把group$.key通过流传递作为map的入参，反而会增加不必要的代码冗余，没有实际收益。

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