java泛型

泛型

为什么使用泛型

Object类可接收任意类型,在实际中存在类型转换的安全隐患

什么是泛型

泛型就是参数化类型,那么什么是参数化类型?

将原来具体的类型参数化,类似于方法中的变量参数,

类型也参数化,在实际使用时传入具体的类型

泛型类

泛型的类型参数只能是“类”类型

类型参数可以为一个/多个

如果没有指定,默认为Object类

class par<T>{   T name;}
par <Integer> p = new par<>();//传入Integer类型
class par<K,V>{V name, K age;}
par <String,Integer> p = new par<>()//传入String,Integer类型
class par{ }
par <> p = new par<>()//默认为Object

从泛型派生子类

​ 子类也是泛型类,父类型要和子类型保持一致,子类类型明确后,父类类型也随之明确

class par<T>{   T name;}
class child<T> extends par<T>{}
//当child类型明确,父类的类型也随之明确
child<String> child = new child<>();
child.name//该属性为父类的属性,此时类型为String

​ 子类不是泛型类,父类型要明确类型,不然给父类传不了类型

class par<T>  { T name;}
class child extends par<String>{}//子类无泛型,父类型需明确

class par<T>{ T name;}
class child extends par<T>{}//该写法会报错,父类没有指定类型,子类无法传类型给父类

通配符

？表示实际参数传入的类型,常用在方法中

class par<T> {    T name;}
class text{ 
    public void doSome(par<?> p){   }   //?表示该方法实际传入的参数类型
     public static void main(String[] args) {      
      text t = new text();  
      par<Integer> par1 = new par<>();     
      par<Number> par2  = new par<>();      
      t.doSome(par1);// 传入的par1类型为Integer     
      t.doSome(par2);  //传入的par2类型为Number
  }}

上边界

public void doSome(par<?extends Number> p){}
//此处?指定的实参类型为Number及其子类,Number为指定类型的上限

如果实际参数类型范围大于Number,编译报错

下边界

public void doSome(par<?super Integer> p){}
//此处?指定的实参类型为Integer及其父类,Integer为指定类型的下限

如果实际参数类型范围小于Integer,编译报错

类型擦除

泛型信息只存在于编译阶段,限制编译时的类型,运行时实际类型都为Object类型

Class c = t.getClass();
Field f = c.getField("name");
System.out.println(f.getType());
//此处利用反射知识测试类型
//测试结果为class java.lang.Object