Kotlin语法（十二）-泛型（Generics）

         参考原文：http://kotlinlang.org/docs/reference/generics.html

     泛型类

         跟Java一样，Kotlin也支持泛型类：

classBox<T>(t: T) {   var value = t }

         

         在具体使用的时候，需要传入具体的类型：

valbox: Box<Int> = Box<Int>(1)

         

         另：通过值可以推断出类型，也可以省略类型参数：

// 1 has type Int, so the compiler figures out that we are talking about Box<Int> val box = Box(1)

 

     变异（Variance）

       Java通配符（wildcard types）

         该部分都是讲的Java泛型中的通配符。

         在java泛型使用中，提供类型通配符“?”，这块只是简单介绍java通配符的设计目的及基础，详细可以自行去了解下“Java 泛型通配符?”，如：

//Java voidparseList(List<? extends Object> dataList) {    //… … }

         《 EffectiveJava》中解析，使用通配符为了提高API的使用灵活性（Use bounded wildcards to increase APIflexibility）。

 

         因为在java中，泛型类型是不可变的，比如：“ List<String>”不是“ List<Object>”的子类型，而是两个独立的类型，如下：

//Java List<String>strs = new ArrayList<String>(); List<Object> objs = strs; //编译错误，类型不匹配（imcompatible type）

         假设前面的方式可行的话，会带来更多的新问题，导致在使用时类型不匹配问题：

//Java objs.add(1); // Here we put an Integer into a list of Strings String s = strs.get(0); // !!! ClassCastException: Cannot cast Integer to String

         所以，为了确保在运行时类型安全，Java的泛型设计成了不可变。

 

         但是这种不可变的泛型类型，又会带来下面的问题：

         现在定义一个泛型，是为“ Collection  ”增加“ addAll()”方法，应该是下面实现方式：

// Java interfaceCollection<E> ... {   void addAll(Collection<E> items); }

         那么在使用的时候，往“Collection<Object>”中添加“Collection<String>”，该方法就没法使用了；而理论上应该是合法的，String是Object的子类，String实例是可以添加到Object的集合中的：

// Java voidcopyAll(Collection<Object> to, Collection<String> from) {   to.addAll(from); // !!! Would not compilewith the naive declaration of addAll:                //Collection<String> is not a subtype ofCollection<Object> }

 

         为了解决上面的问题，Java中使用了类型通配符方式，如“ ? extends T”表示T 及T的子类参数都可以使用，实现如下：