介绍
什么是泛型?
从Java5开始,泛型(generic)已经成为Java编程语言的一部分。在没有泛型之前,从集合中读到的每一个对象都必须进行转换。如果有人不小心插入了类型错误的对象。在运行时的转换处理就会出错。有了泛型之后,你可以告诉编译器每个集合中接受哪些类型的对象。编译器自动为你的插入进行转换,并在编译时告知是否插入类型错误的对象。这样可以更加安全,也更加清楚。
有什么优点?
- 类型检查,提高程序安全性
- 泛化,提高程序通用性
- 消除强制类型转化
什么是通配符?
通配符是用来解决泛型无法协变的问题的。
协变指的就是如果 Student 是 Person 的子类,那么 List 也应该是 List 的子类。但是泛型是不支持这样的父子类关系的。
举个例子如下:
List cats = new LinkedList<>();
// 下面编译器报错
List animals = cats;
使用
/**
* 泛型和通配符
*
* 定义泛型类,在类后面加<T>,T是类型参数
*/
public class GenericClass<T> {
/**
* 输入参数,返回参数都可以指定类型为T
*
* @param genericClass T
* @return T
*/
public T getClass(T genericClass) {
return genericClass;
}
/**
* <E> 指定泛型方法
*
* @param genericClass E
* @return E
*/
public <E> E getMethod(E genericClass) {
return genericClass;
}
/**
* 通配符类必须是DemoEntity,或者它的子类
*
* @param list 通配符类数组
*/
public void getExtendsWildcard(List<? extends DemoEntity> list) {
//do something
}
/**
* 通配符类必须是DemoEntity,或者它的父类
*
* @param list 通配符类数组
*/
public void getSuperWildcard(List<? super DemoEntity> list) {
//do something
}
}
编码技巧
利用泛型,提高接口方法的扩展能力
假如要实现一个场景:宠物主人带着宠物出门玩耍。那我们怎么去实现一个扩展性强的接口呢?
优点:
1.泛化Pet
宠物抽象类,约定接口类型
2.接口方法通过泛型 T extend Pet
约定接口参数继承Pet
3.接口实现类,可自定义Pet子类扩展,提升程序扩展能力
看下面代码:
1、定义一个宠物抽象类
/**
* 宠物
*
* @author: Mock
* @date: 2023-05-28 09:00:51
*/
public abstract class Pet {
}
2、定义一个宠物主人接口
/**
* 宠物主人
*
* @author: Mock
* @date: 2023-05-28 09:01:45
*/
public interface Master<T extends Pet> {
/**
* 宠物主人陪伴宠物玩耍
*
* @param pet 宠物
*/
void playWith(T pet);
}
3、定义宠物狗类
继承宠物抽象类
/**
* 宠物狗
*
* @author: Mock
* @date: 2023-05-28 09:04:05
*/
public class DogPet extends Pet{
void play(){
System.out.println("宠物狗子在玩耍~");
}
}
定义宠物主人mock
实现宠物主人接口
/**
* 主人`mock`
* 这里是关键点,泛型可以指定为`Pet`类的子类`DogPet`,大大提升程序的扩展能力
*
* @author: Mock
* @date: 2023-05-28 09:05:10
*/
public class MockMaster implements Master<DogPet> {
@Override
public void playWith(DogPet pet) {
System.out.println("`mock`带着宠物狗出门了~");
pet.play();
}
//测试执行
public static void main(String[] args) {
MockMaster mock = new MockMaster();
DogPet dog = new DogPet();
//mock 带着宠物狗出门玩了
mock.playWith(dog);
}
}
执行结果