0%

泛型

泛型

为什么要使用泛型

早期的Object类型可以接收任意的对象类型,但是在实际的使用中,会有类型转换的问题。也就存在隐患,所以Java提供了泛型来解决这个安全问题。

什么是泛型

  • 泛型:是一种把明确类型的工作推迟到创建对象或者调用方法的时候才去明确的特殊类型。也就是说在泛型的使用过程中,操作的数据类型被指定为一个参数,而这种参数类型可以用在类、方法和接口中,分别被称为泛型类泛型方法泛型接口
    注意:一般在创建对象时,将未知的类型确定具体的类型。当没有指定泛型时,默认类型为Object类型。

使用泛型的好处

  • 避免了类型强转的麻烦。
  • 它提供了编译期的类型安全,确保在泛型类型(通常为泛型集合)上只能使用正确类型的对象,避免了在运行时出现ClassCastException。

泛型的使用

泛型虽然通常会被大量的使用在集合当中,但是我们也可以完整的学习泛型。泛型有三种使用方式,分别为:泛型类、泛型方法、泛型接口。将数据类型作为参数进行传递。

泛型类

泛型类型用于类的定义中,被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。最典型的就是各种集合框架容器类,如:List、Set、Map。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
泛型类的定义格式:
修饰符class类名<代表泛型的变量>{ }
简单的泛型类:

@param <T> 这里解释下<T>中的T:
此处的T可以随便写为任意标识,常见的有T、E等形式的参数表示泛型
泛型在定义的时候不具体,使用的时候才变得具体
在使用的时候确定泛型的具体数据类型,即在创建对象的时候确定泛型
public class GenericsClassDemo<T>{
//t这个成员变量的类型为T,T的类型由外部指定
private T t;

//泛型构造方法形参t的类型也为T,T的类型由外部指定
public GenericsClassDemo(T t){
this.t = t;
}

//泛型方法getT的返回值类型为T,T的类型由外部指定
public T getT(){
return t;
}
}
泛型在定义的时候不具体,使用的时候才变得具体。在使用的时候确定泛型的具体数据类型。即:在创建对象的时候确定泛型
例如:Generic<String> genericString = new Generic<String>("helloGenerics");
  • 注意:定义的泛型类,就一定要传入泛型类型实参吗?
    在使用泛型的时候如果传入泛型实参,则会根据传入的泛型实参做相应的限制,此时泛型才会起到本应起到的限制作用。如果不传入泛型类型实参的话,在泛型类中使用泛型的方法或成员变量定义的类型可以为任何的类型。即跟之前的经典案例一样,没有写ArrayList的泛型类型,容易出现类型强转的问题。
泛型方法

泛型方法,是在调用方法的时候致命泛型的具体类型。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
定义格式:
修饰符 <代表泛型的变量> 返回值类型 方法名(参数){ }

例如:
/**
*
* @param t 传入泛型的参数
* @param <T> 泛型的类型
* @return T 返回值为T类型
* 说明:
* 1)public与返回值中间<T>非常重要,可以理解为声明此方法为泛型方法。
* 2)只有声明了<T>的方法次才是泛型方法,泛型类中的使用了泛型的成员方法并不是泛型方法。
* 3)<T>表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T。
* 4)与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E等形式的参数常用于表示泛型。
*/
public <T> T genercMethod(T t){
System.out.println(t.getClass());
System.out.println(t);
return t;
}
泛型方法随着我们的传入参数类型不同,他得到的类型也不同。泛型方法能使方法独立于类而产生变化。
泛型接口

泛型接口与泛型类的定义及使用基本相同。泛型接口常被用在各种累的生产器中。

1
2
3
4
5
6
定义格式
修饰符interface接口名<代表泛型的变量>{}
//定义一个泛型接口
public interface GenericsInterface<T>{
public abstract void add(T t);
}
  • 使用格式
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
1、定义类时确定泛型的类型
public class GenericsImp implements GenericsInterface<String>{
@Override
public void add(String s){
System.out,println("设置了泛型为String类型");
}
}
2、始终不确定泛型的类型,直到创建对象时,确定泛型的类型
public class GenericsImp<T> implements GenericsInterface<T>{
@Override
public void add(T t){
System.out.println("没有设置类型");
}
}
确定泛型:
public class GenericsTest{
public static void main(String[] args){
GenericsImp<Integer> gi = new GenericsImp<>();
gi.add(66)
}
}

泛型通配符

当使用泛型类或接口时,传递的数据中,泛型类型不确定,可以通过通配符<?>表示。但是一旦使用泛型的统配符后,只能使用Object类中的共性方法,集合中元素自身方法无法使用

通配符基本使用

泛型的通配符:不知道使用什么类型来接收的时候,此时可以使用?,?表示未知通配符。

此时只能接受数据,不能往该集合中存储数据。

1
2
3
4
5
//example
//泛型通配符?:左边<?>,右边泛型可以是任意类型
ArrayList<?> list1 = new ArrayList<Object>();
ArrayList<?> list2 = new ArrayList<String>();
ArrayList<?> list3 = new ArrayList<Integer>();

注意:泛型不存在继承、多态关系,泛型左右两边要一样,jdk1.7后右边的泛型可以省略

使用泛型通配符,可以传递不同的类进入方法中

1
2
public static void test(ArrayList<?> coll){
}

通配符高级使用

之前设置泛型的时候,实际上是可以任意设置的,只要是类就可以设置。但再JAVA的泛型中可以指定一个泛型的上限下限

泛型的上限:
  • 格式类型名称 <? extends 类 > 对象名称
  • 意义只能接收该类型及其子类
泛型的下限:
  • 格式类型名称 <? super 类 > 对象名称
  • 意义只能接收该类型及其父类型

比如:现已知Object类,Animal类,Dog类,其中Animal是Dog,Cat的父类

1
2
3
class Animal{}
class Dog extends Animal{}
class Cat extends Animal{}
1
2
3
4
5
6
//泛型的上限<? extends 类>:
//ArrayList<? extends Animal> list = new ArrayList<Object>();//报错
ArrayList<? extends Animal> list2 = new ArrayList<Animal>();
ArrayList<? extends Animal> list3 = new ArrayList<Dog>();
ArrayList<? extends Animal> list4 = new ArrayList<Cat>();
可以看出,泛型的上限只能是该类型的类型及其子类。
1
2
3
4
5
6
//泛型的下限<? super 类 >:
ArrayList<? super Animal> list5 = new ArrayList<Object>();
ArrayList<? super Animal> list6 = new ArrayList<Animal>();
// ArrayList<? super Animal> list7 = new ArrayList<Dog>();//报错
// ArrayList<? super Animal> list8 = new ArrayList<Cat>();//报错
可以看出,泛型的下限只能是该类型的类型及其父类。
  • 一般泛型的上限和下限也是用来参数的传递:
    再比如:现已知Object类,String类,Number类,Integer类,其中Number是Integer的父类