什么时候大小写在语法上很重要？

Question

A/a 案例，而不是 case 案例。

显然case a 匹配任何内容并将其绑定到名称a，而case A 查找A 变量并匹配== 认为等于A 的任何内容。这让我很惊讶。虽然我知道 Scala 区分大小写，但我从没想过标识符大小写会影响解析规则。

Scala 的语法关心标识符的大小写是常见的，还是只有少数上下文会发生这种情况？如果只有少数这样的上下文，它们是什么？我在谷歌上找不到任何东西；我得到的只是模式匹配的结果。

Answer 1

还有一个性质相似的，称为 type pattern。在类型模式中，以小写字母开头的简单标识符是类型变量，所有其他标识符都尝试匹配实际类型（_ 除外）。

例如：

val a: Any = List(1, 2, 3)
val c = 1

// z is a type variable
a match { case b: List[z] => a }

// Type match on `Int`
a match { case b: List[Int] => a }

// type match on the singleton c.type (not a simple lower case identifier)
// (doesn't actually compile because c.type will never conform)
a match { case b: List[c.type] => a }

像第一个示例一样的类型匹配鲜为人知，因为它几乎不被使用。