java什么是泛化 java泛化类型

目录

一、为什么用泛型

二、什么是泛型

三、泛型类

四、从泛型类派生子类

五、泛型接口

六、通配符、上边界、下边界

七、类型擦除

---

一、为什么用泛型

           解决Object类型接收任意对象类型中存在的类型转换问题

二、什么是泛型

       泛型：参数化类型
       参数化类型：就是将类型由原来的具体的类型参数化，类似于方法中的
变量参数，此时类型也定义成参数形式，然后在使用/调用时传入具体的类型。

三、泛型类

      泛型的三种使用方式：
             泛型类、泛型接口、泛型方法
      泛型类：
             泛型类型用于类的定义中。
             通过泛型可以完成对一组类的操作对外开放相同的接口

一个普通的泛型类

//T可以为任意标识符，常见的如T、E、K、V等形式的参数常用于表示泛型
public class Demo<T>{ 
    
    //key这个成员变量的类型为T,T的类型由外部指定
    private T key; 
    
    //泛型构造方法形参key的类型也为T，T的类型由外部指定
    public Generic(T key) { 
        this.key = key;
    }
    
    //泛型方法getKey的返回值类型为T，T的类型由外部指定
    public T getKey(){ 
        return key;
    }
}

传入的实参类型需与泛型的类型参数类型相同，即为Integer.

Demo<Integer> genericInteger = new Demo<Integer>(123456);

1.泛型的类型参数只能是类类型
2.泛型的类型参数可以有多个
3.如果没有定义具体类型,默认为Object

四、从泛型类派生子类

   父类是泛型类

public class Parent<T> {}

  子类也是泛型类，子类和父类的泛型类型要一致

public class Child<T> extends Parent<T> {}

  子类不是泛型类，父类要明确泛型的数据类型

public class Child2 extends Parent<String>{}

五、泛型接口

泛型接口与泛型类的定义及使用基本相同。

//定义一个泛型接口
public interface Demo<T> { 
    public T next();
}

子类也是泛型类，子类和父类的泛型类型要一致

class A<T> implements Demo<T>{
    @Override
    public T next() {
        return null;
    }
}

六、通配符、上边界、下边界

1、泛型通配符：
             ? 类型通配符，代替具体的类型实参，不是类型形参

public void showKeyValue1(Demo<Number> obj){}
Demo<Integer> gInteger = new Demo<Integer>(123);
Demo<Number> gNumber = new Demo<Number>(456);
showKeyValue(gNumber);
showKeyValue(gInteger);
//这个方法编译器会为我们报错：Generic<java.lang.Integer>

2、 类型通配符上限
              类型上限  传入实参的泛型类型只能是Number 以及Number的子类
              类/接口<？extends实参类型>
              要求该泛型的类型，只能是实参类型，或实参类型的子类类型。

void test(Demo<? extends Number> d){

}

  3、类型通配符下限
             类型下限  传入的实参的泛型类型只能是Number 以及Number的父类
             类/接口<？super实参类型>
             要求该泛型的类型，只能是实参类型，或实参类型的父类类型。

void test(Demo<? super Number> d){

}

七、类型擦除

  类型擦除：

         泛型信息只存在于代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除掉。

List<String> l1 = new ArrayList<String>();
List<Integer> l2 = new ArrayList<Integer>();
System.out.println(l1.getClass() == l2.getClass());
//打印的结果为 true 
//是因为 List<String>和 List<Integer>在 jvm 中的 Class 都是 List.class。
//泛型信息被擦除了。

泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型

public class Erasure <T>{
    T object;
    public Erasure(T object) {
        this.object = object;
    }
}

 Erasure 是一个泛型类，我们查看它在运行时的状态信息可以通过反射。

Erasure<String> erasure = new Erasure<String>("hello");
Field[] fs = eclz.getDeclaredFields();
for ( Field f:fs) {
    System.out.println("Field name "+f.getName()+" 
    type:"+f.getType().getName());
}
Field name object type:java.lang.Object