Java和Kotlin泛型总结

泛型

//此种写法不允许！！
//不允许将子类直接赋值给它的父类
//java不允许把一个子类的泛型对象，赋值给一个父类的泛型类型声明
List textViews = new ArrayList<>(TextView);

由于上方在java中不允许，所以在java中使用通配符？的解决方案

---

//可以通过？通配符实现上面的问题
List textViews = new Arraylist();
//使用时不能调用它的参数包含类型参数的方法
//类型参数为<>中的内容
//也不能给他的包含类型参数的字段赋值
//只能用不能修改
TextView textView = new TextView();
textViews.add(textView);    //这种写法会报错，不正确

以下View是TextView的父类，TextView继承于View

---

协变

使用场景：只能输出不能输入，只能读，不能写（covariant，协变）

public void printTexts(List textViews){
    for(TextView textView: textViews){
        System.out.println(textView.getText());
    }
}
...
List buttons = ...;
printTexts(buttons);

producer extends: list本身去生产，就是提供给别人用，（只能整体赋值，取出来用）

//也可以让变量或者参数的接受范围扩大，扩大方向与extends相反
//可以把父类的泛型对象，赋值给子类的泛型声明，（contravariant，逆变）
//使用变量的时候不能调用返回值包含类型参数的方法，也不能获得包含类型参数的字段值
List textViews = new ArrayList();

---

逆变

使用场景：只能输入不能输出，只能写，不能读 (contravariant, 逆变)

public void addTextView(List textViews){
    TextView textView = ...;
    textViews.add(textView);
}
...
List views = new ArrayList();
addTextView(views); //这样写会报错，不可以！！！
//如果将views传入下面方法就不会报错
public void addTextView(List textViews){
    TextView textView = ...;
    textViews.add(textView);
}

consumer super: list本身去消费，买来给自己用，自己保存内容 （不能整体的赋值，只能单独的添加）

---

java与kotlin中协变逆变的比较

//java写法
List textViews;
//kotlin写法
var textViews: List   //只能输出不能输入，只能读，不能写

//java写法
List textViews;
//kotlin写法
var textViews: List    //只能输入不能输出，只能写，不能读

//以上的java写法与kotlin写法是相等的
 等价于 
 等价于  

---

java中的可以用 替换，两者是相等的

kotlin中<*>与 是相等的

//以下两个是相等的
List objectList;
List objectList;
//相当于kotlin中的
var objectList: List<*>
var objectList: List

interface Counter{
    fun count():T
}
...
//Counter使用时，加星号相当于out Number由于上面声明的是
var counter: Counter<*> = ...   
var counter: Counter = ...

//java中
//类型声明时的上界 通过&符号设置多重上界
class Monster{
    ...
}
//kotlin中
//通过where关键字,设置多重上界
class Monster where T: Animal, T: Food{
    ...
}

---

java与kotlin中的对象比较（instanceof）的区别

java不可以比较泛型，kotlin可以比较，但是需要增加关键字

//java
 void printIfTypeMatch(Object item){
    //java中不允许直接比较泛型
    if(item instanceof T){
        System.out.println(item);
    }
}
//kotlin中通过reified关键字，可以实现泛型和对象的比较
//但是reified自身有个限制，只能用再inline函数上
inline fun  printIfTypeMatch(item: Any){
    if(item is T){
        println(item)
    }
}

---

类型擦除:

如在代码中定义List