Java 深入学习（29） —— 泛型基础

0 简介

---

泛型技术在 C# 和 Java 之中的使用方式看似相同，但实现上却有着根本性的分歧。

C#里面泛型无论在程序源码中、编译后的IL中（Intermediate Language，中间语言，这时候泛型是一个占位符）或是运行期的CLR中都是切实存在的，List<int>与List<String>就是两个不同的类型，它们在系统运行期生成，有自己的虚方法表和类型数据，这种实现称为类型膨胀，基于这种方法实现的泛型被称为真实泛型。

Java语言中的泛型则不一样，它只在程序源码中存在，在编译后的字节码文件中，就已经被替换为原来的原始类型（Raw Type，也称为裸类型）了，并且在相应的地方插入了强制转型代码，因此对于运行期的Java语言来说，ArrayList<int>与ArrayList<String>就是同一个类。所以说泛型技术实际上是Java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型被称为伪泛型。（类型擦除在后面在学习）

---

泛型实现了参数化类型的概念，使代码可以应用于多种类型。

“泛型”——适用于许多许多的类型。

最初的目的：希望类或方法能够具有最广泛的表达能力。

<T> 类型参数，用<>括住，放在类名后面。在使用这个类的时候，再用实际的类型替换此类型参数。其中T就是类型参数。

---

1 泛型接口

---

• 泛型接口实现方式 1：在实现类的定义上也声明泛型类型

package com.test.generics;

interface Info<T> {        // 在接口上定义泛型
    T getVar(); // 定义抽象方法，抽象方法的返回值就是泛型类型
}

class InfoImpl<T> implements Info<T> {   // 定义泛型接口的子类
    private T var;             // 定义属性

    public InfoImpl(T var) {     // 通过构造方法设置属性内容
        this.setVar(var);
    }

    public void setVar(T var) {
        this.var = var;
    }

    public T getVar() {
        return this.var;
    }
}

public class GenericsInterfaceDemo {
    public static void main(String args[]) {
        Info<String> i_1 = new InfoImpl<>("StringDemo"); // 声明接口对象并实例化
        System.out.println("StringDemo：" + i_1.getVar());
        Info<Integer> i_2 = new InfoImpl<>(1); // 声明接口对象并实例化
        System.out.println("IntegerDemo：" + i_2.getVar());
    }
}

---

• 泛型接口实现方式 2：在实现接口的时候指定其具体的参数类型

package com.test.generics;

interface Info<T> {        // 在接口上定义泛型
    T getVar(); // 定义抽象方法，抽象方法的返回值就是泛型类型
}

class InfoImpl implements Info<String> {   // 定义泛型接口的子类
    private String var;             // 定义属性

    public InfoImpl(String var) {     // 通过构造方法设置属性内容
        this.setVar(var);
    }

    public void setVar(String var) {
        this.var = var;
    }

    public String getVar() {
        return this.var;
    }
}

public class GenericsInterfaceDemo {
    public static void main(String args[]) {
        Info i_1 = new InfoImpl("StringDemo"); // 声明接口对象并实例化
        System.out.println("StringDemo：" + i_1.getVar());

    }
}

Java 泛型的一个局限性，基本类型无法作为类型参数。

---

2 泛型类

---

package com.test.generics;

class GenericsClass<T>{
    private T args_1;

    public GenericsClass(T args_1) {
        this.args_1 = args_1;
    }

    public void print_args_1(){
        System.out.println(args_1);
    }
}

public class GenericsClassDemo {
    public static void main(String[] args) {
        GenericsClass<String> stringGenericsClass = new GenericsClass<>("Hello");
        stringGenericsClass.print_args_1();

        GenericsClass<Integer> integerGenericsClass = new GenericsClass<>(2333);
        integerGenericsClass.print_args_1();
    }
}

---

3 泛型方法

---

是否拥有泛型方法，与其所在的类是否是泛型没有关系。

原则：无论何时，只要能够做到，就应该尽量使用泛型方法。如果使用泛型方法可以取代整个类泛型化，那么就应该只使用泛型方法。如果 static 方法需要使用泛型能力，就必须使其成为泛型方法。

---

注意：当使用泛型类的时候，必须在创建对象的时候指定类型参数的值。而使用泛型方法的时候，通常不必指明参数类型，因为编译器会为我们找出具体的类型。这成为类型参数推断（type argument inference）。

package com.test.generics;

class GenericsMethod{
    public <T> T print_hello_and_return_T(T args){
        System.out.println("hello "+ args);
        return args;
    }
}

public class GenericsMethodDemo {
    public static void main(String[] args) {
        GenericsMethod genericsMethod = new GenericsMethod();
        String return_str = genericsMethod.print_hello_and_return_T("world");
        System.out.println(return_str);
        System.out.println("-------------------------");

        GenericsMethod genericsMethod_1 = new GenericsMethod();
        genericsMethod_1.print_hello_and_return_T(2333);
    }
}

---

4 参考资料

1、《Java编程思想》

2、Java泛型总结——吃透泛型开发
http://www.imooc.com/article/18159

3、Java泛型详解
https://zhuanlan.zhihu.com/p/28242753

---