目录

●序
前言
第1章 类型与对象
1.1 类型的作用
1.2 现代C++中对类型处理能力的演进
1.3 值类别（value category）
1.3.1 理解左值与右值
1.3.2 函数形参何时使用何种引用
1.3.3 转发引用与完美转发
1.4 类型推导
1.4.1 auto类型推导
1.4.2 decltype类型推导
1.4.3 decltype(auto)类型推导
1.4.4 std::declval元函数
1.4.5 类模板参数推导（CTAD）
1.5 函数对象
1.5.1 定义函数对象
1.5.2 lambda表达式
1.5.3 函数适配器
1.6 运行时多态
1.6.1 运行时多态手段
1.6.2 subtype多态vsadhoc多态
1.7 调试手段
1.7.1 编译时打印方案
1.7.2 运行时打印方案
1.7.3 使用外部工具
第2章 编译时多态
2.1 函数重载机制
2.1.1 名称查找
2.1.2 模板函数处理
2.1.3 重载决议
2.1.4 注意事项
2.1.5 再谈SFINAE
2.2 类型特征（Type traits）
2.2.1 Type traits谓词与变量模板
2.2.2 类型变换
2.2.3 辅助类
2.2.4 空基类优化
2.2.5 实现Type traits
2.2.6 类型内省
2.2.7 enable_if元函数
2.2.8 标签分发
2.2.9 if constexpr
2.2.10 void_t元函数
2.3 奇异递归模板
2.3.1 代码复用
2.3.2 静态多态
2.3.3 enable_shared_from_this模板类
2.4 表达式模板
2.4.1 标量延迟计算
2.4.2 向量延迟计算
2.4.3 提高表达力
2.5 注意事项
第3章 概念约束
3.1 定义概念
3.2 requires表达式
3.2.1 简单要求
3.2.2 类型要求
3.2.3 复合要求
3.2.4 嵌套要求
3.2.5 注意事项
3.3 requires子句
3.4 约束的偏序规则
3.4.1 约束表达式归一化
3.4.2 简单约束的包含关系
3.4.3 一般约束的包含关系
3.4.4 using类型别名与concept表达式别名
3.5 概念标准库<concepts>
3.5.1 same_as（与某类相同）
3.5.2 derived_from（派生自某类）
3.5.3 convertible_to（可转换为某类）
3.5.4 算术概念
3.5.5 值概念
3.5.6 invocable（可调用的）
3.6 综合运用之扩展transform变换算法
3.7 注意事项
第4章 元编程介绍
4.1 元编程历史
4.2 模板历史
4.3 constexpr历史
4.4 元编程能力与应用
4.4.1 零成本抽象
4.4.2 值计算
4.4.3 类型计算
4.4.4 编译时多态
4.4.5 类型安全
4.4.6 泛型编程
4.4.7 静态反射
4.4.8 内部领域特定语言EDSL
……