Scala Option 未按预期处理 null

Question

如果编译器在这种情况下不推断包装，我不明白在 scala 中使用可选类型的意义：

f(null) // WHY ISN"T THE COMPILER DOING ANYTHING HERE!

def f(x : Option[String]) = {
// WHY DOES IT CRASH WHEN MATCHING "SOME(NULL)" !!
  val = x match {
    case Some(x) => s"blah blah append $x"
    case None => "" // !!! BOOM CRASH null scala.MatchError: null
    at
  }
  ...
  ...
}

如果我现在仍需要在 f 函数中检查 null，我会得到什么？？？

def f(x : Option[String]) = {
   // DON'T CRASH ?????
   if (x != null) {
      // now I can pattern match??? what is the point of the option???
     e match {... , case None => ??? what was the point of this?
   } else {
     e match { ...// BOOM ! CRASH AND BURN because "some" is NULL??? }
   }

}

Answer 1

一般来说，Scala 中没有任何内容不允许您传递null。 Option[T] 是与调用者的合同，没有任何编译器强制执行。期权合约说：“这个值可能不存在，所以考虑一下”，它没有考虑到这个值可以是null。与合同一样，它们可能会被违反，我们必须确保执行它们。

解决此问题的一种方法是向WartRemover 添加扩展名，这是一个作为 SBT 工具链的一部分运行的 linter（可能已经有类似的东西，不确定）。这样，您可以强制在编译时不将选项设置为 null，而不是让它们在运行时爆炸。

这不是一个“这样做”的答案，因为坦率地说，今天没有一个好的解决方案 OOTB。只要引用可以为空，我们就必须处理它。你必须负责你的代码，并确保人们根据他们真正应该如何使用数据类型来使用它们。

Answer 2

您可以将case None => ... 更改为case _ => ...，或者如果您想以与None 不同的方式处理null，则将后者添加到None 子句之后。

Answer 3

正确的做法是将可以为 null 的值作为选项传递。例如：

f(Option(null))

这将匹配您的 None 情况，不会导致匹配错误。这里的基本思想是 null 不应该是 scala 构造，但即使您需要处理可以为 null 的值，最好将其包装在 Option 中，然后传递以确保与它交互的所有函数继续在正常和错误情况下工作正常。 此外，要更详细地了解 Option 是如何以及为什么以这种方式实现的，您可以阅读更多关于函数式构造的信息，例如 Monads，它们为我们提供了函数式编程中组合的力量。我发现这个博客是一个很好的入门入门： http://danielwestheide.com/blog/2012/12/19/the-neophytes-guide-to-scala-part-5-the-option-type.html