Scalac发现错误:scala.Boolean(false)required:java.lang.Boolean

下面的代码检查基本身份验证。 这里resp是401未经授权的响应。 我检查Authorization标题是否存在,如果存在,我验证它的值,否则我调用resp

def validate(authHeader: String): Boolean = {
   //........
} 
val authHeader = Option(request.getHeader("Authorization"))
authHeader match {
  case Some(header) if header.startsWith("Basic ") => validate(header) match { case false => resp }
  case _ => resp
}

当我编译它时,它会给行match { case false => resp }提供错误match { case false => resp }found: scala.Boolean(false) required: java.lang.Boolean 。 我很困惑为什么它的治疗斯卡拉布尔不同于Java布尔。

我注意到文件开头有一行import java.lang._ (我不知道为什么)。 我评论说,代码给出了一个警告,而不是一个错误:

warning: match may not be exhaustive.
It would fail on the following input: true

我认为这是因为我没有写出case truecase true 。 但是,是什么导致了原始错误的发生,为什么只有在import java.lang._时才会发生?

编辑:

这是问题的一个最基本的例子:

val f: java.lang.Boolean = false
val f2: scala.Boolean = false

/* The following line produces this error:
error: type mismatch;
 found   : scala.Boolean(false)
 required: java.lang.Boolean
*/
f match { case false => 5 }

/* The following line produces this warning:
warning: match may not be exhaustive.
It would fail on the following input: true
*/
f2 match { case false => 5 }

似乎隐式转换在模式匹配的情况下不起作用。

考虑:

scala> case class Foo(x: Int)
defined class Foo

scala> case class Bar(x: Int)
defined class Bar

scala> implicit def foo2bar(x: Foo) = Bar(x.x)
foo2bar: (x: Foo)Bar

scala> Foo(3) match { case Foo(3) => 3; case _ => 4 }
res19: Int = 3

scala> Foo(3) match { case Bar(3) => 3; case _ => 4 }
<console>:14: error: constructor cannot be instantiated to expected type;
 found   : Bar
 required: Foo
              Foo(3) match { case Bar(3) => 3; case _ => 4 }
                                  ^

与之比较:

scala> val f: java.lang.Boolean = false
f: Boolean = false

scala> f.<TAB>
asInstanceOf   booleanValue   compareTo      isInstanceOf   toString       

scala> f || true
res21: Boolean = true

隐式转换在这里工作,但不在这里:

scala> f match { case false => 3; case true => 4 }
<console>:15: error: type mismatch;
 found   : scala.Boolean(false)
 required: java.lang.Boolean
              f match { case false => 3; case true => 4 }
                             ^
<console>:15: error: type mismatch;
 found   : scala.Boolean(true)
 required: java.lang.Boolean
              f match { case false => 3; case true => 4 }
                                              ^

我同意这很违反直觉,但是我怀疑它可以在不引入特殊scalac ,或者让scalac以某种方式识别所有模式属于单一类型的模式匹配,并尝试找到该类型的隐式转换。 解决方法是执行显式asInstanceOf[Boolean] 。 虽然以下工作很好,这很奇怪:

scala> "foobar".startsWith("foo") match { case true => 3 ; case false => 4 }
res26: Int = 3
链接地址: http://www.djcxy.com/p/78875.html

上一篇: Scalac gives error found: scala.Boolean(false) required: java.lang.Boolean

下一篇: How to access Galaxy S5 temperature sensor?