Scala中for表达式遍历可变HashMap时，为何某代码行影响循环值获取？

这是Scala for推导式的编译转换规则差异导致的，核心在于两种场景下count值的求值时机不同：

1. 无中间赋值的场景（注释_ = idx +1时） #

此时for推导式只有单个生成器，编译器会直接将其转换为LinkedHashMap的foreach调用：

countMap.foreach { case (idx, count) =>
  // 你的循环体逻辑
}

遍历LinkedHashMap时，foreach会逐个访问Map的条目，每次处理条目时才会提取当前的count值。后续循环中对Map后续条目的修改，会在遍历到对应条目时反映到count变量上，因此你会看到打印的是更新后的值。

2. 有中间赋值的场景（取消注释_ = idx +1时） #

当for推导式包含多个分句（生成器+赋值语句）时，编译器会将其转换为链式的map/flatMap操作（Scala for推导式的本质是Monad操作组合）。这时候生成器(idx, count) <- countMap会提前一次性提取所有(idx, count)对并缓存——因为Int是值类型，缓存的是初始值1的副本，后续对Map的修改只会改变Map内部的状态，无法影响已经缓存的count变量，因此打印的全是初始值。

补充验证点说明 #

• 两种场景下Map最终状态一致：因为无论count是否被缓存，循环体中的修改操作都会完整执行，所有后续条目都会被加上3，所以最终Map的内容完全相同。
• Scala 3中行为一致：Scala 3的for推导式语义和Scala 2保持一致，多个分句同样会被转换为Monad链式操作，因此出现相同的现象。

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