Java泛型详解-优快云博客

本文链接：https://blog.youkuaiyun.com/zhangluweishi/article/details/85322961

一、为啥用泛型？

java泛型：

泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。泛型就是操作类型的 占位符，即：假设占位符为T，那么此次声明的数据结构操作的数据类型为T类型。

二、泛型的意义：

1、可以对类型进行自动检查，仅仅用来类型检查（只在编译时期有效）

List<String> stringArrayList = new ArrayList<String>();
List<Integer> integerArrayList = new ArrayList<Integer>();
//编译时期传进来

//正确验证泛型结果后，会将泛型的相关信息擦除（泛型信息不会进入运行时段）
Class classStringArrayList = stringArrayList.getClass();
Class classIntegerArrayList = integerArrayList.getClass();

if(classStringArrayList.equals(classIntegerArrayList)){
    Log.d("泛型测试","类型相同");
}

//输出：D/泛型测试：类型相同

2、自动对类型进行转换

public class Fan <E>{
    private  E  value;
    private  int  a;
    private E number; // 定义泛型成员变量
        public Fan(E number) {
            this.number = number;
        }
        public E getNum() {
            return number;
        }
        public void setNum(E number) {
            this.number = number;
        }
        public void showType() {
            System.out.println("E 的实际类型是: " + number.getClass().getName());
        }
    public static void main(String[] args) {
         Fan<String> a=new Fan<String>("10");
        Fan<Integer> b=new Fan<Integer>(10);
         a.showType();
         b.showType();
    }

}

三、泛型的定义：

1、泛型类

泛型的类型参数只能是类类型（包括自定义类），不能是简单类型传入的实参类型需与泛型的类型参数类型相同。

注意：定义的泛型类，就一定要传入泛型类型实参么？并不是这样，在使用泛型的时候如果传入泛型实参，则会根据传入的泛型实参做相应的限制，此时泛型才会起到本应起到的限制作用。如果不传入泛型类型实参的话，在泛型类中使用泛型的方法或成员变量定义的类型可以为任何的类型。

2、泛型方法

我们再次之前看到的泛型都是应用在整个类上，但同样可以包含参数化方法，而这个方法所在的类可以是
泛型类也可以不是泛型类。也就是说，是否拥有泛型方法与其所处的类是否是泛型类毫无关系。方法中，通过
指定类型参数，可以声明泛型方法，从而提高其可复用性。泛型方法的参数化类型列表放在方法类符的后面返
回值之前。

//例：交换函数 swap（）
public static <T> void swap(T[] a,int i,int j){
T temp=a[i];
a[i] =a[j];
a[j] =temp;
}

（1）如果泛型方法的泛型参数与类型的泛型参数相同，编译器生成警告，因为方法的泛型参数隐藏

了外部类型的泛型参数。

class List<T>{

    <T>  void  fun(T value){
    }
}

( 2）直接可以通过”方法名()”的形式进行泛型方法的调用，编译器根据传入的方法实参推衍出类型形
参。
( 3）使用约束对泛型类型参数启到约束的作用。

//如extends compareable

3、泛型接口

可以是一个或者多个接口。

interface MyArrayList<E>{
void add(E e);
}
interface MyList<K,V>{
void put(K key,V value);
}

4、泛型的约束

默认情况下，没有约束条件的泛型类型参数（Sample<T>）T 称为未绑定类型参数，当创建未绑定类型参
数的泛型类实例时，可以给参数类型指定任意类型。想要让泛型参数支持特定类型时，可以使用关键字 extends
interface MyArrayList<E>{
void add(E e);
}
interface MyList<K,V>{
void put(K key,V value);
}
例：交换函数 swap（）
public static <T> void swap(T[] a,int i,int j){
T temp=a[i];
a[i] =a[j];
a[j] =temp;
}
或者 super 关键字对泛型参数进行约束。
（1） extends 主要限定泛型参数的上界（常见的使用如下）：
<T extends 基类>：//T 只能是基类或者基类的派生类
<T extends 基接口>; //T 只能是实现基接口的派生类

//按照顺序排序
class Sort<T>{// <T extends Comparable<T>>
private T[] elem;
@SuppressWarnings("unchecked")
public Sort(){
elem=(T[])new Object[2];
}
public void swap(){ //这个方法是否书写正确？得到正确结果代码该如何进行修改？
if(elem[0]>elem[1]){
if(elem[0].compareTo(elem[1])>0){ ①
T temp=elem[0];
elem[0]=elem[1];
elem[1]=temp;
}
}
}