Java 基础面试题, Java 泛型的作用是什么?什么是泛型擦除?

Java 泛型通过类型擦除实现，主要用于编译时检查，而 C++ 模板则是在编译期间生成不同的代码实例。Java 泛型不支持原始类型（如 int、char），而 C++ 模板则支持。此外，Java 泛型的类型参数在运行时是不可用的，而 C++ 模板保留了类型信息。

可以使用 Java 泛型的 'extends' 关键字来限制类型参数，使其必须是某个类的子类或实现某个接口。例如，List<? extends Number> 表示该列表只能包含 Number 类或其子类的实例。此外，还可以使用 super 来限制泛型参数的下界。

泛型方法是指在方法定义中引入了类型参数的静态或非静态方法。这些类型参数可以在方法中使用，通常用于返回值类型或参数类型。泛型方法允许方法独立于类的类型参数而引入自己的类型参数，例如 public <T> void print(T item) 方法可以处理任何类型的参数。

由于类型擦除的存在，Java 无法在运行时检查泛型数组的类型，因此不能直接创建泛型数组。例如，不能创建 T[] 数组，因为无法在运行时确认 T 的类型。另外，泛型数组也可能导致类型安全问题，如将 String[] 转型为 Object[]，再插入一个 Integer。

可以使用类型标记（Type Token）来传递类型信息，或者利用反射机制获取泛型类型参数的信息。例如，使用 Class<T> 作为方法参数来传递泛型类型，或者通过自定义泛型接口/类来保存泛型信息，以便在运行时使用。