泛型编程

Myth丶恋晨 2022-01-14 21:29 181阅读 0赞

[2019独角兽企业重金招聘Python工程师标准>>> ][2019_Python_] ![hot3.png][]

要点：

*  　　泛型类是带有一个或多个类型参数的类
 *  　　泛型方法是带有类型参数的方法
 *  　　可以要求类型参数必须是一个或者多个类型的子类型
 *  　　泛型类型是不变得：当S是T的子类型是，G<S>和G<T>没有关系
 *  　　通过使用通配符G<? extends T>或者 G<? super T>,你可以指定一个方法接受一个带子类或父类参数的泛型类型的实例
 *  　　当泛型类和方法被编译时，类型参数会被擦除
 *  　　类型擦除对泛型有诸多限制。特别是，不能实例化泛型类或数组。不能转换成泛型类型，或者抛出一个泛型类型对象。
 *  　　即使泛型类和方法在虚拟机中被擦除，你也可以在运行时找出他们是如何声明的。

1、泛型类

※类型参数不能用基本类型实例化。例如Entry<String, int>在Java中是无效的。

当构造一个泛型类对象时，可以在构造函数中省略类型参数。

1 Entry<String, Integer> entry = new Entry<>("1",1)；

2、泛型方法

当声明一个反洗方法时，类型参数要放在修饰符之后，返回类型之前。当调用时，不要指定类型参数。它可以从方法的参数和返回类型中推断出来。

也可以在调用时候显示的写出来

1 public static <T> void swap(T[] array, int i, int j);
    2 Arrays.<String>swap(friends,0,1);

3、类型限定

泛型类或方法的类型参数需要满足某些要求，或者是需要**能够调用一些通用的方法**。可以对类型做出限定。

T extends AutoCloseable

类型参数可以有多个限定： 　T extends Runnable & AutoCloseable

※可以有多个接口限定，但最多只能有一个是类。如果有一个限定是类，则它必须放在限定列表的第一位。

子类通配符：? extends Employee　　代表任意一个Employee的子类型

父类通配符：? super Employee　　代表Employee的一个父类型 （经常用作函数式对象的参数）

一些程序员喜欢用通配的"PECS"助记码：生产者用extends，消费者用super，从List读用extends,赋值用super

4、通配符捕获

1 public static void swap(ArrayList<?> elements, int i,int j){
    2     ? temp = elements.get(i); //不可行
    3     ...
    4 }

可以将？当做一个类型参数，但不能用作一个类型。但是可以用通配符捕获规则绕过他

public static void swap(ArrayList<?> elements, int i,int j){
        swapHelper(elements, i, j);
    }
    
    private static<T> void swapHelper(ArrayList<T> elements, int i,int j){
        T temp = elements.get(i);
        elements.set(i, elements.get(j));
        elements.set(j, temp);
    }

编译器不知道？是什么，但知道它代表着某种类型，所以能调用一个泛型方法。方法的类型参数T捕获了通配符类型，这样用户就看见了一个容易理解的ArrayList<?>，而不是一个泛型方法。

5、泛型擦除

在java虚拟机中泛型类型会被擦除，它会被编译成一个原始类型。一般的T编译成Object。

如果泛型有限定，他就会被第一个限定所替代。

public class Entry<K extends Comparable<? super K> & Serializable>,V extends Serializable>
    //擦除后
    public class Entry{
      private Comparable key;
      private Serializable value;    
    }

6、桥方法

当使用泛型时，如果定义了与基类相同的方法，编译器会自动添加一个桥方法来调用自定义的方法P216，桥方法不仅用于泛型类型，也用在实现协变的返回类型。

7、泛型的约束

1、无基本类型参数，泛型必须使用对象类型，这样为了处理Integer会出现大量的函数式接口

2、所有类型在运行时都是原始的，需要做类型转换。

getClass方法总是返回一个原始类型。ArrayList<String>,list.getClass()返回的是ArrayList.class。不存在ArrayList<String>.class

在类名称中也不能有类型变量。没有T.class、T\[\].class或者ArrayList<T>.class

3、不能实例化类型变量

不能new T()或者new T\[..\]

public static <T>T[] repeat(in n,T obj){
         T[] result = new T[n];//错误，不能用new[...]构造一个数组
     }

为了解决这个问题，让调用者以引用的方式提供数组的构造函数

String[] greetings = Arrays.repeat(10,"Hi",String[]::new);

4、不能构造参数化类型的数组

5、静态上下文中的类类型变量不是有效的，不能再静态变量或者静态方法中使用类型变量K和V

6、类型擦除后的方法可能冲突

public interface Ordered<T> extends Comparable<T>{
        public default boolean equals(T value){
            //错误,擦除后与Object.equals冲突
            ...
        }
    }
    
    public class Employee implements Comparable<Employee>{
    }
    public class Manager extends Employee implements Comparable<Manager>{}
    //这里有几个方法
    public int comparaTo(Employee other)
    public int compareTo(Manager other)
    //但是，桥方法冲突
    public int comparaTo(Object other)

8、虚拟机中的泛型类型信息

使用TypeVariable<D>接口时泛型的，类型参数是Class<T>、Method或者Constructor<T>

//获取ArrayList类的类型变量
    TypeVariable<Class<ArrayList>>[] vars = ArrayList.class.getTypeParameters();
    String name = vars[0].getName();
    
    //获得Method总的泛型类型
    Method m = Collections.class.getMethod(""， List.class);
    TypeVariable<Method>[] vars = m.getTypeParameters();
    String name = vars[0].getName();

关键点是泛型类和泛型方法的声明没有被擦除，并且你可以通过反射访问他们。

转载于:https://my.oschina.net/gavinjin/blog/3014038

[2019_Python_]: https://my.oschina.net/u/2663968/blog/3061697
[hot3.png]: /images/20220114/cab3a526b28d423dab84b527b7e63ed8.png