下界通配符 ? super T 如何安全写入集合

下界通配符 `? super T` 是 Java 泛型中实现安全写入的关键机制——它允许你向集合中添加类型为 `T` 或其任意子类的实例，同时由编译器在编译期严格把关，确保每次 `add()` 都符合类型安全；其原理源于继承关系的天然兼容性（如 `Integer` 可赋值给 `Number` 引用），完美践行 PECS 原则中“Consumer 使用 `super`”的设计哲学，让你既能放心写入，又无需牺牲类型安全。

下界通配符 ? super T 的核心作用，是让一个泛型集合能安全接收类型为 T 或其任意子类的实例——也就是“写入友好”。它不改变集合底层行为，而是通过编译期类型检查，确保每次 add() 都不会破坏类型安全。

它为什么能安全写入 T 及其子类

编译器知道：实际传入的集合（比如 List 或 List