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语法的有界类型,