目录
什么是泛型?
泛型类,接口派生子类
泛型通配符
类型擦除
早期的Object类型可以接收任意的对象类型,但是在实际的使用中, 会有类型转换的问题。也就存在这隐患,所以Java提供了泛型来解决这个安全问题
//一个泛型类
//T可以为任意字符,如A,a,B等都可以
public class Demo1 {
private T num;
public Demo1() {}
public Demo1(T num) {
this.num = num;
}
public void setNum(T num) {
this.num = num;
}
public static void main(String[] args) {
Demo1 demo1 = new Demo1<>(101);
}
}
如上 , 实际传入时需指明传入的实际类型 , 此处为Integer(泛型不能为int等基本类型,只能为引用类型) , 如果不指明则默认为object型
当然也可以定义多个泛型
public class Demo1 { }
此处我们定义一个Demo2类继承上面的Demo1 类
可以看到 ,这样显然是不行的 , 那么此处有两种解决办法
1. 指明父类泛型的具体类型 ,如 :
public class Demo2 extends Demo1{
}
2. 子类也是泛型类, 如 :
public class Demo2 extends Demo1{
}
子类也是泛型类,子类和父类的泛型类型要一致子类不是泛型类,父类要明确泛型的数据类型
相信很多人都见过这种写法
? 是什么意思呢 , 接着我们来解释
? 代表类型通配符 , 代表传入实参时 , 可以传入为任意类型
例如, 上述demo1 中 new对象也可以这样写
Demo1> demo1 = new Demo1<>(101);
? 只能代表传入的具体实参 , 类上面的是形参,所以?只能具体传入时使用, ? 表示实际传入的参数类型可以是任意的
类型通配符上限 : 类/接口<?extends 实参类型>
// ? extends Number
public static void method(Demo1 extends Number> demo1){
}
public static void main(String[] args) {
method(new Demo1());
}
如上 , 我们在method() 中传入的参数是上述定义的Demo1类类型 , ? extends Number的意思就是说我们实际传入的类型上限是 Number , 也就是说, 只有Number 和 Number的子类(此处传入为Integer , Number是Integer的父类)被实际传入才是合法的
public static void method1(Demo1 super Number> demo1){
}
public static void main(String[] args) {
method1(new Demo1
此处必须传入Number 或者 Number的父类 (此处传入为Object类)
泛型是Java 1.5版本才引进的概念,在这之前是没有泛型的,但是,泛型代码能够很 好地和之前版本的代码兼容。那是因为,泛到信息只存在于代码编译阶段,在进入JVM之前,与泛型相关的信息会被擦除掉,我们称之为一类型擦除. 泛型类被类型擦除后,相应的类型就被替换成 Object 类型或者上限类型.
就是说 , 泛型只存在于编译期期间 , 真正执行代码的时候 , 是没有泛型这个概念的, 它只是在编译期对我们传入的类型做了约束