C++20高级编程

本书为第一本本版的C++20高级编程书籍，作者为华为海思高级工程师，其技术能力出众，在华为技术圈很有知名度，常年活跃在GitHub，其技术文章受到广大网友的关注与转载。本书是作者多年编程经验的总结，除了详解C++20的概念约束、协程、Ranges、模块等新特征外，还重点讲述库、框架开发的高级编程技术，以独特的视角和丰富的案例帮助读者掌握C++20。随书附赠全部案例源码。

本书主要讲解C++库、框架开发中的高级编程技术，以及近期新的C++20标准特性。全书共10章，分别为：类型与对象、编译时多态、概念约束、元编程介绍、模板元编程、constexpr元编程、Ranges标准库、协程、模块、综合运用。其中C++20的四大特性独立成章，一些小的特性则贯穿于全书，其他章节则探讨了面向对象、元编程、函数式编程、并发编程等话题。 本书针对以上新特性准备了丰富的代码样例，并随书附赠全部案例源码。相信通过这些代码，读者很容易掌握这些新特性。作为一本讲解C++高级编程的书，本书还探讨了很多元编程话题，这是作为库开发必不可少的技能，它们也将随着C++的演进而不断演进，大大提升库开发者的编程体验，尤其是近年来C++的标准提案经历了从模板元编程向constexpr元编程转换的过程。 本书适合中高级C++程序员、架构师、框架开发者阅读，阅读前优选能够掌握一些现代C++的知识。对于想要系统性学习C++20并进阶C++技能的读者，一定不要错过本书。

罗能，华为海思高级工程师，2015年获得安徽省ACM编程竞赛全省第一名，2018年获得华为无线编程竞赛冠军。知乎《魅力C++》专栏作者，累计收获6000+赞，7000+收藏，阅读量超100万。 熟悉面向对象编程、函数式编程，经常活跃于开源社区，为开源社区贡献过多项代码，GitHub累计收获1300+星。

序
前言
第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
……