java 泛型

什么是泛型

泛型,即“参数化类型”。一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。那么参数化类型怎么理解呢?顾名思义,就是将类型由原来的具体的类型参数化,类似于方法中的变量参数,此时类型也定义成参数形式(可以称之为类型形参),然后在使用/调用时传入具体的类型(类型实参)。

泛型的本质是为了参数化类型(在不创建新的类型的情况下,通过泛型指定的不同类型来控制形参具体限制的类型)。也就是说在泛型使用过程中,操作的数据类型被指定为一个参数,这种参数类型可以用在类、接口和方法中,分别被称为泛型类、泛型接口、泛型方法。

为什么要使用泛型

举个例子

public void testGeneric(){
        List arrayList = new ArrayList();
        arrayList.add("aaaa");
        arrayList.add(100);

        for(int i = 0; i< arrayList.size();i++){
            String item = (String)arrayList.get(i);
            System.out.println("泛型测试,item = " + item);
        }
    }

输出

泛型测试,item = aaaa

java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String

毫无疑问,在item试图获取第二个元素是报错了。
原因是ArrayList可以存放任何类型的数据,但是在使用时却都以string类型数据来使用。为了放着这样的情况,我们可以使用泛型。

我们尝试修改我们的代码

public void testGeneric(){
        List<String> arrayList = new ArrayList<String>();
        arrayList.add("aaaa");
        arrayList.add(100);

        for(int i = 0; i< arrayList.size();i++){
            String item = (String)arrayList.get(i);
            System.out.println("泛型测试,item = " + item);
        }
    }

generictest
可以看到在编译阶段编译器就能捕获类型问题,但是在java中泛型是伪泛型,因为在编译期间,java会进行类型擦除,所有的编译信息都会被擦除,有兴趣的可以去看一下这一篇文章:java 泛型进阶

如何使用泛型

泛型大致可以分为三种使用方式。

  • 泛型类
  • 泛型接口
  • 泛型方法

1.泛型类

//此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型
//在实例化时,泛型必须制定类型,T必须为具体类型
class Generic<T>{
    private T key;

    public Generic(T key){
        this.key = key;
    }

    public T getKey() {
        return key;
    }
}

实例化

void gengrateGeneric(){
    //泛型传入类型必须是类的类型,不能传入基本数据类型,如果需要使用基本数据类型,要用包装类,如int->Integer
        Generic<Integer> generic= new Generic<Integer>(123);
    }

2.泛型接口

声明泛型接口

interface Generator<T> {
    public T method();
}

实现泛型接口,不指定类型

class GeneratorImpl1<T> implements Generator<T>{
    @Override
    public T method() {
        return null;
    }
}

实现泛型接口,指定类型

class GeneratorImpl2<T> implements Generator<String>{
    @Override
    public String method() {
        return "hello";
    }
}

3.泛型方法

//这里将方法声明在class Generic<T>中
public static <E> void printArray( E[] inputArray )
    {
        for ( E element : inputArray ){
            System.out.printf( "%s ", element );
        }
        System.out.println();
    }

使用泛型方法

public void testGeneric3(){
        Integer[] intArray = { 1, 2, 3 };
        String[] stringArray = { "Hello", "World" };
        Generic<Integer> generic = new Generic<Integer>(1);
        // Generic<T>中的T和public static <E>互不影响,可以理解成是两个类型
        generic.printArray(intArray);
        generic.printArray(stringArray);
    }

易错点

//这是一个泛型方法吗?
public void printArray(T key)
    {
        System.out.println(key);
    }

这不是一个泛型方法,实际上T在class Generic实例化的时候后就已经确定,而printArray是类 Generic的成员函数,因此在调用函数时,T的类型就已经确定。

常用通配符

常用的通配符为: T,E,K,V,?

? 表示不确定的 java 类型
T (type) 表示具体的一个java类型
K V (key value) 分别代表java键值中的Key Value
E (element) 代表Element

? 无界通配符

为什么要使用通配符而不是简单的泛型呢?

举个例子

static int countLegs (List<? extends Animal > animals ) {
    int retVal = 0;
    for ( Animal animal : animals )
    {
        retVal += animal.countLegs();
    }
    return retVal;
}

static int countLegs1 (List< Animal > animals ){
    int retVal = 0;
    for ( Animal animal : animals )
    {
        retVal += animal.countLegs();
    }
    return retVal;
}

public static void main(String[] args) {
    List<Dog> dogs = new ArrayList<>();
 	// 不会报错
    countLegs( dogs );
	// 报错
    countLegs1(dogs);
}

所以,对于不确定或者不关心实际要操作的类型,可以使用无限制通配符(尖括号里一个问号,即 <?> ),表示可以持有任何类型。像 countLegs 方法中,限定了上届,但是不关心具体类型是什么,所以对于传入的 Animal 的所有子类都可以支持,并且不会报错。而 countLegs1 就不行。

上界通配符 < ? extends E>

在类型参数中使用 extends 表示这个泛型中的参数必须是 E 或者 E 的子类,这样有两个好处:

  • 如果传入的类型不是 E 或者 E 的子类,编译不成功
  • 泛型中可以使用 E 的方法,要不然还得强转成 E 才能使用

类型参数列表中如果有多个类型参数上限,用逗号分开

下界通配符 < ? super E>

在类型参数中使用 super 表示这个泛型中的参数必须是 E 或者 E 的父类。

如果你只想简单的使用泛型,这些知识就足够了,如果你想更深的了解java泛型可以看看这篇文章java 泛型进阶

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值