《关于java中泛型这档事》

泛型

什么是泛型或者说泛型存在的目的是什么：
泛型让方法可支持更多的类型，同时严格遵守数据类型一致化。就是将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型。即把类型明确的工作推到创建对象或调用方法时明确。
泛型目的：
1.解决类型转换问题（编译阶段执行）
2.更强的程序可读性
3.更强的安全性（报错在编译阶段之前）

泛型的使用

• List item
• 在调用泛型方法的时候，可以指定泛型类型，也可以不指定。
• 在不指定泛型类型的情况下，泛型类型（自动）为该方法中的几种参数类型的共同父类的最小级（朝上），直到Object。
• 在指定泛型类型的时候，该方法中的所有参数类型必须是该泛型类型或者其子类（朝下）。

在类中使用

格式：
class 类名<泛型> {
成员变量 成员方法 可以在不定义泛型时使用类声明的泛型
}

class Type<T> {
    
    public void test(T t) {
        // 获取当前参数的具体数据类型， 展示效果为完整的【包名.类名】
        System.out.println(t.getClass());
    }
}
public class Example { 
    public static void main(String[] args) {
    // 当前Type对象 t1 泛型对应具体数据类型为String类型
    Type<String> t1 = new Type<String>();
    t1.test("卤煮火烧+螺蛳粉+臭豆腐+臭鳜鱼");
    Type<Integer> t2 = new Type<Integer>();
    t2.test(10);
    }  
}

结果：

class java.lang.String
class java.lang.Integer

在方法中使用

格式：
权限修饰符 是否静态 <泛型> 返回值类型 方法名(形式参数列表）{（自己声明）}
要求：

• 使用泛型的方法，形式参数列表中必须有一个参数对应当前泛型。
• 返回值类型可以使用泛型
• 方法中具体数据类型由泛型参数来约束，一旦确定无法更改。

public class Example {
    public static void main(String[] args) {
        Integer[] arr1 = {1};
        String[] arr2 = {"萌王", "异度侵入", "咒术回战"};
        Float[] arr3 = {1.4F};

        example.printArray(arr1);//静态成员方法使用类名调用
        System.out.println("--------------------------");
        printArray(arr2);//在同一个类中可以省略类名调用的过程默认使用
        System.out.println("--------------------------");
        printArray(arr3);
    }

    /**
     * 展示任意类型数组内容
     *
     * @param <T> 自定义泛型占位符
     * @param arr 需要展示的数组类型
     */

    public static <T> void printArray(T[] arr) {
        for (int i = 0; i < arr.length; i++) {
            System.out.println(arr[i]);
        }
    }
}

结果：

1
--------------------------
萌王
异度侵入
咒术回战
--------------------------
1.4

在接口中使用

格式：
与类相同
要求：
成员变量无法使用接口声明的泛型，原因（缺省PSF）final要求定义时初始化，且确定后无法更改。泛型在没有具体数据类型时，无法明确类型。
类遵从带泛型的接口时：

1.自由模式：
使用不直接明确数据类型的泛型（与接口声明的泛型相同）

2.约束模式：
使用直接明确约束的数据类型的泛型

泛型特点：

个人理解：
java中泛型为伪泛型（不能创建新的类型供使用），在文件编译时会将声明的泛型擦除，将类型转为共通型。提供给程序员更高的可读性（由于某些可以存放多种数据类型的存在）安全性（在运行前的编译阶段报错（写代码时报错提示））即防止运行时出错，提前规避。
共通型：在不指定泛型类型的情况下，泛型类型（自动）为该方法中的几种参数类型的共同父类的最小级（朝上），直到Object。