在 Java 编程中,泛型是一个强大的特性,它允许开发者编写更灵活和类型安全的代码。除了上界,泛型的下界同样重要。本文将深入探讨 Java 泛型的上下界,并提供示例帮助您理解如何在代码中运用它们。
什么是泛型?
泛型允许我们在类、接口和方法中使用类型参数,以便在编译时检查类型的安全性。通过泛型,我们可以编写与类型无关的代码,提高代码的复用性。
泛型的上界
在定义泛型时,可以为其设置上界,限制类型参数的范围。上界可以是一个类、一个接口,或者同时是一个类和多个接口。
上界的规则
- 只能有一个类:在泛型的上界中,您只能指定一个类作为上界。
- 可以有多个接口:您可以指定多个接口作为上界,使用
&
符号连接。 - 最终类不能作为上界:例如,
String
是一个最终类,不能作为泛型的上界。
上界示例
public static <T extends Number & Comparable<T>> void compare(T a, T b) {
// 方法实现
}
在这个例子中,T
必须是 Number
的子类,并且实现了 Comparable
接口。
泛型的下界
泛型的下界用于限制类型参数的下限。下界通常用于方法参数中,允许传入指定类型及其子类的对象。
下界的规则
- 只能指定一个类:下界只能是一个类,使用
super
关键字。 - 可以与多个接口结合使用:虽然下界只能有一个类,但可以与多个接口结合使用。
下界示例
假设我们有一个接口 Animal
和一个接口 Pet
,我们希望创建一个方法,该方法接受一个类型为 Pet
的父类的列表,并能够处理任何实现了 Animal
接口的对象。
定义接口和类
interface Animal {
void makeSound();
}
interface Pet {
void play();
}
class Dog implements Animal, Pet {
@Override
public void makeSound() {
System.out.println("Woof!");
}
@Override
public void play() {
System.out.println("The dog is playing.");
}
}
class Cat implements Animal, Pet {
@Override
public void makeSound() {
System.out.println("Meow!");
}
@Override
public void play() {
System.out.println("The cat is playing.");
}
}
定义方法使用下界
接下来,我们定义一个方法,该方法接受一个 List<? super Dog>
类型的参数。这个列表可以是 Dog
的父类(如 Animal
或 Object
),并且我们可以向其中添加 Dog
对象。