Java泛型机制是如何实现类型安全的？

本文共计1526个文字，预计阅读时间需要7分钟。

Java的泛型机制是Java从JDK5开始引入的新特性，本质上是对参数化类型的支持。即操作的数据类型被指定为一个参数，这个参数可以在使用时动态确定。这意味着编写的代码可以适用于多种不同的数据类型，而不需要为每种类型重写代码。

Java的泛型机制 Java的泛型机制

泛型是 Java 从 JDK5 开始引入的新特性，本质上是参数化类型，即所操作的数据类型被指定为一个参数。这意味着编写的代码可以被很多不同类型的对象所重用。

1. 泛型的使用方式 1.1 泛型类

用下面的语法可以定义一个泛型类：

class C< T, E, ...>{ private T t; ... }

常用的泛型标识有 T、E、K、V。

用下面的语法可以创建一个泛型对象：

C<具体的数据类型> c = new C<>();

泛型类有以下注意事项：

• 如果没有指定具体的数据类型，操作类型是 Object。
• 泛型的类型参数只能是类类型，不能是基本数据类型。
• 泛型类型在逻辑上看作多个不同类型，但实际上是相同类型。

用下面的语法可以从泛型类派生子类：

// 子类也是泛型类，要和父类的泛型类型保持一致。但可以添加更多类型。