一、泛型的基本概念
泛型是JDK5.0以后增加的新特性。
泛型的本质就是“数据类型的参数化”,处理的数据类型不是固定的,而是可以作为参数传入。我们可以把“泛型”理解为数据类型的一个占位符(类似:形式参数),即告诉编译器,在调用泛型时必须传入实际类型
参数化类型,白话说就是:
- 把类型当作是参数一样传递。
- <数据类型> 只能是引用类型。
1. 泛型的好处
在不使用泛型的情况下,我们可以使用Object类型来实现任意的参数类型,但是在使用时需要我们强制进行类型转换。这就要求程序员明确知道实际类型,不然可能引起类型转换错误;但是,在编译期我们无法识别这种错误,只能在运行期发现这种错误。使用泛型的好处就是可以在编译期就识别出这种错误,有了更好的安全性;同时,所有类型转换由编译器完成,在程序员看来都是自动转换的,提高了代码的可读性。
总结一下,就是使用泛型主要是两个好处:
1 代码可读性更好【不用强制转换】
2 程序更加安全【只要编译时期没有警告,运行时期就不会出现ClassCastException异常】
2. 类型擦除
编码时采用泛型写的类型参数,编译器会在编译时去掉,这称之为“类型擦除”。
泛型主要用于编译阶段,编译后生成的字节码class文件不包含泛型中的类型信息,涉及类型转换仍然是普通的强制类型转换。类型参数在编译后会被替换成Object,运行时虚拟机并不知道泛型。泛型主要是方便了程序员的代码编写,以及更好的安全性检测。
二、泛型类
2.1 泛型标记
定义泛型时,一般采用几个标记:E、T、K、V、N、?。他们约定俗称的含义如下:
泛型标记 | 对应单词 | 说明 |
---|---|---|
E | Element | 在容器中使用,表示容器中的元素 |
T | Type | 表示普通的JAVA类 |
K | Key | 表示键,例如:Map中的键Key |
V | Value | 表示值 |
N | Number | 表示数值类型 |
? | 表示不确定的JAVA类型 |
2.2 泛型类的语法结构
public class 类名<泛型标识符号> {
}
public class 类名<泛型标识符号,泛型标识符号> {
}
示例
public class Generic<T> {
private T flag;
public void setFlag(T flag){
this.flag = flag;
}
public T getFlag(){
return this.flag;
}
}
public class Pair<T, U> {
private T first;
private U second;
public Pair(T first, U second) {
this.first = first;
this.second = second;
}
public T getFirst() {
return first;
}
public U getSecond() {
return second;
}
public void setFirst(T first) {
this.first = first;
}
public void setSecond(U second) {
this.second = second;
}
}
三、泛型接口
3.1 泛型接口的语法结构
public interface 接口名<泛型标识符号> {
}
public interface 接口名<泛型标识符号,泛型标识符号>
{
}
示例
public interface IGeneric<T> {
T getName(T name);
}
- 在实现接口时传递具体数据类型
public class IgenericImpl implements Igeneric<String> {
@Override
public String getName(String name) {
return name;
}
}
- 在实现接口时仍然使用泛型作为数据类型
public class IGenericImpl2<T> implements IGeneric<T>{
@Override
public T getName(T name) {
return name;
}
}
四、泛型方法
类上定义的泛型,在方法中也可以使用。但是,我们经常需要仅仅
在某一个方法上使用泛型,这时候可以使用泛型方法。
调用泛型方法时,不需要像泛型类那样告诉编译器是什么类型,编
译器可以自动推断出类型
4.1 非静态泛型方法的语法结构
//无返回值方法
public <泛型标识符号> void getName(泛型标识符号 name){
}
//有返回值方法
public <泛型标识符号> 泛型标识符号 getName(泛型标识符号 name){
}
示例
public class MethodGeneric {
public <T> void setName(T name){
System.out.println(name);
}
public <T> T getAge(T age){
return age;
}
}
4.2 静态泛型方法的语法结构
//无返回值静态方法
public static <泛型标识符号> void setName(泛型标识符号 name){
}
//有返回值静态方法
public static <泛型标识符号> 泛型表示符号 getName(泛型标识符号 name){
}
示例
public class MethodGeneric {
public static <T> void setFlag(T flag){
System.out.println(flag);
}
public static <T> T getFlag(T flag){
return flag;
}
}
4.3 泛型方法与可变参数
4.3.1 语法结构
public <泛型标识符号> void showMsg(泛型标识符号... agrs){
}
示例
public class MethodGeneric {
public <T> void method(T...args){
for(T t:args){
System.out.println(t);
}
}
}
五、泛型中的通配符
5.1 无界通配符
“?”表示类型通配符,用于代替具体的类型。它只能在“<>”中使用。可以解决当具体类型不确定的问题。
5.1.1 无界通配符的语法结构
public void showFlag(Generic<?> generic){
}
5.2 通配符的上限限定
对通配符的上限的限定:<? extends 类型>
?实际类型可以是上限限定中所约定的类型,也可以是约定类型的
子类型;
5.2.1 通配符上限限定的语法结构
public void showFlag(Generic<? extends Number> generic){
}
5.3 通配符的下限限定
对通配符的下限的限定:<? super 类型>
?实际类型可以是下限限定中所约定的类型,也可以是约定类型的
父类型;
5.3.1 通配符下限限定的语法结构
public void showFlag(Generic<? super Integer> generic){
}
六、泛型局限性和常见错误
泛型主要用于编译阶段,编译后生成的字节码class文件不包含泛型中的类型信息。 类型参数在编译后会被替换成Object,运行时虚拟机并不知道泛型。因此,使用泛型时,如下几种情况是错误的:
- 基本类型不能用于泛型
Test<int> t;
这样写法是错误,我们可以使用对应的包装类
Test<Integer> t ;
- 不能通过类型参数创建对象
T elm = new T();
运行时类型参数T
会被替换成Object
,无法创建T类型的对象,容易引起误解,java干脆禁止这种写法。