为什么我可以在 scala 比赛中遇到不可能的情况？

Question

在下面的示例中，在第二个 case 中，我预计会出现与第一个 case 相同的编译错误，但它可以编译。为什么？

object CaseMatching extends App {

  case class Id(value: Long)
  object Id { val zero = Id(0) }
  case class Name(value: String)
  case class IdName(id: Id, name: Name)

  IdName(Id(0), Name("A")) match {
    case IdName(_, Id(0)  ) => // does not compile (as expected)
    case IdName(_, Id.zero) => // does compile (but should not ?)
    case IdName(Id.zero, _) => println("OK") // this is OK and will match
    case _ =>
  }

}

为什么相关？ - 我花了一个小时的大部分时间来找出为什么从未遇到过以下情况：case TreeEntry(_, Some(child), _, _, NodeType.DIR, _, _) 那是因为 NodeType 在第 4 个字段中，而不是在第 5 个字段中。如果编译器告诉我，我将不胜感激！

Answer 1

最短的答案：使Name final 足以说服编译器zero 不是一个。请参阅this issue 和周围环境。

它会在类型测试时发出警告，即 isInstanceOf:

<console>:15: warning: fruitless type test: a value of type CaseMatching.Name cannot also be a CaseMatching.Id
           case IdName(_, _: Id) =>
                             ^

但不是在测试相等时，因为相等是普遍的。

这是另一个好消息，case IdName(_, Id) =>

<console>:15: error: pattern type is incompatible with expected type;
 found   : CaseMatching.Id.type
 required: CaseMatching.Name
Note: if you intended to match against the class, try `case _: Id`
           case IdName(_, Id) =>
                          ^

你想要的是：

scala> IdName(Id(0), Name("A")) match { case IdName(_, id: Id.zero.type) => }
<console>:21: warning: fruitless type test: a value of type Name cannot also be a Id (the underlying of Id.zero.type)
              IdName(Id(0), Name("A")) match { case IdName(_, id: Id.zero.type) => }
                                                                         ^

单例类型只包含那个值，所以它使用eq 进行测试；作为类型测试，它也会发出警告。 （截至本周，它使用eq 而不是equals。）

不确定这对你有多大影响，但是：

scala> :pa
// Entering paste mode (ctrl-D to finish)

sealed trait Id { def value: Long }
case class Nonzero(value: Long) extends Id
case object Zero extends Id { val value = 0L }
case class Name(value: String)
case class IdName(id: Id, name: Name)

// Exiting paste mode, now interpreting.

scala> IdName(Zero, Name("A")) match { case IdName(_, Zero) => 1 }
<console>:14: error: pattern type is incompatible with expected type;
 found   : Zero.type
 required: Name
              IdName(Zero, Name("A")) match { case IdName(_, Zero) => 1 }
                                                             ^