类型说明只是告诉编译器,从所有可能的有效类型中,表达式期望什么类型。
如果类型遵守现有的约束(例如方差和类型声明),则它是有效的,并且它是表达式所应用的类型之一是“是”,或者存在适用于范围的转换。
因此,java.lang.String extends java.lang.Object
因此String
也是Object
。在您的示例中,您声明希望将表达式s
视为Object
,而不是String
。由于没有约束可以阻止这种情况,并且所需的类型s
是a的类型之一,因此它可以工作。
现在,你为什么要那样?考虑一下:
scala> val s = "Dave"
s: java.lang.String = Dave
scala> val p = s: Object
p: java.lang.Object = Dave
scala> val ss = scala.collection.mutable.Set(s)
ss: scala.collection.mutable.Set[java.lang.String] = Set(Dave)
scala> val ps = scala.collection.mutable.Set(p)
ps: scala.collection.mutable.Set[java.lang.Object] = Set(Dave)
scala> ss += Nil
<console>:7: error: type mismatch;
found : scala.collection.immutable.Nil.type (with underlying type object Nil)
required: java.lang.String
ss += Nil
^
scala> ps += Nil
res3: ps.type = Set(List(), Dave)
您也可以通过s
在ss
声明中键入脚本来解决此问题,或者可以将声明ss
的类型声明为Set[AnyRef]
。
但是,仅在将值分配给标识符时,类型声明才能实现相同的目的。当然,如果一个人不关心用一次性标识符乱扔代码,那哪一个总是可以做的。例如,以下内容不会编译:
def prefixesOf(s: String) = s.foldLeft(Nil) {
case (head :: tail, char) => (head + char) :: head :: tail
case (lst, char) => char.toString :: lst
}
但这确实是:
def prefixesOf(s: String) = s.foldLeft(Nil: List[String]) {
case (head :: tail, char) => (head + char) :: head :: tail
case (lst, char) => char.toString :: lst
}
在此处使用标识符代替会很愚蠢Nil
。尽管我可以写List[String]()
,但这并不总是一种选择。例如,考虑一下:
def firstVowel(s: String) = s.foldLeft(None: Option[Char]) {
case (None, char) => if ("aeiou" contains char.toLower) Some(char) else None
case (vowel, _) => vowel
}
作为参考,这是Scala 2.7规范(2009年3月15日草案)对类型归属的评价:
Expr1 ::= ...
| PostfixExpr Ascription
Ascription ::= ‘:’ InfixType
| ‘:’ Annotation {Annotation}
| ‘:’ ‘_’ ‘*’