scala - 为什么此代码有效 : "map.apply(1)+=3"

Question

val map = scala.collection.mutable.Map(1 -> 2)

map(1) += 3
map.apply(1) += 3
(map.apply(1)).+=(3)

我不明白为什么代码都编译得很好。

在第一种情况下，我认为代码被扩展为 map(1) = map(1) + 3 和 map.update(1, map(1) + 3)。但在第二种和第三种情况下，map.apply(1) = map.apply(1) + 3 会导致编译错误。

第二个和第三个代码如何扩展为？

Answer 1

从 scala 控制台运行 :replay -Xprint:typer:

1) map(1) += 3 扩展为:

map.update(1, map.apply(1).+(3))

2) map.apply(1) += 3 扩展为:

map.update(1, map.apply(1).+(3))

3) (map.apply(1)).+=(3) 扩展为:

map.update(1, map.apply(1).+(3))

---

编辑评论中问题的答案

If all three expansions are the same, why second and third causes a compilation error?

第二个和第三个:map.apply(1) += 3和(map.apply(1)).+=(3)编译良好并且也等价。

我试图用我的答案证明的是:map.apply(1) += 3不会扩展到map.apply(1) = map.apply(1 ) + 3 正如 @som-snytt 在其答案的第一部分中所解释的。

顺便说一句 map(1) = map(1) + 3 不扩展为 map.update(1, map(1) + 3) 如问题中所述。

我希望这能澄清我的答案。