java中string在switch中不单靠hashcode匹配，而是编译期优化为跳转表并辅以equals校验；非常量字符串则退化为if-else链。
Java 中 String 在 switch 语句中不是直接靠 hashCode() 做匹配，而是编译器在编译期就做了优化：把字符串常量转换为整数（类似枚举），运行时通过 hashCode() + equals() 双重校验来保证正确性。它不会单纯依赖 hashCode，因为哈希冲突会导致误判。
编译期生成跳转表（tableswitch / lookupswitch）
当 switch 的所有 case 都是编译期常量字符串（如 "a", "b"），javac 会：
- 计算每个字符串的
hashCode()，并检查是否互不冲突（即无相同 hash 值）； - 若无冲突，生成
tableswitch指令（连续 hash 值）或lookupswitch（稀疏 hash 值），以 hash 值为键快速跳转； - 每个跳转目标前插入一次
equals()判断，确认字符串内容真正相等（防哈希碰撞）。
运行时仍需 equals() 校验
即使两个字符串 hashCode() 相同，也不能认为它们相等。例如：
"Aa".hashCode() == "BB".hashCode()（都是 2112），但显然不相等。所以 JVM 在跳转到对应 case 前，一定会执行 string.equals(caseLabel) —— 这是强制的安全兜底，由编译器插入，开发者不可见。
非常量字符串会退化为 if-else
如果 switch 表达式不是编译期常量（比如方法返回值、运行时拼接的字符串），javac 就无法预生成跳转表，此时会退化为一串 if (s.equals("...")) { ... }，不再使用 hashCode 优化。
这种情况下，hashCode() 不参与分支逻辑，纯靠逐个 equals() 比较，性能随 case 数线性下降。
注意 hashCode 的实现细节
String.hashCode() 是确定性算法：
s[0]×31^(n−1) + s[1]×31^(n−2) + … + s[n−1]
这个公式保证相同内容字符串一定有相同 hash，不同内容可能碰撞。正因如此，JVM 必须搭配 equals() 使用，不能省略。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
