Zero-Cost Abstractions是C++核心设计哲学，即未使用的抽象不产生任何运行时开销，已使用的抽象经优化后性能等同手写汇编；其依托模板实例化、constexpr、静态绑定与RAII等机制保障成本可控透明。
Zero-Cost Abstractions（零成本抽象）是C++最根本的设计信条，不是某个语法糖或库特性，而是贯穿整个语言演进的底层哲学。它的核心就两条铁律，直接来自C++之父Bjarne Stroustrup 1994年的原话，至今未被修改：
你不用的，一分不花
编译器不会为未实例化、未调用、未启用的抽象生成任何运行时代码。比如：
- 模板类中未调用的成员函数，根本不会进入目标代码
- 未启用的constexpr分支，在编译期就被剪除，不留痕迹
- RAII对象若在作用域内未实际构造（如条件分支未进入），就不会有构造/析构开销
你用的，手写汇编也难超越
只要抽象被实际使用，编译器会将其彻底展开、内联、常量传播、死代码消除，最终生成的机器码与经验丰富的程序员手工写出的等效C风格代码几乎完全一致。例如：
- std::vector::at() 在开启优化后，若下标已知为安全，边界检查可被完全移除
- ranges::filter_view + ranges::transform_view 组合，在C++20中经编译器处理后，等价于一个无额外迭代器对象、无虚调用、无间接跳转的手写for循环
- unique_ptr的移动语义，生成的汇编通常就是几条寄存器传值指令，没有函数调用开销
它不是编译器“尽力而为”，而是语言机制保障
零成本不是靠运气或高阶优化开关实现的，而是依赖C++特有的机制设计：
立即学习“C++免费学习笔记（深入）”；
- 模板非特殊化不实例化：只有真正用到的模板特化才会触发代码生成
- inline和constexpr强制求值时机：把计算尽可能推到编译期，避免运行时决策
- 无隐式运行时多态：虚函数需显式声明；默认所有绑定都是静态的，杜绝意外开销
- RAII生命周期严格对应作用域：构造/析构时机确定，便于编译器精确调度和优化
它不等于“没有成本”，而是“成本可控且透明”
零成本抽象不承诺绝对零开销，而是确保：
- 所有成本都出现在你明确写出的代码位置（比如写了lock_guard，就有加锁；没写，就没有）
- 所有成本都可以通过查看汇编或禁用某特性来验证和剥离
- 没有隐藏依赖、没有后台线程、没有全局初始化副作用——成本不蔓延
