以下类型其实不表示值的集合,也其实不显式地出现在程序中。它们只以已定义标识符的内部类型而引入。
方法类型
方法类型在内部表示为(Ts)U,(Ts)是1个类型序列(T1,...,Tn) n>=0,U是1个(值或方法)类型。这个类型表示1个命名的方法,其参数的类型是T1,...,Tn,返回结果的类型是U。
方法类型是右结合的,(Ts1)(Ts2)U被处理的方式是(Ts1)((Ts2)U)。
1个特例是没有参数的方法类型。可以写为=>T的情势。无参数方法名称表达式将会在每次名称被援用时求值。
方法类型其实不以值的类型的情势存在。如果方法名以值的方式被援用,其类型将会被自动转换为对应的函数类型(§6.25)。
示例3.3.1 以下声明:
def a: Int
def b (x: Int): Boolean
def c (x: Int)(y: String, z:String): String
产生以下类型:
a: => Int
b: (Int) Boolean
c: (Int)(String, String) String
多态方法类型
多态方法类型在内部表示为[tps]T,[tps]是类型参数部份[a1 >: L1 <: U1,...,an >: Ln <: Un],n>=0,T是1个(值或方法)类型。该类型表示1个以S1,...,Sn为类型参量并产生类型为T的结果的命名方法,参数类型S1,...,Sn与下界L1,...,Ln和上界U1,...,Un1致(§3.2.4)。
示例3.3.2 以下声明:
def empty[A]: List[A]
def union[A <:Comparable[A]] (x: Set[A], xs: Set[A]): Set[A]
产生以下类型:
empty: [A >: Nothing <: Any] List[A]
union: [A >: Nothing <: Comparable[A]] (x: Set[A], xs:Set[A]) Set[A]
类型构造器
类型构造器在内部的表示方法类似于多态方法类型。[+/- a1 >: L1 <: U1,...,+/-an >: Ln <: Un] T表示1个期望是类型构造器参数(§4.4)或有对应类型参数子句的抽象类型构造器绑定(§4.3)的类型。
示例3.3.3 以下是类Iterable[+X]的片断:
trait Iterable[+X]{
def flatMap[newType[+X]<:Iterabe[X],S](f: X => newType[S]): newType[S]
}
从概念上来说,类型构造器Iterable是匿名类型[+X] Iterable[X]的名称,在
flatMap中传递给newType类型构造器参数。