泛型在编译期提供类型安全，通过类型参数化实现代码可重用与可读性提升；使用T、E等表示类型参数，如List限定元素类型；泛型类如Box在实例化时指定具体类型；泛型方法在返回类型前声明类型参数，支持类型推断；Java通过类型擦除消除泛型信息以兼容旧版本，运行时无法获取泛型类型；可通过extends设定上界限制类型范围，结合通配符?和PECS原则灵活处理子类型关系。
Java中的泛型（Generics）是一种在编译期提供类型安全检查的机制，它允许类、接口和方法操作指定类型的对象，而无需在运行时进行强制类型转换。泛型的核心目标是提高代码的可重用性、类型安全性和可读性。
类型参数化
泛型最基础的概念是类型参数化，即使用类型参数来定义类或方法，使得它们可以适用于多种数据类型。
- 类型参数通常用单个大写字母表示，如 T（Type）、E（Element）、K（Key）、V（Value）等。
- 例如，List
表示一个只存储字符串的列表，编译器会确保只能添加 String 类型的对象。
泛型类与接口
通过在类或接口名后添加类型参数，可以创建泛型类或接口。
- 定义泛型类时，类型参数放在类名后的尖括号中，如：class Box
{ private T value; } 。 - 实例化时指定具体类型：Box
intBox = new Box(); ，此时 T 被替换为 Integer。
泛型方法
泛型方法是指在其返回类型前声明类型参数的方法，它可以独立于类的泛型使用。
立即学习“Java免费学习笔记（深入）”；
- 语法形式为：
void print(T item) 。 - 调用时可显式指定类型，也可由编译器自动推断，例如：Utils.print("Hello"); 中的 T 自动推断为 String。
类型擦除与边界限制
Java泛型在编译后会进行类型擦除，即泛型信息不会存在于字节码中，这是为了兼容老版本JVM。
- 类型参数会被替换为其上限（默认是 Object），因此不能通过泛型参数创建实例或获取其Class对象。
- 可通过 extends 关键字设置上界，如 T extends Number，限制类型必须是 Number 或其子类。
- 使用通配符 ? 可表示未知类型，配合 extends 或 super 实现更灵活的子类型关系处理（PECS原则）。
基本上就这些。理解泛型的关键在于掌握类型参数如何传递、约束以及编译器如何利用它们进行检查，同时了解类型擦除对运行时行为的影响。不复杂但容易忽略。
