Java 泛型 T，E，K，V，？，傻傻分不清？

Java 泛型 T，E，K，V，？，傻傻分不清？

Java 泛型（generics）是 JDK 5 引入的新特性，提供了编译时类型安全检测机制。泛型的核心在于参数化类型，允许操作的数据类型作为参数。相比之前通过类型 Object 实现的“任意化”，泛型在编译时就能检查类型安全，避免运行时错误，实现自动和隐式的类型转换。

使用泛型带来的好处显而易见，它允许在类、方法、接口中定义类型参数，如 T、E、K、V 等。这些通配符实质上都是类型参数的约定，比如 T 可以替换为 A-Z 中的任意字母。在代码中使用 T、E、K、V、? 时，它们之间的区别主要在于可读性和类型操作的限制。

下面通过实例来说明。假设有一个父类 Animal 和其子类，如狗、猫等。使用泛型定义列表时，可以是这样的：

而老板可能需要定义一个更通用的类型参数列表，即：

通配符 ? 的使用是泛型中的一大特点，表示可以持有任何类型。在方法参数或局部变量中使用 ?，允许接收任何类型的参数，但不能进行类型操作。例如，在方法中使用 ? 时，只能接收类型参数，不能赋值给具体类型。T 类型则用于定义泛型类和方法，确保泛型参数的一致性。

此外，通配符 ? 的使用限制了类型操作，不能进行多重限定或超类限定。在定义泛型接口或类时，可以使用 & 符号设定多重边界（Multi Bounds），指定泛型类型必须同时满足多个接口或父类的要求。而 ? 的限定方式仅有上下界，分别使用 extends 和 super 关键字。

在反射场景下，Class 类是一个通配泛型，可以代表任何类型。而在实例化时，需要替换成具体类。Class 类常用于声明类型限制，确保在运行时类型安全。例如：

因此，Class 类在声明时可以使用通配符 ?，表示可以接收任意类型的 Class 实例，适用于声明时的类型限制。

总结，Java 泛型通过类型参数、通配符和 Class 类提供了强大的类型安全机制。通过 T、E、K、V、? 等类型参数，以及 Class 类的使用，开发者可以构建类型安全的代码，避免运行时错误，增强代码的可读性和灵活性。2024-11-12