Java 泛型方法、通配符、上下限

Java 泛型方法、通配符、上下限教程

1. 泛型方法

泛型方法是指在方法声明中使用泛型类型参数的方法。泛型方法可以在调用时指定具体的类型，从而使方法更加通用和类型安全。

1.1 泛型方法的定义

泛型方法的定义格式如下：

public <T> void printArray(T[] array) {for (T element : array) {System.out.println(element);}
}

• <T> 表示这是一个泛型方法，T 是类型参数。
• T[] array 表示参数是一个 T 类型的数组。
• 在方法体内，T 可以被当作一个具体的类型使用。

1.2 调用泛型方法

调用泛型方法时，可以显式指定类型参数，也可以让编译器自动推断类型。

Integer[] intArray = {1, 2, 3, 4, 5};
String[] strArray = {"Hello", "World"};// 显式指定类型参数
printArray(intArray);  // 输出: 1 2 3 4 5// 编译器自动推断类型
printArray(strArray);  // 输出: Hello World

2. 通配符

通配符 ? 用于表示未知类型，通常用于泛型类或方法的参数中，以增加灵活性。

2.1 无界通配符

无界通配符 <?> 表示可以接受任何类型的参数。

public void printList(List<?> list) {for (Object element : list) {System.out.println(element);}
}

• List<?> 表示可以接受任何类型的 List，如 List<Integer>、List<String> 等。
• 由于类型未知，只能使用 Object 类型的方法。

2.2 使用场景

无界通配符通常用于以下场景：

• 当方法的实现不依赖于具体类型时。
• 当方法只需要读取集合中的元素时。

3. 上下限

上下限用于限制泛型类型参数的范围，使得泛型类型更加灵活和安全。

3.1 上限通配符

上限通配符 <? extends T> 表示类型参数必须是 T 或其子类。

public void processNumbers(List<? extends Number> list) {for (Number number : list) {System.out.println(number.doubleValue());}
}

• List<? extends Number> 表示可以接受 Number 或其子类的 List，如 List<Integer>、List<Double> 等。
• 由于类型是 Number 或其子类，可以调用 Number 类的方法。

3.2 下限通配符

下限通配符 <? super T> 表示类型参数必须是 T 或其父类。

public void addNumbers(List<? super Integer> list) {list.add(1);list.add(2);list.add(3);
}

• List<? super Integer> 表示可以接受 Integer 或其父类的 List，如 List<Number>、List<Object> 等。
• 由于类型是 Integer 或其父类，可以向列表中添加 Integer 类型的元素。

3.3 使用场景

• 上限通配符：当你需要从集合中读取元素，并且这些元素是某个类的子类时使用。
• 下限通配符：当你需要向集合中添加元素，并且这些元素是某个类的父类时使用。

4. 总结

• 泛型方法：通过 <T> 定义泛型方法，使方法可以处理多种类型。
• 通配符：使用 <?> 表示未知类型，增加方法的灵活性。
• 上下限：通过 <? extends T> 和 <? super T> 限制泛型类型的范围，使代码更加安全和灵活。

通过合理使用泛型方法、通配符和上下限，可以编写出更加通用、灵活且类型安全的 Java 代码。