编译期优化核心是让编译器静态确认一切：用constexpr函数、模板非类型参数、宏裁剪和正确编译选项，使路径固化、循环展开、分支剔除，彻底消除运行时开销。
直接用编译期常量触发内联优化，能让核心算法在生成机器码时就固化执行路径、展开循环、剔除无效分支，彻底避开运行时判断和函数调用开销。关键不是写得多巧妙，而是让编译器能**静态确认一切**——参数是字面量、类型可推导、控制流可判定。
用 constexpr 函数固化高频计算
把索引映射、尺寸对齐、掩码生成等确定性运算写成 constexpr 函数，并确保所有输入都是编译期已知值（如字面量、模板参数或 constexpr 变量）。
- 合法示例：constexpr int padded_size(int n) { return ((n + 15) / 16) * 16; }，调用 padded_size(20) 在编译期直接算出 32，生成纯 mov 指令
- 常见错误：混入运行时变量，比如 int x = config.get(); padded_size(x) ——整函数退化为运行时执行，失去优化意义
- 推荐搭配：C++14 起支持多语句 constexpr，可写更自然的逻辑，但依然要避免 new、虚函数、I/O 等运行时行为
靠模板非类型参数驱动零成本特化
将影响内存布局、循环次数、数据类型的关键参数作为模板参数（size_t N、int ALIGN、bool USE_AVX），让编译器为每种组合生成专用版本。
- 例如向量加法：template
void vec_add(T* a, T* b, T* out) ，实例化为 vec_add后，循环自动展开为 8 条独立 addps 指令，无 cmp/jmp，无计数器寄存器 - 配合 if constexpr 做编译期分支：条件必须由模板参数决定，未选分支代码被完全删除，不占指令缓存也不干扰流水线
- 注意：避免过度泛化导致代码膨胀，对常用尺寸做显式实例化（template vec_add
; ）可控制符号导出
用宏与预处理器裁剪热路径冗余
在内核、协议栈、驱动等延迟敏感模块中，用宏开关控制日志、校验、边界检查等辅助逻辑，确保它们在编译期被整块移除。
- 典型写法：#ifdef KERNEL_OPTIMIZED 包裹边界检查；若未定义，相关 if 判断和处理函数体不会出现在目标文件中
- 宏比 constexpr bool 更早介入，适合控制大段逻辑或跨编译单元的裁剪，且不受 O0/O3 影响
- 建议统一前缀（如 KERNEL_）并配合构建系统管理，避免手工定义遗漏
配齐编译选项并验证是否生效
再好的代码，没有对应编译器支持也白搭。必须启用并确认优化真正落地。
- 基础组合：-O2（推荐生产环境）或 -O3（适合计算密集型），开启函数内联、常量传播、循环展开
- 进阶必备：-flto（链接时优化），实现跨源文件内联和死代码消除，尤其利于模板库与上层调用协同
- 辅助开关：-DNDEBUG 自动禁用 assert；-march=native 启用本地 CPU 特性（如 AVX-512）
- 验证方法：用 objdump -d your_binary | grep -A5 'your_func_name' 查看汇编输出，确认是否只剩纯指令、无 call/je/jne 等运行时痕迹
