泛型:是JDK5中引入的特性,它提供了编译时类型安全检测机制,该机制允许在编译时检测到非法的类型
它的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数
一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。那么参数化类型怎么理解呢?
顾名思义,就是将类型由原来的具体的类型参数化,然后在使用/调用时传入具体的类型
这种参数类型可以用在类、方法和接口中,分别被称为泛型类、泛型方法、泛型接口
泛型定义格式:
泛型的好处:
泛型类的定义格式
格式:修饰符 class 类名<类型>{}
范例:public class Generic{}
此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型
Generic
public class Generic<T>{
private T t;
public Generic() {
}
public Generic(T t) {
this.t = t;
}
public T getT() {
return t;
}
public void setT(T t) {
this.t = t;
}
}
Test
public class Test {
public static void main(String[] args) {
Generic<String> generic = new Generic<String>();
generic.setT("feifeifei");
System.out.println(generic.getT());
Generic<Integer> generic2 = new Generic<Integer>();
generic2.setT(111);
System.out.println(generic2.getT());
Generic<Boolean> generic3 = new Generic<Boolean>();
generic3.setT(true);
System.out.println(generic3.getT());
}
}
结果
feifeifei
111
true
泛型方法的定义格式:
Generic
public class Generic {
public <T> void show(T t){
System.out.println(t);
}
}
Test
public class Test {
public static void main(String[] args) {
Generic g1 = new Generic();
g1.show(111);
g1.show("feifeifei");
g1.show(true);
g1.show(2.1314);
}
}
结果
111
feifeifei
true
2.1314
泛型接口的定义格式:
Generic接口
public interface Generic<T> {
public abstract void show(T t);
}
接口实现类
public class GenericImpl<T> implements Generic<T> {
@Override
public void show(T t) {
System.out.println(t);
}
}
Test
public class Test {
public static void main(String[] args) {
Generic<String> g1 = new GenericImpl<String>();
g1.show("feifeifei");
Generic<Integer> g2 = new GenericImpl<Integer>();
g2.show(121);
}
}
结果
feifeifei
121
为了表示各种泛型List的父类,可以使用类型通配符
//类型通配符:>
List<?> list1 = new ArrayList<Object>();
List<?> list2 = new ArrayList<Number>();
List<?> list3 = new ArrayList<Integer>();
如果说我们不希望List>是任何泛型List的父类,只希望它代表某一类泛型List的父类,可以使用类型通配符的上限
//类型通配符上限: entends 类型>
//List extends Number> list4 = new ArrayList
List<? extends Number> list5 = new ArrayList<Number>();
List<? extends Number> list6 = new ArrayList<Integer>();
除了可以指定类型通配符的上限,我们也可以指定类型通配符的下限
//类型通配符下限: super 类型>
List<? super Number> list7 = new ArrayList<Object>();
List<? super Number> list8 = new ArrayList<Number>();
//List super Number> list9 = new ArrayList(); //错误
可变参数又称为参数个数可变,用作方法的形参出现,那么方法参数个数就是可变的了
可变参数注意事项