搞定 Java 泛型：从基础语法到项目避坑，一篇通关
Java泛型是一种在编译时检查类型安全性的机制，它允许类型（整型、字符串、对象等）被当作编写代码时的一个参数，或者说是参数化类型。这意味着同一个源代码可以用于不同的类型。通过使用泛型，开发者可以在运行时避免强制类型转换错误，并提高程序的可读性和可维护性。泛型方法是在方法级别上使用类型参数的方法，允许我们在不修改类本身的情况下创建具有类型安全的通用方法。泛型方法可以定义在泛型类中也可以定义在普通类中
一、 引言
1.1 什么是Java泛型？
Java泛型是一种在编译时检查类型安全性的机制，它允许类型（整型、字符串、对象等）被当作编写代码时的一个参数，或者说是参数化类型。这意味着同一个源代码可以用于不同的类型。通过使用泛型，开发者可以在运行时避免强制类型转换错误，并提高程序的可读性和可维护性。
1.2 泛型的历史背景
Java泛型是在Java 5中引入的新特性。在引入泛型之前，Java集合框架的设计没有考虑类型安全问题，导致开发人员在使用集合时需要手动进行类型检查或转换，这不仅繁琐而且容易出错。为了解决这些问题，Sun Microsystems（现在的Oracle）决定在Java语言中引入泛型，以增强类型安全性并简化编程。
1.3 泛型的重要性与优势
-
类型安全：使用泛型可以确保在编译阶段就检测到类型不匹配的问题，避免了在运行时可能出现的ClassCastException。
-
代码复用：通过参数化类型，可以创建能够处理多种数据类型的通用类或方法，提高了代码的复用性。
-
清晰的API设计：泛型增强了代码的可读性和可维护性，因为类型信息直接体现在代码结构上。
二、 泛型的基本概念
2.1 类型参数
类型参数是定义泛型类或方法时使用的占位符，它们在实际使用时由具体的类型来替换。类型参数通常使用大写字母表示，如T（Type）、E（Element）、K（Key）、V（Value）等。
2.2 泛型类
泛型类是指在类定义时使用类型参数的类。这使得该类的对象可以操作任意类型的实例。
public class Box<T> {
private T item;
public Box(T item) {
this.item = item;
}
public T getItem() {
return item;
}
public void setItem(T item) {
this.item = item;
}
}
2.3 泛型方法
泛型方法是在方法定义中使用类型参数的方法，它允许在非泛型类中定义泛型行为。
public class Utility {
public static <T> T getLast(List<T> list) {
return list.get(list.size() - 1);
}
}
2.4 泛型接口
泛型接口是指在接口定义时包含类型参数的接口。
public interface Function<T, R> {
R apply(T t);
}
2.5 泛型擦除
尽管Java支持泛型，但在运行时，所有泛型信息都会被擦除，即在编译后的字节码中不存在泛型类型的信息。这意味着在运行时，所有泛型类都会被视为其对应的原始类型。
三、 创建和使用泛型类
3.1 定义一个简单的泛型类
public class Box<T> {
private T item;
public Box(T item) {
this.item = item;
}
public T getItem() {
return item;
}
public void setItem(T item) {
this.item = item;
}
}
3.2 使用泛型类
Box<String> stringBox = new Box<>("Hello");
String message = stringBox.getItem(); // message is of type String
3.3 泛型类的类型限制
3.3.1 extends限定
可以通过extends关键字指定类型参数的上限，即该类型或其子类型。
public class UpperBoundBox<T extends Comparable<T>> {
private T item;
public UpperBoundBox(T item) {
this.item = item;
}
public T getItem() {
return item;
}
}
3.3.2 super限定
super关键字则用于指定类型参数的下限，即该类型或其超类型。
public class LowerBoundBox<T super Number> {
private T item;
public LowerBoundBox(T item) {
this.item = item;
}
public T getItem() {
return item;
}
}
3.4 泛型类中的实例变量与方法
泛型类可以拥有泛型实例变量，并且可以定义泛型方法。
public class Box<T> {
private T item;
public T getItem() {
return item;
}
public void setItem(T item) {
this.item = item;
}
public <U> U getOther(U u) {
return u;
}
}
3.5 通配符
通配符（?）用于表示未知的类型，它提供了额外的灵活性。
3.5.1 无界通配符
无界通配符表示可以接受任何类型的参数。
public void addAll(List<?> list) {
// list contains elements of unknown type
}
3.5.2 上界通配符
上界通配符? extends T表示可以接受T及其子类型的参数。
public void process(List<? extends Number> list) {
// list contains elements that are instances of Number or its subclasses
}
3.5.3 下界通配符
下界通配符? super T表示可以接受T及其超类型的参数。
public void accept(List<? super Integer> list) {
// list can accept any object, including Integer and its supertypes
}
四、泛型方法
4.1 定义泛型方法
泛型方法是在方法级别上使用类型参数的方法，允许我们在不修改类本身的情况下创建具有类型安全的通用方法。泛型方法可以定义在泛型类中也可以定义在普通类中。
public class Utility {
// 泛型方法，T是类型参数
public static <T> T identity(T x) {
return x;
}
}
// 使用泛型方法
String result = Utility.identity("Hello, World!");
4.2 在非泛型类中使用泛型方法
即使在一个非泛型类中，我们也可以定义泛型方法。这意味着我们可以为现有类添加类型安全的方法，而不需要改变其原有的设计。
public class NonGenericClass {
public <T> T copy(T value) {
return value;
}
}
// 使用泛型方法
Integer number = new NonGenericClass().copy(42);
4.3 泛型方法与类型推断
当调用泛型方法时，如果类型参数可以从方法调用的上下文中推断出来，则不需要显式指定类型参数。
public class TypeInferenceExample {
public <T> T copy(T value) {
return value;
}
}
// 调用时自动推断类型
String str = new TypeInferenceExample().copy("Hello");
4.4 泛型方法的重载
泛型方法可以和其他方法一起重载。这意味着你可以在同一个类中定义多个同名但参数类型或数量不同的方法。
public class OverloadingExample {
public <T> T copy(T value) {
return value;
}
public String copy(String value) {
return value.toUpperCase();
}
}
// 调用重载的方法
String str = new OverloadingExample().copy("Hello"); // 调用第二个copy方法
五、 泛型接口
5.1 定义泛型接口
泛型接口允许我们在接口中声明类型参数，这样实现该接口的类可以指定具体的类型。
public interface GenericInterface<T> {
void add(T element);
T get(int index);
}
class Implementation<T> implements GenericInterface<T> {
private List<T> list = new ArrayList<>();
@Override
public void add(T element) {
list.add(element);
}
@Override
public T get(int index) {
return list.get(index);
}
}
5.2 实现泛型接口
实现一个泛型接口时，实现类需要为每个类型参数提供具体的类型。
class MyImplementation implements GenericInterface<String> {
// 实现细节
}
5.3 泛型接口的默认方法
从Java 8开始，接口可以有默认方法，默认方法可以是泛型的。
public interface GenericInterface<T> {
default <U> void printList(List<U> list) {
for (U item : list) {
System.out.println(item);
}
}
}
class MyImplementation implements GenericInterface<String> {
// 实现细节
}
// 使用默认方法
MyImplementation myImpl = new MyImplementation();
myImpl.printList(Arrays.asList("one", "two", "three"));
5.4 泛型接口的静态方法
接口也可以包含静态方法，静态方法可以是泛型的。
public interface GenericInterface<T> {
static <U> U max(List<U> list, Comparator<U> comparator) {
return list.stream().max(comparator).orElse(null);
}
}
// 使用静态泛型方法
Integer maxNum = GenericInterface.max(Arrays.asList(1, 2, 3), Comparator.naturalOrder());
六、泛型与继承
6.1 子类型与父类型的转换问题
在使用泛型时，子类对象不能赋给父类引用，除非使用通配符。
List<String> strings = new ArrayList<>();
List<Object> objects = new ArrayList<>();
// 错误: 不允许直接转换
// objects = strings;
// 正确: 使用通配符
List<?> wildCardList = strings;
6.2 泛型与多态
泛型支持多态性，但是有一定的限制。例如，泛型类的子类不能自动转换为泛型类的父类，除非使用通配符或其他手段。
class Base {}
class Derived extends Base {}
class Box<T> {}
Box<Base> baseBox = new Box<>();
Box<Derived> derivedBox = new Box<>();
// 错误: 不允许直接转换
// baseBox = derivedBox;
// 正确: 使用通配符
Box<?> wildcardBox = derivedBox;
6.3 类型安全与通配符的使用
通配符可以用来增加代码的灵活性，同时保持类型安全。
List<String> stringList = new ArrayList<>();
List<Integer> intList = new ArrayList<>();
// 向一个不确定类型的列表中添加元素是不安全的
List<?> unknownList = stringList;
// unknownList.add(1); // 编译错误
// 可以安全地从列表中读取元素
Object obj = unknownList.get(0);
// 上界通配符可以用来指定列表中元素的类型范围
List<? extends Number> numberList = intList;
numberList.add(1); // 错误，只能读不能写
七、泛型编程的最佳实践
何时使用泛型？
-
当你需要编写一个可以处理多种类型的数据结构或算法时。
-
当你需要减少代码冗余，提高代码的可重用性时。
-
当你需要在编译时捕捉潜在的类型错误时。
使用泛型不会显著影响程序的性能，因为泛型信息在编译阶段会被擦除，只留下原始类型。然而，泛型可以减少不必要的类型转换，从而可能略微提高执行效率。
泛型与序列化：如果泛型类需要被序列化，那么必须明确指定类型参数。否则，在反序列化时可能会遇到类型擦除带来的问题。
import java.io.Serializable;
public class SerializableBox<T extends Serializable> implements Serializable {
private T item;
public SerializableBox(T item) {
this.item = item;
}
public T getItem() {
return item;
}
}
设计一个泛型工厂模式
工厂模式可以用来创建对象而不暴露创建逻辑。使用泛型可以让工厂更加灵活。
public interface Product<T> {
void doSomething();
}
public class ConcreteProduct<T> implements Product<T> {
private T data;
public ConcreteProduct(T data) {
this.data = data;
}
@Override
public void doSomething() {
System.out.println("Doing something with " + data);
}
}
public class GenericFactory<T> {
public Product<T> createProduct(T data) {
return new ConcreteProduct<>(data);
}
}
public class Client {
public static void main(String[] args) {
GenericFactory<String> factory = new GenericFactory<>();
Product<String> product = factory.createProduct("Hello");
product.doSomething();
}
}
使用泛型实现观察者模式
观察者模式允许一个对象（被观察者）通知其他对象（观察者）关于状态的变化，而不直接知道谁是这些观察者。使用泛型可以使观察者模式更加灵活。
import java.util.ArrayList;
import java.util.List;
public interface Observer<T> {
void update(T event);
}
public class Subject<T> {
private List<Observer<T>> observers = new ArrayList<>();
public void addObserver(Observer<T> observer) {
observers.add(observer);
}
public void removeObserver(Observer<T> observer) {
observers.remove(observer);
}
public void notifyObservers(T event) {
for (Observer<T> observer : observers) {
observer.update(event);
}
}
}
public class ConcreteObserver<T> implements Observer<T> {
@Override
public void update(T event) {
System.out.println("Observer notified with event: " + event);
}
}
public class Client {
public static void main(String[] args) {
Subject<String> subject = new Subject<>();
Observer<String> observer = new ConcreteObserver<>();
subject.addObserver(observer);
subject.notifyObservers("Hello, world!");
}
}
八、常见问题与解决方案
泛型擦除导致的问题；Java的泛型实现基于类型擦除，这意味着在编译时，所有的泛型信息都会被删除，只保留原始类型。这可能导致一些问题，特别是当你试图在运行时获取类型信息时。
示例：获取泛型类型
假设你想在运行时获取一个泛型类型的类信息，由于类型擦除，直接尝试获取将会失败。
public class GenericTypeExample<T> {
public Class<T> getType() {
return T.class; // 错误: T不是一个类类型
}
}
// 解决方案: 使用类型标记
public class BetterGenericTypeExample<T> {
private final Class<T> type;
@SuppressWarnings("unchecked")
public BetterGenericTypeExample() {
this.type = (Class<T>) ((ParameterizedType) getClass().getGenericSuperclass()).getActualTypeArguments()[0];
}
public Class<T> getType() {
return type;
}
}
8.1 泛型与数组
在Java中，由于类型擦除，创建泛型数组是受限的。直接创建泛型数组会导致编译错误。
错误示例：
public class GenericArrayExample<T> {
private T[] array;
public GenericArrayExample() {
this.array = new T[10]; // 错误: 不允许的泛型数组创建
}
}
解决方案：使用Object数组
可以使用Object数组作为中间步骤，然后再进行类型转换。
public class BetterGenericArrayExample<T> {
private T[] array;
@SuppressWarnings("unchecked")
public BetterGenericArrayExample() {
this.array = (T[]) new Object[10];
}
}
8.2 泛型与反射
反射允许你在运行时获取类和对象的信息，但由于类型擦除，直接获取泛型信息是不可行的。
示例：获取泛型类型
public class ReflectionExample<T> {
public void printType() {
Class<?> clazz = getClass();
// 类型擦除后无法直接获取泛型类型
// System.out.println(clazz.getTypeParameters()); // 不适用
}
}
// 解决方案: 获取泛型信息
public class BetterReflectionExample<T> {
public void printType() {
Class<?> clazz = getClass();
Type genericSuperclass = clazz.getGenericSuperclass();
ParameterizedType parameterizedType = (ParameterizedType) genericSuperclass;
Type[] actualTypeArguments = parameterizedType.getActualTypeArguments();
System.out.println(actualTypeArguments[0]);
}
}
8.3 泛型与类型擦除的局限性
类型擦除意味着在运行时无法区分泛型类型，这可能导致一些设计上的挑战。例如，某些依赖于类型信息的操作在泛型类中无法实现。
示例：类型检查
public class TypeCheckExample<T> {
public boolean checkType(Object obj) {
// 无法在运行时检查泛型类型
// return obj instanceof T; // 错误: T不是一个类类型
return false;
}
}
// 解决方案: 使用类型标记
public class BetterTypeCheckExample<T> {
private final Class<T> type;
public BetterTypeCheckExample() {
this.type = (Class<T>) ((ParameterizedType) getClass().getGenericSuperclass()).getActualTypeArguments()[0];
}
public boolean checkType(Object obj) {
return type.isInstance(obj);
}
}
总结
-
基本概念：类型参数、泛型类、泛型方法、泛型接口。
-
创建和使用泛型类：定义泛型类、使用泛型类、类型限制、实例变量与方法、通配符。
-
泛型方法：定义泛型方法、在非泛型类中使用泛型方法、类型推断、重载、静态泛型方法。
-
泛型接口：定义泛型接口、实现泛型接口、默认方法、静态方法。
-
泛型与继承：子类型与父类型的转换问题、泛型与多态、类型安全与通配符的使用。
-
泛型集合框架：List与Set、Map<K, V>、集合的类型安全。
-
泛型编程的最佳实践：何时使用泛型、泛型与性能、泛型与并发、泛型与序列化。
-
案例研究：实现一个泛型栈、设计一个泛型工厂模式、使用泛型实现观察者模式。
-
常见问题与解决方案：泛型擦除导致的问题、泛型与数组、泛型与反射、泛型与类型擦除的局限性。
开源鸿蒙跨平台开发社区汇聚开发者与厂商，共建“一次开发，多端部署”的开源生态，致力于降低跨端开发门槛，推动万物智联创新。
更多推荐
0
0- 0
已为社区贡献1条内容
所有评论(0)