Kotlin中使用forEach时是否应避免共享状态副作用？求相关建议

Java Streams的官方建议 #

Java Streams官方文档明确要求，应避免在forEach操作中使用共享状态，核心原因与副作用相关：

副作用
流操作的行为参数中出现副作用通常不被推荐，因为这往往会无意中违反无状态要求，还会带来线程安全风险。
若行为参数存在副作用，除非有明确说明，否则无法保证这些副作用对其他线程可见，也无法保证同一流管道中对“同一”元素的不同操作在同一线程执行。此外，副作用的执行顺序可能出人意料。即使管道被限制为生成与流源顺序一致的结果（例如IntStream.range(0,5).parallel().map(x -> x*2).toArray()必须生成[0, 2, 4, 6, 8]），也无法保证映射函数应用于各个元素的顺序，或给定元素的行为参数在哪个线程执行。

许多依赖副作用的计算，都可以更安全、高效地通过无副作用方式实现——比如用归约操作替代可变累加器。不过像println()这类用于调试的副作用通常是无害的。少数流操作（如forEach()和peek()）只能通过副作用运行，这类操作需谨慎使用。

反例与优化示例 #

以下代码属于不必要的副作用使用：在字符串流中筛选匹配正则的字符串，并通过forEach将结果添加到外部列表：

ArrayList<String> results = new ArrayList<>();
stream.filter(s -> pattern.matcher(s).matches())
      .forEach(s -> results.add(s));  // 不必要的副作用！

这段代码在并行环境下执行时，ArrayList的非线程安全性会导致结果错误；若添加同步机制，又会引发竞争，削弱并行化的优势。其实完全没必要依赖副作用，只需把forEach()替换为归约操作，就能更安全、高效且更适合并行化：

List<String> results =
    stream.filter(s -> pattern.matcher(s).matches())
          .collect(Collectors.toList());  // 无副作用！

Kotlin中的同类问题解答 #

针对你提出的Kotlin代码：

var bar = foo(myPath)
myPath.forEach { e ->
    ...         
    bar = foo(bar,....)
}

应该避免编写这类代码，原因如下：

• 线程安全风险：如果myPath是并行流，多个线程同时修改共享变量bar会引发竞态条件，导致结果不可预测。
• 可读性与维护性：依赖外部可变状态的逻辑隐含在副作用中，不如函数式风格的归约操作直观，后续维护难度更高。
• 性能损耗：若为保证线程安全添加同步锁，会抵消并行处理带来的性能优势。

优化后的无副作用写法 #

使用Kotlin标准库的fold函数（归约操作）替代，全程无外部可变状态：

val bar = myPath.fold(foo(myPath)) { acc, e ->
    ...
    foo(acc, ....)
}

fold从初始值开始，依次用每个元素更新累加值，既符合函数式编程的最佳实践，并行场景下也能正确执行。

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