程序员人生 网站导航

Scala非值类型

栏目:服务器时间:2015-04-28 08:24:25

以下类型其实不表示值的集合,也其实不显式地出现在程序中。它们只以已定义标识符的内部类型而引入。

方法类型

方法类型在内部表示为(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类型构造器参数。 

------分隔线----------------------------
------分隔线----------------------------

最新技术推荐