在 java 的 `map
Map
Map<String, Integer> userScores = new HashMap<>();
此时编译器会将 K 实际绑定为 String，V 绑定为 Integer，整个泛型体系随之具象化——所有出现 K 的位置（如方法签名、变量声明、返回类型）均等价于 String，所有 V 均等价于 Integer。
回到 forEach 方法源码片段：
default void forEach(BiConsumer<? super K, ? super V> action) {
Objects.requireNonNull(action);
for (Map.Entry<K, V> entry : entrySet()) {
K k; // ← 声明一个局部变量 k，其静态类型即为当前 Map 的键类型（如 String）
V v; // ← 声明一个局部变量 v，其静态类型即为当前 Map 的值类型（如 Integer）
// 后续代码通常为：k = entry.getKey(); v = entry.getValue();
action.accept(k, v);
}
}这里的 K k; 和 V v; 完全符合 Java 语法规范：K 和 V 在该泛型方法作用域内是已声明的有效类型（由 Map
立即学习“Java免费学习笔记（深入）”；
⚠️ 注意事项：
- K 和 V 只在编译期存在，运行时经类型擦除后变为 Object（除非有边界约束如 K extends Comparable
）； - 局部变量 k 和 v 并非“无需类型”，而是其类型正是泛型参数 K/V —— 这正是泛型复用能力的核心体现；
- 若你在非泛型上下文中直接写 K k;，编译器会报错 cannot resolve symbol K，因其依赖于泛型声明的作用域。
简言之，K k; 不是省略类型，而是以类型参数作为类型；它让 Map 的内部实现无需关心具体键值类型，却能提供类型安全的抽象操作——这是 Java 泛型设计的精妙所在。
