4

如果我将某些案例对象命名为“r0”、“r1”等，则会出现编译错误。如果我使用不同的名称，代码将按预期编译和运行。对此的理性将非常受欢迎！

编码：

package qndTests2

sealed abstract case class Reg()
trait RReg
trait RRegNotPc extends RReg
trait LowReg extends RReg
sealed abstract case class LowRegClass() extends Reg with LowReg
sealed abstract case class RRegNotPcClass() extends Reg with RRegNotPc
case object R0 extends LowRegClass
case object R1 extends LowRegClass
case object R2 extends RRegNotPcClass
case object R3 extends Reg with RReg

sealed abstract case class Base()
trait T1
trait T2 extends T1
trait T3 extends T1
sealed abstract case class CaseClassT3() extends Base with T3
sealed abstract case class CaseClassT2() extends Base with T2
case object r0 extends CaseClassT3
case object r1 extends CaseClassT3
case object r2 extends CaseClassT2
case object r3 extends Base with T1

object test {
  def regToInt(r: RReg): Int = {
    r match{
      case R0 => 0
      case R1 => 1
      case R2 => 2
      case R3 => 3
    }
  }
  def toInt(r: T1): Int = {
    r match{
      case r0 => 0
      case r1 => 1   //error: unreachable code
      case r2 => 2   //error: unreachable code
      case r3 => 3   //error: unreachable code
    }
  }
  def main(args: Array[String]): Unit = {
    println(toInt(r0))
    println(toInt(r1))
    println(regToInt(R0))
    println(regToInt(R3))
  }
}

包“qndTests2”只包含一个文件，Test.scala，文件的全部内容如上。将“r0”~“r3”替换为“A”~“D”，编译成功！我不知道为什么......我只是很累，忽略了一些明显的东西？？？

4

1 回答 1

11

这不是关于 r0~r3，而是关于小写与大写。请参阅上一个问题。

您的电话，无论是错误还是语言规范的功能，但它就在那里，第 8.1.1 节：

变量模式 x 是一个以小写字母开头的简单标识符。它匹配任何值，并将变量名绑定到该值。

于 2011-11-09T15:46:43.303 回答