理解泛型

Posted 2021-09-28 zeronlee

• 为什么要用泛型？

  • 别让猫别站在狗队里

  • Demo

          // 下列的添加方法完全没问题
          list.add("one");
          list.add(1);
         ​
          // 取的时候, 如果你小心的,也没问题
          // 需要强转, 内部是以Object引用来存放
          String s = (String) list.get(0);
          int    i = (int) list.get(1);
         ​
          // 但是如果, 不小心在获取时 类型判断出错的话
          for (int index = 0; index < list.size(); index++) {
          String str = (String) list.get(index);
          // index = 1时, 抛出java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
          }

• 泛型的分类

  • 泛型类

    •   private T obj;
        public Holder(T t) {
        obj = t;
        }
        public void put(T t) {
        obj = t;
        }
        public T get() {
        return obj;
        }
       }

  • 泛型接口

  • 泛型方法

    •  public class Normal {
        // 成员泛型方法
        public <E> String getString(E e) {
        return e.toString();
        }
        // 静态泛型方法
        public static <V> void printString(V v) {
        System.out.println(v.toString());
        }
       }
       // 泛型类中的泛型方法
       public class Generics<T> {
        // 成员泛型方法
        public <E> String getString(E e) {
        return e.toString();
        }
        // 静态泛型方法
        public static <V> void printString(V v) {
        System.out.println(v.toString());
        }
       }

• 泛型的做用

  • 能够对类型进行限定
  • 在编译期对类型进行检查,编译时报错
  • 对于获取明确的限定类型,无需进行强制类型转化
  • 具有良好的可读性和安全性

• 通配符

  • 协变和逆变

    •  f(⋅)是逆变（contravariant）的，当A≤B时有f(B)≤f(A)成立；
       f(⋅)是协变（covariant）的，当A≤B时有f(A)≤f(B)成立；

  • 上界通配符 —— 协变

    • <? extends>

  • 下界通配符 —— 逆变

    • <? super>

• 注意点

  • 泛型类中静态方法不能使用泛型参数
  • 泛型接口中不能使用类型参数作为成员变量

• 实现原理即类型擦除

  • 泛型只是给编译器用来检查类型的

• 参考

  • java泛型深度解读
  • Java中的逆变与协变
  • java泛型 通配符详解及实践
  • Java 泛型 T，E，K，V，?，傻傻分不清？