Scala 列表解包冒号冒号语法区分大小写

Question

我想知道使用 :: 语法对列表解包的编译结果有一个奇怪的问题。根据我的测试，编译结果取决于第一个字母的大小写，我试图找出原因：（我已经添加了来自 scala REPL 的日志）

scala> val smallExample :: Nil = (0 until 1).toList // works
val smallExample: Int = 0

scala> val CapitalExample :: Nil = (0 until 1).toList // fails with compile error
           ^
       error: not found: value CapitalExample

我想使用此语法构建类似于 C Enum 的东西，而无需手动指定所有索引，但我需要 ALL_CAPS_UNDERSCORE 遵守命名约定。

您是否在不必指定所有常量（至少 32 个）或忽略命名约定的情况下就替代方案提出意见？

详细说明我的用法：我正在尝试在 Chisel 中构建一个小型 RISC-V CPU，并且我需要从 0 到 31 的列表中的所有操作码： LOAD :: LOAD_FP :: CUSTOM_1 :: MISC_MEM :: ... :: RESERVED_80BIT :: Nil = (0 until 32).toList，显然我不想明确指定所有这些数字。

谢谢！

Answer 1

在模式匹配中（解构赋值是模式匹配的特例），变量和常量匹配都是可能的：

match {
  case x => ???    // a variable match
  case Nil => ???  // a constant match (not actually reachable)
}

为了消除这些情况的歧义，语言规范规定了一个规则，即以小写字母开头的简单名称是一个变量，任何其他简单名称都被解释为常量。

语言规范要求以小写字母开头的简单名称在反引号中被视为常量：

val pi = 3.14
math.E match {
  case `pi` => "Strange math?"
  case _ => "Seems OK"
}

语言规范不包括强制将以非小写字母开头的简单名称解释为模式匹配中的变量的方法。

Scala 列表解包冒号冒号语法区分大小写

Scala List unpacking with colon colon syntax case sensitivity

list

scala

case-sensitive