Java 泛型不可变性面试题怎么辨-Java面试题-PHP中文网

java泛型具有不变性，即list不是list的子类型，尽管string是object的子类；为绕过该限制并保障类型安全，需使用通配符：表示完全未知类型。

java 泛型不可变性面试题怎么辨

Java 泛型的不可变性（Invariance）是面试中常被混淆但极易踩坑的核心概念。它不是指“不能修改对象”，而是指泛型类型之间**不存在继承关系**——哪怕其类型参数本身有父子类关系，泛型容器也不自动继承。

为什么 List 不是 List

这是不可变性的典型体现。虽然 String 是 Object 的子类，但 List 和 List

原因在于类型安全：如果允许 List<string> stringList = new ArrayList(); List<object> objList = stringList;</object></string>，那么你就能往 objList 里 add(new Date())，这会破坏 stringList 的类型契约，导致运行时隐患——而泛型的设计目标正是在编译期杜绝这类问题。

如何用通配符绕过不可变性限制？

不可变性 ≠ 无法协作。Java 提供了通配符机制，在保持类型安全的前提下实现灵活读写：

List extends Number>：只读视图。可安全获取元素（返回类型是 Number），但不能 add 除 null 外的任何值（因为编译器不知道具体是 Integer 还是 Double）。
List super Integer>：只写视图。可安全 add Integer 或其子类（如 Long 若存在），但 get() 返回的是 Object，需谨慎处理。
List>：完全未知类型，只能当作 List<object></object> 的弱化版使用（get 得到 Object，add 只能加 null）。

常见错误写法与辨析要点

面试官常通过以下代码考察是否真正理解不可变性：

Java Maven Secondary Analysis

分析ZIP压缩包或GitLab仓库中的Java Maven项目，确定二次开发范围、类数量、模块分布及生产相关指标。

下载

✘ 错误示例：

void process(List<object> list) { /* ... */ }
List<string> strs = new ArrayList();
process(strs); // 编译失败！</string></object>

辨析关键：泛型类型是否可替换，看的是整个类型签名是否字面一致或满足通配符约束，而非底层元素类型的继承链。

正确做法是改方法签名：

若只需读取 → 改为 void process(List extends Object> list)（等价于 List>）；
若需添加任意 Object → 改为 void process(List<object> list)</object>，调用方必须传真正的 List<object></object>；
更通用方案 → 改为泛型方法：<t> void process(List<t> list)</t></t>。