在Java中,可以使用泛型限定(Generic Bounds)来限制传入泛型类型参数的范围。这样可以确保泛型类只接受特定的类型,或者至少是满足某些条件的类型。
泛型限定有两种形式:
-
上限限定(Upper Bounds):使用
extends
关键字,表示参数化的类型必须是指定的类型或其子类。 -
下限限定(Lower Bounds):使用
super
关键字,表示参数化的类型必须是指定的类型或其父类型。
下面是一个使用泛型限定的例子:
import java.util.List;
public class GenericBoundsExample {
// 使用上限限定,确保T是Number类型或其子类
public static <T extends Number> void printList(List<T> list) {
for (T element : list) {
System.out.println(element);
}
}
// 使用下限限定,确保T是String类型或其父类型(例如Object)
public static <T super String> void printString(T t) {
System.out.println(t.toString());
}
public static void main(String[] args) {
List<Integer> intList = List.of(1, 2, 3, 4, 5);
List<String> stringList = List.of("Hello", "World");
List<Double> doubleList = List.of(1.1, 2.2, 3.3);
printList(intList); // 正常打印
// printList(stringList); // 编译错误,String不是Number的子类
// printList(doubleList); // 编译错误,Double不是Number的子类
printString("test"); // 正常打印传入的字符串
// printString(new Object()); // 编译错误,传入的类型不是String的父类
}
}
在这个例子中,printList
方法使用了上限限定,它确保传入的List
只能包含Number
类型或其子类型的元素。printString
方法使用了下限限定,它确保传入的类型是String
类型或其父类型。这样可以在编译时确保类型安全。