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 true
的case 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