14、Scala类型参数

1、泛型类

2、泛型函数

3、上边界Bounds

4、下边界Bounds

5、View Bounds

6、Context Bounds

7、Manifest Context Bounds

8、协变和逆变

1、泛型类

　　泛型类，是在类的声明中，定义一些泛型类型，然后在类内部，比如field或者method，就可以使用这些泛型类型。

　　使用泛型类，通常是需要对类中的某些成员，进行统一的类型限制，这样可以保证程序更好的健壮性和稳定性。

　　如果不使用泛型进行限制，在后期程序运行过程中，可能传入不希望的类型，导致程序出问题。

　　与泛型类类似，可以给某个函数在声明时指定泛型类型，然后在函数体内，多个变量或者返回值之间，就可以使用泛型类型进行声明，从而对某个特殊的变量或多个变量，进行强制性的类型限制。

　　在指定泛型类型的时候，有时我们需要指定泛型类型的范围。比如，我们可能要求某个泛型类型，必须是某个类的子类，在程序中就可以放心的调用泛型类型继承父类的方法，程序才能正常使用和运行。（注意：后面的空格）

　　除了指定上边界，还可以指定下边界，即指定泛型类型必须是某个类的父类。

　　上下边界Bounds，虽然可以让一种泛型类型，支持有父子关系的多种类型。但是，在某个类与上下边界Bounds指定的父子类型范围内的类都没有任何关系，则默认是肯定不能接受的。

　　View Bounds作为一种上下边界Bounds的加强版，支持可以对类型进行隐式转换，对指定的类型进行隐式转换后，再判断是否在边界指定的类型范围内。

　　Context Bounds是一种特殊的Bounds，它根据泛型类型的声明，比如"T:类型"要求必须存在一个类型为”类型[T]"的隐式值。Context Bounds之所以叫Context，因为它基于一种全局的上下文，需要使用到上下文中的隐式值以及注入。

　　scala中，要实例化一个泛型数组，就必须使用Manifest Context Bounds。就是说，如果数组元素类型为T的话，需要为类或者函数定义[T:Manifest]泛型类型，这样才能实例化Array[T]这种泛型数组。

　　Java中，如果a是b的子类，card[a]不可以是card[b]的子类，但是scala中，灵活的使用协变和逆变，轻松解决了这种问题。