java 泛型方法 带约束

在Java中，你可以为泛型方法添加类型约束，以确保传递给泛型方法的参数类型满足某些条件。这通常通过使用extends和super关键字来实现，它们分别用于上界（upper bounds）和下界（lower bounds）约束。

上界约束 (extends)

使用extends关键字可以为泛型参数设置上界约束，表示该泛型类型必须是某个类的子类或实现了某个接口。如果使用了extends但没有指定具体的类，那么默认的约束是Object。

	public class GenericMethodDemo {
	// 泛型方法，接受一个实现了Comparable接口的T类型参数
	public static <T extends Comparable<T>> void sort(List<T> list) {
	// 这里可以使用T的compareTo方法，因为T实现了Comparable<T>
	Collections.sort(list);
	}
	public static void main(String[] args) {
	List<Integer> integerList = Arrays.asList(3, 1, 4, 1, 5, 9);
	sort(integerList); // 可以，因为Integer实现了Comparable<Integer>
	List<String> stringList = Arrays.asList("apple", "banana", "cherry");
	sort(stringList); // 可以，因为String实现了Comparable<String>
	// List<Object> objectList = Arrays.asList(new Object(), new Object());
	// sort(objectList); // 编译错误，因为Object没有实现Comparable<Object>
	}
	}

在这个例子中，sort方法接受一个List<T>作为参数，其中T是实现了Comparable<T>接口的任意类型。由于Integer和String都实现了Comparable接口，所以我们可以将它们的列表传递给sort方法。但是，如果你尝试传递一个List<Object>，编译器会报错，因为Object类没有实现Comparable<Object>接口。

下界约束 (super)

使用super关键字可以为泛型参数设置下界约束，表示该泛型类型必须是某个类的超类或某个接口的实现类。这在处理数字类型或需要保证某种类型层次结构的场景中特别有用。

	public class GenericMethodDemo {
	// 泛型方法，接受一个Number或其子类型的T类型参数
	public static <T extends Number> void printNumber(T number) {
	System.out.println("The number is: " + number);
	}
	// 泛型方法，接受一个Number或其父类型的T类型参数（尽管这种情况不常见，但语法上是允许的）
	public static <T super Integer> void printIntegerOrSuper(T number) {
	// 注意：这里我们不能直接对T类型的变量进行太多操作，因为它可能是Number的超类
	// 但我们可以检查它是否是Integer或其子类的一个实例
	if (number instanceof Integer) {
	System.out.println("The number is an Integer or a subclass of Integer: " + number);
	} else {
	System.out.println("The number is a superclass of Integer: " + number.getClass().getName());
	}
	}
	public static void main(String[] args) {
	printNumber(123); // 可以，因为Integer是Number的子类
	printNumber(3.14); // 可以，因为Double是Number的子类
	// printNumber("hello"); // 编译错误，因为String不是Number的子类
	printIntegerOrSuper(123); // 输出 "The number is an Integer or a subclass of Integer: 123"
	// printIntegerOrSuper(3.14); // 编译错误，因为Double不是Integer的超类
	// 但你可以传递Integer的超类实例，尽管这样做可能不太常见或有用
	}
	}

在这个例子中，printNumber方法接受一个Number或其子类型的参数，而printIntegerOrSuper方法则接受一个Integer或其超类型的参数。但请注意，在实际编程中，使用super关键字来定义泛型参数的下界约束并不常见，因为这样做会限制泛型类型的可用性和灵活性。