EnumMap 的 get/put 是 O(1) 且无哈希开销,因其直接用枚举 ordinal() 作数组下标访问内部 values 数组,省去 HashMap 全套哈希计算与结构维护流程。

EnumMap 的 get/put 为什么是 O(1) 且无哈希开销
因为 EnumMap 根本不走哈希计算——它用枚举的 ordinal() 直接当数组下标。比如 Color.RED 声明在第一位,ordinal() 就是 0,put() 时直接往内部 values[0] 写值,get() 时也直取 values[0]。
这省掉了 HashMap 里整套流程:算 hash、扰动、取模、查桶、处理链表或红黑树、甚至扩容搬数据。
HashMap即使 key 是枚举,也会走完整哈希逻辑,浪费 CPUEnumMap的数组长度 = 枚举常量个数,提前固定,无扩容风险- 只要枚举类不改声明顺序(比如中间插新值),索引就永远稳定
构造时传 Class<E> 参数到底在干啥
你写 new EnumMap<Color, String>(Color.class),不是为了泛型擦除补救,而是让 EnumMap 在构造时立刻拿到所有枚举常量:Color.class.getEnumConstants(),并据此分配长度精准的 Object[] values 数组。
如果传错类型(比如传 String.class),会抛 IllegalArgumentException;如果传 null,直接 NullPointerException。
- 这个
Class对象必须是真实枚举类,不能是父类或接口 - 运行时靠它做类型检查:
keyType.isInstance(key),所以get(null)返回null,但put(null, v)会炸 - 别试图复用同一个
EnumMap存不同枚举——编译过不了,类型系统卡得死死的
迭代顺序天然有序,但不是“按字母”而是“按声明”
EnumMap 的 keySet()、entrySet() 迭代顺序,就是枚举类里从上到下写的顺序。比如 enum Status { PENDING, PROCESSING, DONE },遍历时一定是这个顺序,不用额外排序,也不依赖 compareTo()。
这点和 TreeMap 的自然排序完全不同,也比 LinkedHashMap 更轻量——它根本不需要维护插入链表。
- 如果你依赖“先 pending 后 done”这种业务顺序,
EnumMap天然满足,且零成本 - 但一旦重构枚举:把
DONE提到第一行,所有靠ordinal()索引的逻辑(包括EnumMap内部)都会跟着变——这是最隐蔽的坑 - 别在生产环境动态生成枚举类(比如通过字节码),
EnumMap不支持运行时新增枚举常量
空值限制和类型安全怎么体现
EnumMap 不允许 null 作为 key,调用 put(null, "x") 会立即抛 NullPointerException;value 可以为 null,但 get() 返回 null 时,你得靠 containsKey() 区分“没这个 key”还是“这个 key 对应 null 值”。
它的类型安全是编译期 + 运行期双保险:泛型约束了 key 类型,构造时的 Class 参数又锁死了具体枚举类,连反射绕过都难。
HashMap<Color, String>允许 put("abc", "x"),运行时报ClassCastException;EnumMap编译就报错- 序列化没问题,但反序列化时若枚举类被修改(删常量),可能读出
null或抛异常 - 它不是线程安全的,多线程写要自己加锁,别指望它像
ConcurrentHashMap那样扛并发
真正关键的不是“快”,而是“确定性”——没有哈希冲突、没有扩容抖动、没有链表转树的临界点。只要枚举定义稳,EnumMap 的行为就完全可预测,连 GC 压力都小一截。但换枚举顺序那一下,容易让人半夜被报警叫醒。