一、泛型
可以用<T>、<B,N>、<T extends User>等进行泛型的声明。其中<T extends User>的声明方式限定了T的范围,T只能为 User的子类。
1.参数类型用在类的创建中,泛型类。
2.参数类型用在接口的创建中,泛型接口。
3.参数类型用在方法的创建中,泛型方法。注意泛型<T>的声明位置,在方法的修饰符之后,返回值类型之前。
二、? 类型通配符
通配符的几种形式:
1.无限定通配符,<?>。
2.上限通配符,<? extends User>。表示参数类型只能是User的子类。
3.下限通配符,<? super User>。表示参数类型只能是User的父类。
public class P<T> {
private T t;
public T getT(){
return t;
}
//通配符
//设置指定类型的范围,超过范围就会报错
//extends : 指定范围必须是其(这里是List)子类
public void set(P<? extends List> list){
return;
}
//super : 指定类型必须是其(这里是List)父类
public void setSuper(P<? super List> list){
return;
}
public static void main(String[] args) {
new P<String>(); //T会被替换成String
new P<Integer>(); //T会被替换成Integer
Person<String,List,Double,User> person = new Person<String,List,Double,User>();//T会被替换成String,B会被替换成List...
person.eat("鱼");
}
}
class User<T extends P>{//这里给类的泛型指定范围,T必须要继承类P。
}
//一个类可以同时指定多个泛型
class Person<T,B,S,N>{
private T t;
private B b;
private S s;
private N n;
public void eat(T t){
this.t = t;
System.out.println("我正在吃"+this.t);
}
}
泛型的声明表明,在类、接口、方法的创建中,要使用一个未知的数据类型。它可以是Integer类型,也可以是String类型。就把它的类型定义成 T 、S 或者是N等等。
在实例化的时候,就必须声明T具体是一个什么类型。
在定义泛型对象的使用方法时,还不知道T是什么类型,它可能是String类型,也可能是Integer类型。如果,把T定义成一个确定的泛型数据类型,参数就只能是这种数据类型。此时,就用到了通配符代替确定的泛型数据类型。
使用泛型、通配符提高了代码的复用性。
把一个对象分为声明、使用两部分的话。泛型侧重于类型的声明上代码复用,通配符则侧重于使用上的代码复用。泛型用于定义内部数据类型的不确定性,通配符则用于定义使用的对象类型不确定性。