Java 泛型:extends 通配符和 super 通配符,你了解吗

Java 泛型:extends 通配符和 super 通配符,你了解吗

为什么需要泛型?

1、数组

dataType[] arrayRefVar; // 首选的方法

Java 泛型:extends 通配符和 super 通配符,你了解吗

输出结果:

Java 泛型:extends 通配符和 super 通配符,你了解吗

当我们确定数组大小,我们可以使用数组来解决问题。但实际开发中,我们通常无法确定数组大小。于是ArrayList 应运而生, “会自动扩增容量的 Array”。

2、ArrayList

在不使用泛型的情况下,我们可能会犯这样的错误。

Java 泛型:extends 通配符和 super 通配符,你了解吗

Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String

如果我们为 String 类型单独编写一种 ArrayList

Java 泛型:extends 通配符和 super 通配符,你了解吗

问题暂时得到解决,编译器会强制检查放入的类型。但是...

我们还需要其他所有的 Class 单独编写一种 ArrayList。

Java 泛型:extends 通配符和 super 通配符,你了解吗

泛型,该你出马啦

我们把 ArrayList 变成一种模板,不需要一个个单独的 ArrayList,极大的简化代码量。

泛型的特点

Java 泛型:extends 通配符和 super 通配符,你了解吗

输出结果:

Java 泛型:extends 通配符和 super 通配符,你了解吗

我们可以看出,Java 程序在编译器类型视为 Object,编译器根据实现安全的强制转型,这就是泛型的擦拭法。

泛型类、泛型接口、泛型方法

1、泛型类

① 普通泛型类

Java 泛型:extends 通配符和 super 通配符,你了解吗

输出结果:

Java 泛型:extends 通配符和 super 通配符,你了解吗

② 定义的泛型类,不一定要传入泛型类型实参

Java 泛型:extends 通配符和 super 通配符,你了解吗

输出结果:

Java 泛型:extends 通配符和 super 通配符,你了解吗



如果不传入泛型类型实参的话,在泛型类中使用泛型的方法或成员变量定义的类型可以为任何的类型。

2、泛型接口

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

3、泛型方法

定义泛型方法时,必须在返回值前边加一个 ,来声明这是一个泛型方法,持有一个泛型 T,然后才可以用泛型 T 作为方法的返回值。

extends T> 和 super T>

1、extends 通配符

假设 Son 类 extends Father 类

Java 泛型:extends 通配符和 super 通配符,你了解吗

Person<father> fp = new Person();/<father>

编译报错。

Person() 不是 Person<father>的子类/<father>

使用 extends Father> 使方法接收所有泛型类型为 Father 或者 Father 子类的 Person 类。

上界 extends T> 不能往里存,只能往外取

set 时,我们并不能确定元素的具体类型,可能是 Son ,也有可能 daughter

Java 泛型:extends 通配符和 super 通配符,你了解吗

2、super 通配符

泛型中的类必须为当前类或者其父类

下界 super T> 不影响往里存,但往外取只能放在 Object 对象里

get 时我们不知道是哪个父类,只能返回 Object

Java 泛型:extends 通配符和 super 通配符,你了解吗

3、总结:

泛型的 PECS 原则

PECS(Producer Extends Consumer Super)原则

  • 频繁往外读取内容的,适合用上界 Extends
  • 经常往里插入的,适合用下界 Super

| 文


分享到:


相關文章: