编译器是否生成跳转表取决于case值的稀疏性、范围和架构；仅当值连续或高度密集（如0–255）、数量≥5时才大概率触发，否则回退为二分查找或链式比较。
Switch 编译后真是跳转表吗？
不一定。编译器是否生成跳转表（jump table），取决于 case 值的稀疏程度、范围大小和目标架构。比如 switch (x) { case 1: ... case 1000: ... }，中间缺了 998 个值，GCC/Clang 通常不会生成跳转表，而是回退到二分查找或链式比较——这时性能反而不如手写哈希或数组查表。
实操建议：
- 用
objdump -d或 Compiler Explorer（godbolt.org）看汇编输出，确认是否真有jmpq *xxx(,%rax,8)这类间接跳转指令 - 保证
case值连续或高度密集（如0到255），且数量 ≥ 5，才大概率触发跳转表优化 - 加
[[likely]]（C++20）对高频分支做提示，但不影响跳转表生成逻辑
用数组查表替代 switch 的前提条件
数组查表快，但只适用于整型键、值域可控、内存可接受的场景。它不是万能替换，而是一种有明确边界的优化策略。
常见错误现象：std::vector<:function>> handlers;</:function> 存函数对象 → 每次调用带虚函数开销 + 缓存不友好；或者用 std::map<int std::function>></int> → 红黑树 O(log n) 查找，比原始 switch 还慢。
立即学习“C++免费学习笔记（深入）”；
实操建议：
- 键必须是小范围非负整数（如枚举值、状态码），推荐用
enum class State : uint8_t配合std::array - 避免在表里存
std::function；优先用函数指针void (*)()或 lambda（需确保无捕获，否则无法转为函数指针） - 示例：
constexpr std::array<void(*)(), 4> handlers = {&handle_a, &handle_b, &handle_c, &handle_d};<br>if (state < handlers.size()) handlers[state]();
constexpr 查表 + 模板展开能绕过运行时判断吗？
能，但仅限编译期已知的键。比如模板参数或 constexpr 变量驱动的查找，可完全消除分支和查表开销。
使用场景：协议解析中固定字段类型映射、硬件寄存器配置索引、编译期状态机转移。
容易踩的坑：
-
constexpr if要求条件在编译期可判定，传入普通变量（哪怕值是 0）会编译失败 - 模板展开查表若键值过多（如 1000+），可能触发编译器递归深度限制或生成巨大代码体积
- 别用
std::array+operator[]在 constexpr 上下文中——C++20 前不支持，得用std::get<i>(arr)</i>或结构化绑定
为什么有时候 map 或 unordered_map 反而更合适？
当键不是整数、分布极稀疏（比如只有 case 1:、case 999999:）、或需要运行时动态注册 handler 时，强行用数组查表会导致内存爆炸或逻辑断裂。
性能影响明显：
-
std::map：O(log n)，适合键少（ -
std::unordered_map：平均 O(1)，但哈希冲突、rehash、指针跳转都会破坏局部性；小规模数据（ - 真正关键的是：如果 switch 原本就只有 3–5 个分支，换成任何查表都属于过度优化
复杂点在于——查表优化不是“越早做越好”，而是等 profile 显示 switch 真成了 hot path，且键满足约束，再动手。不然只是把问题从一处搬到另一处。
