Scala序列模式匹配疑问：为何代码始终输出success？

1. 为什么f(Seq(2))会输出"success" #

每次调用f(Seq(2))都能触发输出，核心原因有两个：

• **case x匹配成功**：这里的 x ``引用了你在object Basic里定义的val x = collection.mutable.Seq(2)。Scala对序列的匹配是基于内容相等的（调用equals方法），你传入的Seq(2)（不可变序列）和x（可变序列）的元素、长度完全一致，所以这一步匹配通过。
• if守卫永远返回true：守卫部分{x(0) ==4; true}是一个代码块，Scala中代码块的返回值由最后一个表达式决定。这里最后是true，不管前面的x(0)==4结果如何，守卫条件都满足，因此会执行println("success")。

2. case x``中的x是什么、来自哪里 #

• `x`是稳定标识符模式，它直接引用你在object Basic顶层定义的val x（即那个初始值为[2]的可变序列）。
• 注意区别：如果不写反引号直接写case x，那是变量模式——会把输入的y赋值给一个局部变量x，不管y是什么都会匹配成功；加反引号后，就变成了引用外部已有的稳定变量，用来判断输入对象是否和该变量的值相等。

3. case后的if守卫如何工作，为何只能返回Boolean #

• if守卫的作用：它是模式匹配的“附加过滤条件”——只有当模式本身匹配成功，并且守卫表达式返回true时，才会执行对应的代码块。
• 必须返回Boolean的原因：守卫的本质是一个判断逻辑，只有布尔值能明确表示“满足/不满足”条件，所以Scala强制要求守卫表达式的返回类型为Boolean。
• 你的代码里，守卫代码块{x(0) ==4; true}中，前一句x(0)==4的结果会被忽略，最后一句true才是守卫的最终返回值，所以无论如何都会通过过滤。

4. 序列模式匹配的基本机制 #

Scala对序列的模式匹配主要有几种常见用法：

• 内容精确匹配：比如case Seq(2)会匹配任何仅包含元素2的序列；case Seq(a, b)会匹配长度为2的序列，并把两个元素分别绑定到变量a、b。
• 引用已有序列变量：就是你代码里的case x``，通过稳定标识符模式，判断输入序列是否和已有序列的值相等（基于equals方法）。
• 通配符匹配：比如case _匹配任意序列；case Seq(_, rest @ _*)匹配长度至少为1的序列，忽略第一个元素，把剩余元素绑定到rest。

额外注意：不管是可变还是不可变序列，只要是Seq的子类型，默认模式匹配都基于内容判断（如果需要判断引用是否相同，要手动用y eq x）；如果没有任何case匹配成功，Scala会抛出MatchError。

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