JAVA泛型理解

具有一个或多个类型变量的类称之为泛型类!
泛型概述
泛型是JDK5.0新特性,它主要应用在集合类上。有了泛型之后,集合类与数组就越来越像了。例如:

Object[] objs = new Object[10]//可以用来存储任何类型的对象。
String[] strs = new String[10]//只能用来存储String类型的对象。

ArrayList list = new ArrayList(),可以用来存储任何类型的对象。
ArrayList list = new ArrayList()只有用来存储String类型的对象。
理解泛型类
泛型类具有一到多个泛型变量,在创建泛型类对象时,需要为泛型变量指定值。泛型变量只能赋值为引用类型,而不能是基本类型。例如ArrayList类中有一个泛型变量E,在创建ArrayList类的对象时需要为E这个泛型变量指定值。
list list = new ArrayList();,
其中String就是给List的泛型变量E赋值了。查阅ArrayList的API你会知道,泛型变量E出现在很多方法中:

boolean add(E e)
E get(int index)

因为我们在创建list对象时给泛型类型赋值为String,所以对于list对象而言,所有API中的E都会被String替换。

boolean add(String e)
String get(int index)

也就是说,在使用list.add()时,只能传递String类型的参数,而list.get()方法返回的一定是String类型。

list.add(“hello”);
String s = list.get(0);

使用泛型对象
创建泛型对象时,引用和new两端的泛型类型需要一致,例如上面的引用是List,而new一端是new ArrayList,两端都是String类型!如果不一致就会出错:

List list = new ArrayList();//编译失败!
 
 

泛型的好处

  • 将运行期遇到的问题转移到了编译期;
  • 泛型不可能去除所有类型转换,但可以减少了类型转换操作;
  • 在循环遍历集合类时,方便了很多;
  • 一定程度上提高了安全性。

自定义泛型类的语法

public class 类型<一到多个泛型变量的声明> {…}
例如:

public class A {...}
   A类中有一个泛型变量的声明(或称之为定义)。这就相当于创建了一个变量一样,然后就可以在类内使用它了。

泛型类内使用泛型变量
声明的泛型变量可以在类内使用,例如创建实例变量时使用泛型变量指定类型,可以在实例方法中指定参数类型或返回值类型,```但不能在static变量或static方法中使用泛型变量。````

public class A {
    private T bean;
    public T getBean() {
        return bean;
}
public void setBean(T bean) {
    this.bean = bean;
}
}

继承(或实现)泛型类(或接口)
在Java API中有很多类和接口是泛型的,如果我们需要继承或实现它们时,需要为父类或接口中的泛型变量指定值,例如Comparable就是一个泛型接口。
Comparable

public interface Comparable {
    public int compareTo(T o);
}

该接口中有一个泛型变量T,在实现这个接口时需要为其指定值。一定为其指定值后,所有的T将使用指定的值来替换。
MyComparable

public class MyComparable implements Comparable {//这里不是定义泛型变量,这是给接口传递泛型变量的值,也就是说,这等同与赋值语句。也就是说,MyComparable类不是泛型类,因为它没有泛型变量。
    public int compareTo(String o) {//因为给接口的泛型变量赋值为String,接口方法中的T都替换成String
    return 0;
  }
}

在继承(或实现)泛型类(或接口)时还有一种选择,如果当前类是泛型类,也可以把自己的泛型变量赋给父类(或接口)。
MyComparable2

public class MyComparable2 //X[MyComparable2类指定了泛型变量X,所以本类就是泛型类了。]
      implements Comparable {//X[为实现的接口中的T赋值为X,等同与T = X。X是变量,当创建MyComparable2对象时会为X赋值的,X的值会赋给Comparable接口的T。]
    public int compareTo(X  o) {//X[因为已经给Comparable接口中的T赋值为X,所以在本类中所有的T都替换成X。]
        return 0;
    }
}
MyComparable2 c = new MyComparable2();//给X赋值为Integer,而且T=X,所以T也是Integer。

泛型方法定义
不只可以创建泛型类,还可以创建泛型方法。可能你会有个误区,下面的方法不是泛型方法:

class A {
    public void fun(T t) {…}
}

上面fun()方法是泛型类中的方法,它不是泛型方法。
泛型方法是可以自己创建泛型变量,泛型方法中创建的泛型变量只能在本方法内使用。泛型方法可以是实例方法,也可以是静态方法。

//[T]:[创建泛型变量!必须在返回值前面给出。]
//T:[在返回值中使用泛型变量] 
//T[]:[在方法参数中使用泛型变量。]
public  T get(T[] ts, int index) {
  return ts[index];
}

我们必须要区别开什么是创建泛型变量,什么是使用泛型变量。其中是创建泛型变量,它必须在返回值前面给出。
泛型方法中的泛型变量只有两个可以使用的点:返回值和参数,而且所有有意义的泛型方法中都会在返回值和参数两个位置上使用泛型变量,但语法上没有强制的要求。

调用泛型方法,通常无需为泛型变量直接赋值,而是通过传递的参数类型间接为泛型变量赋值,例如:

String[] strs = {“hello”, “world”};
String s = get(strs, 0);

因为给T[] ts参数赋值为strs,而strs的变量为String[],所以等同与给get方法的泛型变量赋值为String类型。所以返回值类型T为String类型。
泛型擦除
泛型是编译期状态,所有的泛型会被编译器擦除,变成了Object类型!
编译器会在适当的位置上给你添加强转!

你可能感兴趣的:(JAVA泛型理解)