Java中Map<String extends Integer, List<? super ?>>语法非法，根本无法编译，因String不能用extends修饰、String与Integer无继承关系，且? super缺少上界类型。
Java 中并不存在 Map<String extends Integer, List<? super ?>> 这样的语法，它**根本无法编译**——你写的这个表达式是非法的，混淆了泛型边界语法（extends/super）和类型参数声明规则。
为什么这个写法不合法？
Java 泛型中：
-
String extends Integer是错误的：类名不能跟extends用于类型参数声明；extends只能出现在 通配符边界（如? extends Number）或 类型参数约束（如<T extends Number>），而不能写在实际类型位置（如键类型直接写String extends Integer）； -
String和Integer毫无继承关系，String extends Integer语义上也完全不成立； -
List<? super >缺少上界类型，? super必须跟一个具体类型，如? super Number。
你想表达的可能是这些合法场景
常见意图及正确写法：
-
键是 String，值是“某个上界为 Integer 的 List” → 应写为：
Map<String, List<? super Integer>>
表示 value 是List，其元素类型是Integer或其父类（如Number、Object）； -
键是“某个子类型为 String”的类型，值是 List → 需定义类型变量：
<K extends String> Map<K, List<Integer>>
但注意：由于String是 final 类，K extends String实际只能是String本身，无意义； -
用通配符表示整个 Map 的类型安全读写限制：
Map<String, ? extends Number>—— 可安全读出Number子类，但不能 put（除null）；Map<String, ? super Integer>—— 可安全 putInteger及其子类（实际只有Integer），读出为Object。
类型推导发生在哪儿？
Java 的泛型类型推导（如菱形运算符 <> 或方法调用）只对具体类型参数起作用，不推导通配符边界：
立即学习“Java免费学习笔记（深入）”；
-
Map<String, List<? super Integer>> map = new HashMap<>();
这里<>推导的是HashMap<String, List<? super Integer>>，不是去“猜”? super Integer具体是什么； - 通配符边界（
? extends T/? super T）是开发者显式声明的约束，编译器不会、也不能“推导”它——它是你主动选择的协变/逆变策略； - 方法泛型推导（如
Collections.<String>emptyList()）也不涉及通配符，只针对具名类型参数。
实用建议：怎么写才清晰又安全？
避免过度嵌套通配符。多数情况下，优先考虑：
- 用具体类型代替通配符，除非真需要 PECS（Producer-Extends, Consumer-Super）；
- 把复杂泛型提取成类型别名（通过
typedef不可用，但可用静态内部类或 type-safe wrapper）； - 例如封装一个明确语义的类型：
static class IntegerListMap extends HashMap<String, List<Integer>> { }
比满屏? super ? extends更易维护。
