Java中的泛型是一种强大的功能，它可以让我们编写更加灵活和可重用的代码。然而，它也有一些让人困惑的地方，其中包括泛型擦除和类型推断。
泛型擦除
泛型擦除是Java编译器为了兼容旧版Java代码而进行的一种机制。在Java中，泛型只存在于代码编译阶段，在运行时时并不存在的。换句话说，编译器在编译期间会将所有的泛型类型参数擦除，用其上界类型替代。
例如，对于一个泛型类List<T>，在编译后的字节码中，所有的T都会被擦除，并用Object替代。这就是为什么我们在使用泛型时，无法直接获取类型参数的具体信息。
泛型擦除同时也会引入一些问题。例如，在编译期间，无法得知集合中的元素具体的类型。因此，我们在使用泛型时需要小心，以避免出现类型转换错误。
另外一个常见的问题是无法创建泛型类型的数组。因为在泛型擦除后，数组的元素类型实际上是Object，而不是泛型类型。因此，在创建泛型数组时，编译器会发出警告。
类型推断
类型推断是Java编译器根据上下文环境和参数类型来自动推断泛型类型的一种功能。它可以让我们在使用泛型的时候，不需要显式地指定类型参数。
例如，如果我们在创建一个ArrayList时，可以使用new ArrayList<>()的方式，而不需要指定具体的类型参数。编译器会根据右侧的代码自动推断出类型。这种方式使得我们的代码更加简洁和可读。
类型推断还可以用于方法的返回类型推断，lambda表达式和匿名内部类的参数类型推断等方面。当然，类型推断并不是万能的，有时候需要显式地指定类型参数。
总结
泛型在Java中是一种非常有用的功能，它可以让我们编写更加灵活和可重用的代码。然而，它也有一些让人困惑的地方，包括泛型擦除和类型推断。泛型擦除是为了兼容旧版Java代码而进行的一种机制，它将泛型类型参数擦除，并用其上界类型替代。类型推断是Java编译器根据上下文环境和参数类型自动推断泛型类型的一种功能。这些特性可以帮助我们编写更加简洁和可读的代码，但也需要注意其对运行时行为的影响。
本文来自极简博客，作者：星空下的约定，转载请注明原文链接：Java中的泛型擦除与类型推断
