一、简介
泛型
:是JDK5
中引入的特性,它提供了编译时类型安全检测机制,该机制允许在编译时检测到非法的类型,它的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。- 一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。那么参数化类型怎么理解呢?顾名思义,就是将类型由原来的具体的类型参数化,然后在使用/调用时传入具体的类型。
- 这种参数类型可以用在类、方法和接口中,分别被称为泛型类泛型方法、泛型接口。
泛型
定义格式:
<类型>
:指定一种类型的格式,这里的类型可以看成是形参。<类型1,类型2...>
:指定多种类型的格式,多种类型之间用逗号隔开,这里的类型可以看成是形参。- 将来具体调用时候给定的类型可以看成是实参,并且实参的类型只能是引用数据类型。
泛型
的好处:
- 把运行时期的问题提前到了编译期间
- 避免了强制类型转换
二、泛型类
泛型类
的定义格式:
- 格式:
修饰符 class 类名<类型> { }
- 范例:
public class Generic<T> { }
- 此处
T
可以随便写为任意标识,常见的如T、E、K、 V
等形式的参数常用于表示泛型。
- 定义一个公用泛型类
Generic.java
public class Generic<T> {
// 定义私有属性
private T t;
// 重写 get 方法
public T getT() {
return t;
}
// 重写 set 方法
public void setT(T t) {
this.t = t;
}
}
main
函数中使用,指定泛型为String
,在使用泛型类的时候,所有泛型指向的就是String
。
public class test {
public static void main(String[] args) {
// 新建对象
Generic<String> g1 = new Generic<String>();
// 使用 set 方法
g1.setT("dzm");
}
}
三、泛型方法
泛型方法
的定义格式:
- 格式:
修饰符 <类型> 返回值类型 方法名(类型量名){ }
- 范例:
public <T> void show(T t){ }
- 案例:
public class test {
public static void main(String[] args) {
// 使用泛型方法
DZMLog("dzm");
DZMLog(88);
DZMLog(true);
}
// 泛型方法
static <T> void DZMLog(T t) {
System.out.println(t);
}
}
输出:
dzm
88
true
四、泛型接口协议
泛型接口协议
的定义格式:
- 格式:
修饰符 interface 接口名<类型>{ }
- 范例:
public interface Generic<T>{ }
- 定义一个
Generic.java
接口协议
public interface Generic<T> {
// 接口方法定义
public default void show(T t) {
System.out.println(t);
}
}
- 定义一个
GenericPro.java
类去遵守Generic.java
接口协议
public class GenericPro<T> implements Generic<T> {
// 继承协议并实现协议方法
@Override
public void show(T t) {
// 实现协议方法
}
}
五、类型通配符
- 为了表示各种泛型
List
的父类,可以使用类型通配符
类型通配符
的定义格式:
- 类型通配符:
<?>
List<?>
:表示元素类型未知的List
,它的元素可以匹配任何的类型
。- 这种带通配符的
List
仅表示它是各种泛型List
的父类,并不能把元素添加到其中。
- 通配符的
上下限
:
- 如果说我们不希望
List<?>
是任何泛型List
的父类,只希望它代表某一类泛型List
的父类,可以使用类型通配符的上限。 类型通配符 - 上限
:<? extends 类型>
- 范例
List<? extends Number>
:它表示的类型是Number或者其子类型
,一定不能是父类型
。 类型通配符 - 下限
:<? super 类型>
- 范例
List<? super Number>
:它表示的类型是Number或者其父类型
,一定不能是子类型
。
- 案例:
import java.util.List;
import java.util.ArrayList;
public class test {
public static void main(String[] args) {
// 类型通配符: <?>
List<?> list1 = new ArrayList<String>();
List<?> list2 = new ArrayList<Number>();
List<?> list3 = new ArrayList<Integer>();
// 类型通配符 上线: <? extends 类型>
List<? extends Number> list5 = new ArrayList<String>(); // 这个会报错,因为 String 不属于 Number或者其子类型
List<? extends Number> list6 = new ArrayList<Number>();
List<? extends Number> list7 = new ArrayList<Integer>();
// 类型通配符 下线: <? super 类型>
List<? super Number> list5 = new ArrayList<String>(); // 这个会报错,因为 String 不属于 Number或者其父类型
List<? super Number> list6 = new ArrayList<Number>();
List<? super Number> list7 = new ArrayList<Integer>(); // 这个会报错,因为 Integer 不属于 Number或者其父类型
}
}