4

我在我的代码中造成了一个更难找到我想要的错误，以及我希望将来避免的错误。我希望 Scala 编译器会警告我我的错误（除非我遗漏了什么）。

我已将其简化为微不足道的情况：

Vector.maybeGetVector match {
  case v:Vector => true
  case _ => false
}

case class Vector(x:Int, y:Int)

object Vector {
  def maybeGetVector : Option[Vector] = Some(new Vector(1,2))
}

我使用wildcard而不是None失败的唯一原因是我只想匹配返回的子类型Option。

我期待一个编译器警告，因为很容易推断第一个 case 语句包含无法访问的代码。Option[Vector]不能是 的子类型Vector。

奇怪的是，如果我添加以下 case 语句：

 case i:Int => false

它会引发错误并告诉我这Option[Vector]是必需的。

在命名约定之外，有没有办法以这种方式防止程序员错误。唯一可以与 an 匹配的东西Option是Some/None/null。我觉得我错过了一些明显的东西。

4

1 回答 1

5

如果您使用final修饰符定义 Vector 类，您将收到您所期望的“模式类型与预期类型不兼容”错误。

对我来说，Scala 认为您的 Option[Vector] 可能以某种方式是 Vector 子类型的一个实例。（这对我来说似乎是不可能的，但我认为这就是起作用的原因。）使 Vector 最终排除了这种看似遥远的可能性。

所以，如果第一个 case 语句应该是不可访问的，那不是因为，正如你所说， Vector 不能是 Option[Vector] 的子类型；而是因为 Option[Vector] 不能是 Vector 子类型的实例。也许这就是你的意思:)

于 2012-07-07T06:49:00.980 回答