scala - 为什么 scala 不允许在 case 语句中使用 '$' 标识符？

Question

这按预期工作

scala> 3 match { case x:Int => 2*x }res1: Int = 6

为什么会失败？

scala> 3 match { case $x:Int => 2*$x }:1: error: '=>' expected but ':' found.       3 match { case $x:Int => 2*$x }                        ^scala> 3 match { case `$x`:Int => 2*$x }:1: error: '=>' expected but ':' found.       3 match { case `$x`:Int => 2*$x }                          ^scala> 3 match { case `$x` : Int => 2*$x }:1: error: '=>' expected but ':' found.       3 match { case `$x` : Int => 2*$x }

'$' 应该是一个有效的标识符字符，如下所示:

scala> var y = 1y: Int = 1scala> var $y = 2$y: Int = 2

谢谢

Answer 1

摘自“The Scala Language Specification”，第 1 章(“词法语法”):

“‘$’字符是为编译器合成的标识符保留的。用户程序不应定义包含‘$’字符的标识符。”

所以这个非错误是语言规范的正式部分。