为什么大写字母不能用于定义值的模式匹配？

Question

为什么我可以使用小写字母作为名称:

val (a, bC) = (1, 2)

(1, 2) match {
  case (a, bC) => ???
}

并且不能使用大写字母:

/* compile errors: not found: value A, BC  */
val (A, BC) = (1, 2)

/* compile errors: not found: value A, BC  */
(1, 2) match {
  case (A, BC) => ???
}

我正在使用 scala-2.11.17

Answer 1

因为Scala的设计者更喜欢允许以大写字母开头的标识符这样使用(并且允许两者都会令人困惑):

val A = 1

2 match {
  case A => true
  case _ => false
} // returns false, because 2 != A

请注意,小写你会得到

val a = 1

2 match {
  case a => true
  case _ => false
} // returns true

因为case a绑定了一个名为的新变量a.

一个非常常见的情况是

val opt: Option[Int] = ...

opt match {
  case None => ... // you really don't want None to be a new variable here
  case Some(a) => ...
}