Java泛型

1. 一句话直观记忆 协变（out） ：读出来安全（只读生产者）。如果 Cat <: Animal，那 Box <: Box 。 逆变（in） ：写进去安全（只写消费者）。如果 Cat <: Anim

1. 什么是“擦除”？为什么会有 定义：JVM 上的泛型主要是编译期特性。编译器会把 List、Box 等在字节码层擦成原始类型（如 List、Box），把类型参数替换为其上界（T extends N

1) 类型推断（Type Inference） 1.1 Java 的推断（JDK 8+） 变量/菱形：目标类型参与推断 泛型方法：从实参 & 目标类型同时推断类型形参 <T,...> 最小上界（LUB

1) 界类型参数（上界 / 多重上界 / 下界通配） 1.1 上界（Upper Bounds） 目的：限制类型实参必须“至少是某个类型的子类型”，从而在方法体内能安全调用上界的方法/属性。 Java

0) 一句话记忆：PECS PECS = Producer Extends, Consumer Super 生产者（只“产出”给你读）→ ? extends T / out T 消费者（只“消费”你写

一、对照速查（最常用语法一眼记住） 场景 Java 语法 Kotlin 语法 备注 泛型类/接口 class Box { T v; } class Box(val v: T) T 属于类型本身 泛型方