泛型及其相关知识

为什么用泛型

泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。

jdk5之后才有的

早期的Object类型可以接收任意的对象类型，但是在实际的使用中会有类型转换的问题。也就存在这隐患，所以Java提供了泛型来解决这个安全问题。

参数化类型，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式，然后在使用/调用时传入具体的类型。

泛型类

泛型类型用于类的定义中，被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。

一个最普通的泛型类：

public class Demo<T>{ / /T可以为任意标识符，常见的如T、E、K、V等形式的参数常用于表示泛型
        private T key; / /key这个成员变量的类型为T,T的类型由外部指定
        public Demo(T key) { / /泛型构造方法形参key的类型也为T，T的类型由外部指定
        this.key = key;
        }
public T getKey(){ / /泛型方法getKey的返回值类型为T，T的类型由外部指定
        return key;
        }
}

传入的实参类型需与泛型的类型参数类型相同，即为Integer.

        Demo<Integer> demo = new Demo<Integer>(123456);

1.泛型的类型参数只能是类类型

2.泛型的类型参数可以有多个

3.如果没有定义具体类型,默认为Object

从泛型类派生子类

子类也是泛型类，子类和父类的泛型类型要一致

        class A<T> extends Demo<T>

子类不是泛型类，父类要明确泛型的数据类型

        class A extends Demo<String>

泛型接口

泛型接口与泛型类的定义及使用基本相同。

        public interface Demo<T> { //定义一个泛型接口 }

子类也是泛型类，子类和父类的泛型类型要一致

        class A<T> implements Demo<T>{ }

子类不是泛型类，父类要明确泛型的数据类型

        public class A implements Demo<String> { }

泛型通配符

类型通配符上限

类 / 接口 < ？ extends 实参类型 >

        要求该泛型的类型，只能是实参类型，或实参类型的子类类型。

类型通配符下限

类 / 接口 < ？ super 实参类型 >

        要求该泛型的类型，只能是实参类型，或实参类型的父类类型。

类型擦除

泛型是Java 1.5版本才引进的概念，在这之前是没有泛型的，但是，泛型代码能够很好地和之前版本的代码兼容。那是因为，泛到信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉，我们称之为一类型擦除。泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型.

案例:

public class Demo<T>{
    T name;
public Demo(T name) {
    this.name= name; 
    }
}