Scala中是否存在等价于Haskell as-pattern的模式匹配语法？

Scala完全支持类似Haskell的as-pattern，通过@符号可以将复杂模式绑定到变量名上，既能完成结构检测，又能直接引用整个匹配结果，避免重复书写冗长的模式表达式。

针对你提到的(("def", symPos) :: defRest, defPos)模式，若无需操作内部变量、仅需检测结构，可用as-pattern简化：

// 将整个匹配结构绑定到defPattern变量
case defPattern @ (("def", _) :: _, _) => 
  // 直接用defPattern指代匹配到的完整结构
  println(s"匹配到目标结构: $defPattern")

如果需要在多个case分支或不同匹配场景中复用该模式，还可以自定义提取器进一步简化：

// 定义提取器对象
object DefPattern {
  def unapply(input: (List[(String, Any)], Any)): Boolean = input match {
    case (("def", _) :: _, _) => true
    case _ => false
  }
}

// 使用提取器进行匹配
someData match {
  case DefPattern() => println("匹配到定义模式")
  case _ => println("未匹配")
}

as-pattern适合单匹配场景下的简化引用，提取器则更适合跨场景复用同一模式。

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