由Java泛型看Kotlin的泛型

参考链接：

• [1] . 《深入理解Java泛型》
• [2] . 《Kotlin 泛型》
• [3] . 《Kotlin中文文档》
• [4] . 《无界通配符》
• [5] . 《Kotin实战》泛型章节
• [6] . 《Effective Java》泛型章节

什么是泛型

泛型的目的是让我们写一套代码可以支持不同的数据类型,下面我们实现一个简单的集合。

class MyList{

    private int size;
    private Object[] elements = new Object[10];
    
    public void add(Object item) {
    	elements[size++]=item;
    }
    
    public Object get(int index) {
    	return elements[index];
    }
}

我们实现的集合可以添加任意类型的数据（因为Java中Object是所有类的超类）

MyList myList = new MyList();
myList.add("A");
myList.add(1);
System.out.println(myList.get(0));
System.out.println((String)myList.get(1));

但是这样的代码有着很大的缺陷，因为需要类型的强制转换，这种转换错误是在编译期间发现不了的，在Java 1.5之前是没有泛型的，就是这样做的。泛型同样可以实现这个需求，但是通过面向对象的多态特性避免了类型强转，而且在编译期间就能发现类型问题。

阅读更多