零开销原则

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
重复语句（循环）
for 范围 for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
lambda 函数表达式
inline 说明符
动态异常说明 (C++17 前*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	处理块
命名空间
命名空间声明	命名空间别名
类型
基础类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype (C++11)   auto (C++11)	constexpr (C++11)   consteval (C++20) constinit (C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11) 常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整数 - 浮点
字符 - 字符串 - nullptr (C++11)
用户定义 (C++11)
工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特有的函数性质
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 形参包 (C++11)
杂项
内联汇编	C++ 的历史

 

零开销原则是一个 C++ 设计原则，所说的是：

1. 你不需要为你没有用到的（特性）付出。
2. 你所用的正与你所能合理手写的效率相同。

总而言之，这表示某特性引发的开销如果，不论在时间还是空间方面，会大于程序员自己实现该特性产生的开销，那么该特性不应该添加到 C++。

语言中仅有的两个不遵循零开销原则的特性是运行时类型鉴别与异常，因此大多数编译器提供关闭它们的开关。

外部链接

1.	C++ 的基础 - Bjarne Stroustrup
2.	C++ 异常与代替品 - Bjarne Stroustrup
3.	反碎片化 C++ - 使异常与 RTTI 更廉价且可用 - Herb Sutter
4.	Bjarne Stroustrup: C++ 人工智能（AI）播客