JS背景开发者咨询Scala参数解构隐式match/case的使用规则

你遇到的这两种简化写法都是Scala提供的语法糖，底层确实会隐式生成你之前写的完整匹配/解构逻辑：

1. 省略match、仅保留case的写法 #

这个是Scala 偏函数（PartialFunction） 的标准语法：当你给需要传入单参数函数的位置，直接传递一个仅由case子句组成的花括号块时，编译器会自动将其编译为一个偏函数实例，等效于自动补上了参数 => 参数 match { 所有case逻辑 }的代码。
你写的这段代码：

x.foreach({
    case (n, i) => println(s"$n $i")
})

和你之前能理解的x.foreach(_ match { case (n,i) => println(s"$n $i") })完全等效，没有任何运行时差异。

2. 连case都省略的元组解构写法 #

这个是Scala 2.13及以上版本新增的元组参数解构语法，和你熟悉的JS数组解构逻辑几乎一致：当入参是单个TupleN（N>=2）类型的参数时，你可以直接在参数列表位置写N个参数名，编译器会自动帮你把传入的元组拆分为对应的N个变量，不需要显式写模式匹配代码。
你写的这段代码：

x.foreach((n, i) => println(s"$n $i"))

等效于显式匹配元组的写法，编译后运行逻辑完全一致。

你可以通过以下两个规则判断是否会触发隐式转换：

• 触发隐式补全match：只要你将仅由case子句组成的代码块，作为单参数函数的入参传递，编译器就会自动将其转换为偏函数，隐式补上match逻辑。注意如果传入的参数不满足任何case的匹配条件，运行时会抛出MatchError，和显式写match的行为完全一致。
• 触发隐式元组解构：仅当你使用Scala 2.13+版本，且函数入参是单个元组类型时，可以直接把参数列表写为元组元素对应的多个变量，编译器会自动完成解构。

内容的提问来源于stack exchange，提问作者Julian A Avar C