Scala学习十七——类型参数
一.本章要点
- 类、特质、方法和函数都可以有类型参数
- 将类型参数放置在名称之后，以方括号括起来
- 类型界定的语法为T<:UpperBound、T>:LowerBound、T<%ViewBound、T:ContextBound
- 可以用类型约束来约束一个方法，比如（implicit ev:T<:<UpperBound）
- 用+T（协变来表示某个泛型的子类型关系和参数T方向一致，或用-T（逆变）来表示方向相反
- 协变适用于表示输出的类型参数，比如不可表集合中的元素
- 逆变适用于表示输入的类型参数，比如函数参数
二.泛型类
和Java/C++一致，类和特质都可以带类型参数。在类的定义中，可以用类型参数来定义变量、方法参数、以及返回值类型。例：
class Pair[T,S]{val first:T,val secend:S}
三.泛型函数
函数和方法也可以带类型参数。例：
def getMiddle[T](a:Array[T])=a(a.length/2)
四.类型变量界定
对类型变量进行限制，例：
//错误 class Pair[T](val first:T,val secend:T) //不知道first是否有compareTo方法 {def smaller=if(first.compareTo(secend)<0) first else secend } //解决方法(比较简单，也可以指定一个下界) class Pair[T<:Comparable[T]](val first:T,val secend:T){ def smaller=if(first.compareTo(secend)<0) first else secend }
五.视图界定
”视图界定“，T<%V要求必须存在一个从T到V的隐式转换，如class Pair[T <% Comparable[T]]，<%意味着T可以被隐式转换成Comparable[T]。。。
六.上下文界定
格式为T:M，其中M是一个泛型类，要求必须存在一个类型为M[T]的”隐式值“。
七.Manifest上下文界定
要实例化一个泛型的Array[T]，需要一个Mainfest[T]对象（要想让基本类型的数组能工作，这是必须的），例：
def makePair(T:Mainfest)(first:T,secend:T){ val r=new Array[T](2);r(0)=first;r(1)=secend;r }
注：如果T是Int，希望虚拟机中对应的是一个int[]数组，在Scala中，Array只不过是类库中提供的一个类，编译器并不对它做特殊处理，因此要编写一个泛型函数来构造泛型数组，需要传入Mainfest对象帮忙（因为在虚拟机中，泛型相关的信息是被抹掉的，只会有一个makePair方法，却要处理所有类型T）。
八.多重界定
类型变量可以同时有上界和下界，写法为T >:Lower <:Upper，不能同时有多个上界或多个下界，但能同时实现多个特质。
可以有多个视图特质：T%<Comparable[T]<%String
可以有多个上下文界定：T:Ordering:Mainfest
九.类型约束
提供的另一种限定类型的方式，总共有三种关系：
T=：=U
T<:<U
T<%<U
这些约束将会测试T是否等于U，是否是U的子类型，或是否能被视图（隐式）转换为U，要使用这样的约束，需要添加”隐式类型证明参数“。
类型参数可在泛型类中定义只能在特定条件下使用的方法，例：
class Pair[T](val first:T,val second:T){ def smaller(implicit ev:T<:<Ordered[T])= if(first<second) first else second }
类型约束的另一个用途是改进类型推断，例：
def firstLast[A,C<:Iterable[A](it:C)=(it.head,it.last)] //执行,推断出的类型参数[Nothing,List[Int]]不符合[A,C<:Iterable[A]] firstLast(List(1,2,3))
十.型变
例：
def makeFriends(p:Pair[Person]) //如果用Pair[Student]作为参数调用makeFriends在缺省情况下是错误的，尽管Student是Person的子类，但Pair[Student]和Pair[Person]没有任何关系 //想要这样的关系，必须在Pair类中表明 //+号意味着该类型是T协变的（与T按同样的类型型变），即Student是Person的子类型=》Pait[Student]是Pair[Person]的子类型 class Pair[+T](val first:T,val second:T) //另一个方向的型变 trait Friend[-T]{ def befriend(someone:T)} //可以是逆变的,Student是Person的子类型，Friend[Student]是Friend[Person]的超类型 class Person extends Friends[Person] class Student extends Person val susan=new Student val fred=new Person makeFriendWith(susan,fred) //注：在一个泛型的类型声明里面，可以同时使用这两种型变
十一.协变和逆变点
通常而言，对于某个对象消费的值适用于逆变，而对于它产出的值则适用于协变。
在Scala中数组是不支持型变的，不能将Array[Student]转换为Array[Person]，或者反过来会不安全。。。
十二.对象不能泛型
没法给对象添加类型参数，比如可变列表。。。
十三.类型通配符
在Java中，所有泛型类都是不可变的，可以使用通配符改变它们的类型。
可以在Scala中使用通配符。。。
十四.练习
