Java泛型是Java语言中一个重要的特性，它旨在提供类型安全的同时，保持与旧代码的兼容性。然而，泛型的实现方式在某些情况下可能会引起一些问题。本文将详细讨论Java泛型的实现方式，以及在使用泛型时可能遇到的一些问题。
当泛型代码与非泛型代码混合使用时，可能会出现一些类型安全的问题。Java编译器会发出警告，提示开发者注意这些潜在的问题。例如，如果将一个非泛型集合传递给泛型方法，编译器会发出警告，因为无法保证传递的集合只包含泛型指定的类型。
虽然编译器的警告可以帮助发现潜在的问题，但更好的做法是将这些警告视为错误来处理。可以通过设置编译器标志-Xlint来实现这一点。
public class Test {
public static void foo1(Collection c) {
}
public static void foo2(Collection<Integer> c) {
}
public static void main(String[] args) {
Collection<Integer> coll = new ArrayList<Integer>();
foo1(coll);
ArrayList lst = new ArrayList();
foo2(lst);
}
}
在上面的代码中，方法foo1接受一个传统的Collection作为参数，而方法foo2接受一个泛型版本的Collection。将一个传统的ArrayList对象传递给foo2方法时，由于ArrayList可能包含不同类型的对象，编译器无法保证Collection<Integer>只包含Integer类型的实例。因此，编译器会发出警告。
在使用泛型时，有一些限制需要注意。例如，不允许创建泛型集合的数组，不允许在泛型类中创建参数化类型的静态字段，不允许在泛型类中定义带有参数化类型参数的静态方法。
此外，泛型类中不能实例化参数化类型的新对象或数组。例如，在泛型类MyClass<T>中，不能在方法内部写new T();或new T[10];。
class MyClass<T> {
private Collection<T> myCol1; // 正确
private static Collection<T> myCol2; // 错误
}
泛型的限制主要源于泛型的实现方式。理解Java中泛型的实现机制，可以帮助理解这些限制的来源和存在的原因。
泛型是Java语言级别的特性，其设计目标之一是保持字节码级别的二进制兼容性。通过不需要改变JVM，并且保持类文件（字节码）的相同格式，可以轻松地混合使用泛型代码和非泛型代码。然而，这也有代价，可能会失去泛型所提供的东西——类型安全。
泛型在编译时会被擦除，即所有泛型参数类型都会被替换为它们的边界（如果指定了边界），或者被替换为Object（如果没有指定边界）。这个过程被称为类型擦除。
class MyList<T> {
public T ref;
}
在编译后的字节码中，泛型类型T被擦除，替换为Object类型。
泛型擦除会对使用泛型类型的代码产生影响。例如，当使用泛型集合时，编译器会进行类型转换，以确保类型安全。但是，由于泛型擦除的存在，这种类型转换在运行时实际上是不必要的。