NX Java开发06：泛型详解

脑中要构想出连贯的动画，一切都是以这个动画为基础的；然后给别人讲明白

泛型

• 理解： 其本质是 参数化类型，也就是说所操作的数据类型被指定为一个参数（type parameter）这种参数类型可以用在类、接口和方法的创建中，分别称为 泛型类、泛型接口、泛型方法。
• 泛型类、泛型接口demo演示；注意：静态方法上不能直接使用类上定义的泛型；静态方法中可以使用方法上定义的泛型

public class GenricMethod<K,V> {
    /**
     * 1、实体方法使用类上定义的泛型
     * @param k
     * @param v
     * @return
     */
    public K method1(K k,V v){
        return null;
    }

    public <T> T method02(){ //2、方法上定义泛型
        return null;
    }


    /**
     * 静态方法中不能直接使用类上定义的泛型
     * 静态方法中可以使用方法上定义的泛型
     * @return
     */
//    public static V method03(){
//        return null;
//    }

    public static <P> P method04(){
        return null;
    }

}

• 泛型接口，可以参照mybatis-plus的BaseService和BaseMapper的实现

public interface CalGenneric <T>{

    T add(T a,T b);
    T sub(T a,T b);
    T mul(T a,T b);
    T div(T a,T b);
}
public class DoubleCalc<Double> implements CalGenneric<Double>{
    @Override
    public Double add(Double a, Double b) {
        return null;
    }

    @Override
    public Double sub(Double a, Double b) {
        return null;
    }

    @Override
    public Double mul(Double a, Double b) {
        return null;
    }

    @Override
    public Double div(Double a, Double b) {
        return null;
    }
}

public class IntCal implements Cal {

    @Override
    public int add(int a, int b) {
        return 0;
    }

    public double add(double a, double b) {
        return 0;
    }

    @Override
    public int sub(int a, int b) {
        return 0;
    }

    @Override
    public int mul(int a, int b) {
        return 0;
    }

    @Override
    public int div(int a, int b) {
        return 0;
    }
}

• 泛型的通配符：
  

1. 无界通配符 ？ 【相当于Object】
2. 上界通配符 ？extends Number 【只能比Number小的】
3. 下界通配符 ？ super Integer 【只能比Integer大的】

• 泛型的作用：Java泛型保障了类型的安全；避免了类型转换逻辑；提高代码的重用率；
• 伪泛型，Java编译期间会将泛型擦除
• 堆污染：当一个可变泛型的参数指向了一个无泛型参数可能发生的现象叫堆污染。
  java泛型详解(接口与方法、通配符、堆污染、多态—含代码！)
• 泛型桥接（编译看左边，运行看右边）

public interface SuperClass<T> {
    T m01(T param);
}
public class SubClass implements SuperClass<String> {
    @Override
    public String m01(String param) {
        return param + "---";
    }
}
public class BridgeMethosTest {
    public static void main(String[] args) {
        SuperClass subClass = new SubClass(); // 多态

        System.out.println(subClass.m01("123abc"));
        System.out.println(subClass.m01(new Object())); //mo1(object)
    }
}



   使用javap -v SubClass.class 查看字节码文件，会看到子类中的方法m01存在两个，如下图，一个形参是String类型，另一个是Object类型。object的方法 flags: ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC，此处是编译器自动生成的方法。 整个流程大概是对象调用泛型Object形参的方法，object的m01方法又调用了String的方法导致报错。【 5: invokevirtual #8 // Method m01:(Ljava/lang/String;)Ljava/lang/String;】