![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/c2c8d2a58b642d5035d53a41f8bb7464.gif#pic_center)
泛型
泛型的概述
- 泛型:是JDK5中引入的特性,它提供了编译的安全类型机制,该机制允许在编译时检测错误
- 本质:参数化类型,即所操作的数据类型被制定一个参数
- 适用范围:可以在类,方法和接口中
- 泛型定义格式:
- <类型>:指定一种类型的格式。这里的类型可以看成是形参
- <类型1,类型2…>:指定多种类型的格式,用逗号隔开,这里的类型可以看做是形参
- 将来具体调用时候给定的类型可以看做是形参,并且实参的类型只能是引用数据类型
- 泛型的特点:
- 把运行时的问题提前到了编译时间
- 避免了强制类型的转换
public static void main(String[] args) {
/*Collection collection=new ArrayList();*/
Collection<Integer> collection = new ArrayList<Integer>();
/*collection.add("hello");
collection.add("java"); //编译时即报错
collection.add("world");*/
collection.add(19);//ClassCastException
/*Iterator it = collection.iterator();*/
Iterator<Integer> it = collection.iterator();
while (it.hasNext()) {
/*Object o = it.next();
System.out.println(o);*/
/*String s = (String) it.next();*/
Integer s = it.next();
System.out.println(s);
}
}
泛型类
泛型类的定义格式:
- 格式:修饰符 class 类名<类型>{ }
- 范例:public class Generic{ }
- T:可随便写为任意标识,如T,E,K,V等形式参数用于表示泛型
public class Generic<T> {
private T t;
public void setT(T t) {
this.t = t;
}
public T getT() {
return t;
}
}
public static void main(String[] args) {
Generic<String> g1 = new Generic<>();
g1.setT("张良");
Generic<Integer> g2 = new Generic<>();
g2.setT(19);
System.out.println(g1.getT()+","+g2.getT());
}
泛型方法
泛型方法的定义格式:
- 格式:修饰符 <类型>返回值类型 方法名(类型 变量名){}
- 范例:public void show(T t){ }
public static void main(String[] args) {
Generic g = new Generic();
g.show("张居正");
g.show(25);
g.show(true);
}
public class Generic<T> {
public <T> void show(T t){
System.out.println(t);
}
}
泛型接口
泛型接口的定义格式:
- 格式:修饰符 interface 接口名<类型>{ }
- 范例:public interfaceGeneric{ }
public interface Generic1<T> {
void show(T t);
}
public class GenericImp<T> implements Generic1<T> {
@Override
public void show( T t) {
System.out.println(t);
}
}
public static void main(String[] args) {
Generic1 g = new GenericImp();
g.show("张良");
g.show(19);
}
类型通配符
作用:为了表示各种泛型List的父类,可以使用类型通配符
- 类型通配符:<?>
- List<?>:表示元素类型未知的List,它的元素可以匹配任何类型
- 这种带有通配符的List仅表示它是各种元素的父类,并不能把元素添加到其中
可以通过类型通配符的上限/下限将List<?>只代表某一类型的父类
- 类型通配符上限:<? extends 类型>
- List<? extends Number>:表示的类型是Number或者其子类型
- 类型通配符下限:<? super 类型>
- List<? super Number>:它表示的类型是Number或者其父类型
可变参数
可变参数又称参数可变,用作方法的形参出现,那么方法的个数就是可变的了
- 格式:修饰符 返回值类型 方法名(数据类型… 变量名)
- 范例:public static int sum(int… a){ }
注意事项:
- 如果一个方法有多个参数,包含可变参数,可变参数放在最后
- 这里的变量其实是一个数组
可变参数的使用