scala - 为什么我必须在 unapply 方法中返回 Some

Question

如果我不在 Some 方法中使用 unapply，为什么以下代码不起作用？

scala> object T {
     | def unapply(i:Int) = (i+1,i+2) //Some not used, I get error
     | }
defined object T

scala> 1 match {
     | case T(x,y) => println(x,y)
     | }
<console>:14: error: an unapply result must have a member `def isEmpty: Boolean
       case T(x,y) => println(x,y)
            ^

scala> object T {
     | def unapply(i:Int) = Some(i+1,i+2) //Some used. No error
     | }
defined object T

scala> 1 match {
     | case T(x,y) => println(x,y)
     | }
(2,3)

标度>

Answer 1

你没有。您必须返回具有 isEmpty() 方法和 get() 方法的内容。 Option 两者都提供，所以这是一个方便的解决方案。

这就是编译器知道匹配成功的方式。如果 isEmpty() 返回 true 则匹配失败并尝试下一个匹配(如果有下一个)。