k 和 v 是 map 接口声明的类型参数，分别代表键（key）和值（value）的抽象类型；在 foreach 等方法中，`k k;` 和 `v v;` 是使用泛型类型声明的局部变量，其具体类型由实际使用的 map 实例（如 map
在 Java 的 Map
例如：
- Map
实例中，K 被推断为 String，V 被推断为 Integer； - Map
> 实例中，K 对应 Long，V 对应 List 。
因此，在 forEach 方法签名中：
default void forEach(BiConsumer action)
BiConsumer super K, ? super V> 表示该消费者可接受任意 K 及其父类型、V 及其父类型的键值对——这正是泛型“类型安全 + 灵活性”的体现。
立即学习“Java免费学习笔记（深入）”；
而方法体内的：
K k; V v;
是标准的泛型局部变量声明，语法完全合法：K 和 V 在当前作用域内已被视为有效类型（得益于接口级别的
⚠️ 注意事项：
- K 和 V 仅在 Map 接口及其方法体内有效，不可在静态上下文或未声明泛型的类中直接使用；
- 它们不能用于创建实例（如 new K() 是非法的），因为泛型在运行时被擦除（Type Erasure）；
- 局部变量 k 和 v 的生命周期仅限于当前循环迭代，通常紧随其后会通过 entry.getKey() 和 entry.getValue() 赋值：
k = entry.getKey(); // 类型安全：返回 K 类型（即实际键类型） v = entry.getValue(); // 类型安全：返回 V 类型（即实际值类型） action.accept(k, v); // 编译器确保 BiConsumer 参数类型匹配
总结来说，K k; 和 V v; 不是省略了类型，而是以泛型参数作为类型名进行变量声明——这是 Java 泛型支持“编写一次、适配多类型”的核心机制之一。理解这一点，是掌握集合框架、Stream API 及自定义泛型类/方法的关键基础。
