本文解析java泛型方法中`t extends object`声明为何不能使`string`参数合法传入`map.get(t)`——关键在于类型参数`t`定义的是键类型，而非值类型；`e`作为`get()`参数必须严格匹配键类型`t`，而非其上界。
在泛型类 TestMap<K, V> 中，K 是键（key）的类型，V 是值（value）的类型。当声明方法：
static <T extends Object> String getObj(TestMap<T, String> m, String e) {
return m.get(e); // ❌ 编译错误
}此处的 T 是键类型变量，而参数 e 的类型是 String。尽管 String 确实是 Object 的子类，但 T extends Object 并不表示 “T 可以被 String 替换”，而是表示：T 是某个（未知的、具体化的）Object 的子类型——它可能是 String，也可能是 Integer、User 或任意其他引用类型。编译器在类型检查时，只保证 e（String）满足 Object 上界，但无法保证它就是当前 T 的具体类型。
换句话说：
- T 是泛型占位符，代表一个待确定的、统一的键类型；
- m.get(e) 要求传入的参数类型必须是 T（即与 TestMap 实例化时指定的键类型完全一致）；
- 但 e 是 String，而 T 可能是 Long、UUID 等任意类型——二者无必然兼容关系，因此编译器拒绝该调用。
✅ 正确做法取决于实际意图：
立即学习“Java免费学习笔记（深入）”；
-
若想用 String 作键 → 应固定键类型为 String，而非用泛型 T：
static String getObj(TestMap<String, String> m, String key) { return m.get(key); // ✅ key 类型与 K 一致 } -
若需保持键类型泛化 → 参数 e 必须声明为 T：
static <T> String getObj(TestMap<T, String> m, T key) { return m.get(key); // ✅ 类型安全：key 与 K 同为 T } -
若想根据值类型泛化（如返回不同类型的值）→ 应将 T 绑定到值类型 V，而非键类型：
static <T> T getObj(TestMap<String, T> m, String key) { return m.get(key); // ✅ 键固定为 String，值类型由 T 决定 }
⚠️ 注意：<T extends Object> 在 Java 中是冗余写法（所有引用类型默认继承 Object），等价于 <T>；显式写出既无必要，也易引发误解，建议直接使用 <T>。
总结：泛型中的 extends 定义的是类型变量的上界约束，而非“允许传入其子类实例”的运行时宽松规则。类型安全发生在编译期，要求实参类型必须与泛型参数声明的角色类型（如键/值）完全匹配，而非仅满足其上界。理解这一点，是写出健壮泛型代码的关键基础。
