17370845950

java stream 泛型为何必要：避免类型擦除

java 中的泛型机制可确保在编译时指定类型，防止运行时的类型擦除。当泛型在集合中不指定时，会导致流操作中的元素类型无法识别。

例如，以下代码因列表缺少泛型而导致类型擦除：

List list = new ArrayList();
list.add("aaa");

list.stream().map(a -> a.toString())
                .filter(a -> a);

在这个例子中，如果 list 没有泛型，编译器将推断其类型为 list

• 流操作的类型识别混乱：map 操作的预期类型为 string，但由于列表类型为 object，map 操作将执行 tostring() 操作，返回 object 类型的字符串。
• 过滤器的类型检查失败：filter 操作器期望参数为 string 类型，但由于流中元素类型为 object，导致过滤器检查失败。

泛型不指定的原因可以追溯到运行时的类型擦除机制。在编译期间，泛型信息用于验证类型安全性和提供类型提示。但是，在运行时，泛型信息会被擦除，这意味着所有泛型都将变成 object 类型。

因此，为了避免类型擦除带来的问题并确保流操作的类型安全，需要在创建集合时指定泛型类型。这样，编译器可以强制执行类型检查并防止不安全的转换。