下界通配符? super T的核心语义是容器元素类型为T或其任意父类，确保T及子类实例可安全写入，读取时仅能按Object处理，体现逆变与PECS中消费者原则。
下界通配符的核心语义是“能装得下”
``? super T`` 不是在描述容器当前装了什么，而是在声明：这个容器的元素类型至少是 T 或比 T 更宽泛的父类（比如 Object、Number、Animal）。正因为它的底层类型足够“大”，所以任何 T 类型或其子类的实例，都能安全地放进这个容器——就像把一杯水倒进一个桶里，只要桶不比杯子小，就不会溢出。
为什么子类对象能写入父类容器
这是由 Java 的赋值兼容性规则决定的：子类对象天然可以赋值给父类引用。例如 Dog 是 Animal 的子类，那么 new Dog() 可以直接赋给 Animal 类型变量，也可以加进 List<animal></animal>；同理，它也能加进 List<object></object> 或 List<serializable></serializable>（若 Animal 实现了该接口）。
而 ``List super Animal>`` 正是把这些合法的容器类型统一抽象出来——它不是某一个具体类型，而是所有“能装下 Animal”的类型的上界集合。编译器据此确认：往里面 add(Animal)、add(Dog)、add(Cat) 都不会破坏类型安全。
写入保障的具体体现
- 方法参数声明为
List super Animal>，调用时可传入List<animal></animal>、List<object></object>、List<serializable></serializable>等，无需修改方法签名 - 在方法体内调用
dest.add(new Dog())时，编译器自动检查：Dog 是 Animal 的子类 → Animal 是 ? super Animal 的合法实参 → 写入允许 - 即使运行时实际是
List<object></object>，add(Dog) 依然成立；如果是List<animal></animal>，也完全兼容 —— 所有路径都被静态验证通过
读取受限正是写入自由的代价
你不能从 ``List super Animal>`` 中安全地读出 Animal，因为实际容器可能是 List<object></object>，里面除了 Dog 和 Cat，还可能有 String 或 Integer（只要方法没限制，调用方就可能传入更宽泛的列表）。所以编译器只允许按 Object 接收读取结果，这是类型系统为写入灵活性所作的必要让步。
这种设计不是缺陷，而是精准权衡：当你明确角色是“消费者”（只负责收数据），就用 ? super T；当角色是“生产者”（只负责吐数据），才用 ? extends T。
