Java 泛型

1.什么是泛型

Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。

泛型的本质 是参数化类型，即给类型指定一个参数，然后在使用时再指定此参数具体的值，那样这个类型就可以在使用时决定了。这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。

2.为什么使用泛型

1）保证了类型的安全性

2） 消除强制转换

3）避免了不必要的装箱、拆箱操作，提高程序的性能

4）提高了代码的重用性

3.如何使用泛型

泛型有三种使用方式，分别为：泛型类、泛型接口和泛型方法。

泛型类：把泛型定义在类上

public class GirlFriend<T,U>implements TInterface<String>{
    //姓名
    T name;
    //年龄
    U age;

    public GirlFriend(T name, U age) {
        this.name = name;
        this.age = age;
    }

    public T getName() {
        return name;
    }

    public void setName(T name) {
        this.name = name;
    }

    public U getAge() {
        return age;
    }

    public void setAge(U age) {
        this.age = age;
    }

    @Override
    public void show(String s) {
        System.out.println(s);
    }
}

 泛型接口

public interface TInterface<T> {
    void show(T t);
}

泛型方法

public <S> S getName(S s){
        return s;
    }

 

方法声明中定义的形参只能在该方法里使用，而接口、类声明中定义的类型形参则可以在整个接口、类中使用。

使用

GirlFriend<String,Integer> girlFriend = new GirlFriend<>("xiaowang",30);
girlFriend.show("今天我们结婚");

4.泛型通配符

1：表示类型参数可以是任何类型
 public class Apple<?>{} 
 
2：表示类型参数必须是A或者是A的子类
 public class Apple<T extends A>{} 
 
3: 表示类型参数必须是A或者是A的超类型
 public class Apple<T supers A>{}

泛型本质是将数据类型参数化，它通过擦除的方式来实现，即编译器会在编译期间「擦除」泛型语法并相应的做出一些类型转换动作。

大部分情况下，泛型类型都会以 Object 进行替换，而有一种情况则不是。那就是使用到了extends和super语法的有界类型，