C++20实践入门（第6版）

欢迎阅读本书。本书是Ivor Horton撰写的Beginning ANSI C 的修订更新版本。自从那本书出版以后，C 语言已经被大量扩展和改进，使得如今已经无法在一本书中详细解释完整的C 语言。本书将介绍C 语言和标准库特性的基本知识，足以让读者开始编写自己的C 程序。学习完本书后，读者将有能力扩展自己的C 技能的深度和广度。
我们假定读者没有任何编程经验。如果读者乐于学习，并且擅长逻辑思维，那么理解C 并没有想象中那么难。通过开发C 技能，读者将学习一种已经有数百万人使用的编程语言，而且这种语言能够用来在几乎任何环境中开发应用程序。
C 非常强大，甚至可以说，它比大部分编程语言更加强大。所以，就像任何强大工具一样，如果不经训练就开始使用，可能造成严重伤害。我们常把C 比作瑞士军刀：由来已久，大众信任，极为灵活，但也可能令人茫然，并且到处是尖锐的东西，可能伤害自己。但是，当有人明明白白解释不同工具的用途，并讲解一些基本的用刀安全守则之后，就再也不需要寻找其他小型刀具了。
学习C 并不像想象中的那样具有很大危险或困难。如今的C 要比许多人想象中的更容易理解。自从40年前C 语言问世之后，现在已经有了长足的改进。我们已经学会了如何以安全有效的方式使用其强大的功能和工具。而且，可能更重要的是，C 语言及其标准库也相应地发生了演化，更便于使用。特别是，过去十年间，“现代C ”开始崛起。现代C 强调使用更新、更具表达力、更安全的语言特性，并结合经过实践验证的实践和编码指导原则。当知道并应用一些简单的规则和技术后，C 的许多复杂性将随之消失。关键在于有人能够恰当地、循序渐进地解释C 能做什么，还能解释应该使用C 去做什么。这正是本书的目的。
在这本修订版中，我们不遗余力，使内容跟上C 编程的这个新时代。当然，与以前的版本一样，我们仍然采用轻松的、循序渐进的方式进行讲解。我们使用许多实用的编码示例和练习题，展示C 旧有的和新增的所有功能。还不只如此：我们更加努力确保总是解释实现某种目的的适合工具，为什么如此选择，以及如何避免造成失误。我们确保读者从一开始学习C ，就采用安全高效的现代编程风格，而这会是未来的雇主们希望员工具备的技能。
本书讲解的C 语言对应于的国际标准化组织(International Organization for Standardization，ISO)标准，常被称为C 20。但是，我们并没有介绍C 20的全部内容，因为相比C 语言之前的版本，C 20所做的一些扩展针对的是高级应用。
如何使用本书
要通过本书学习C ，需要有一个支持C 20标准的编译器和一个适合编写程序代码的文本编辑器。目前有一些编译器在一定程度上支持C 20，其中有几个是免费的。
■注意：在撰写本书时，还没有编译器完全支持C 20。如果过去发生的事情能够作为参考，那么我们相信编译器很快会迎头赶上。https://en.cppreference.com/w/cpp/compiler_support对所有主流编译器支持的C 20特性提供了很好的概览。如果读者使用的编译器还不支持某个特性，则可能需要跳过一些示例，或者用替代方案修改那些示例。
GCC和Clang编译器是免费、开源的编译器，对C 20提供了越来越多的支持。对于新手，安装这两个编译器，并将其与合适的编辑器关联起来并不容易。安装GCC和合适的编辑器有一种简单的方法，即下载一个免费的集成开发环境(IDE)，如Code::Blocks或Qt Creator。这些IDE支持使用几种编译器进行完整的程序开发，其中包括GCC和Clang。
另一种选择是使用商用的Microsoft Visual C IDE，它运行在Microsoft Windows上。Microsoft Visual C 的Community版本可供个人甚至小规模专业团队免费使用，并且它对C 20的支持与GCC和Clang处于同等水平。Visual Studio提供了一个功能全面、易于使用的专业编辑器和调试器，以及对其他语言(如C#和JavaScript)的支持。
还有其他一些编译器也支持C 20，在网上进行搜索可了解它们。
本书内容应当按顺序阅读，所以读者应该从头读起，直到读完本书。但是，只通过读书是无法学会编程的。只有实际编写代码，才能学会如何用C 编写程序，所以一定要自己输入所有示例(而不要简单地从下载文件中复制代码)，然后编译并执行自己输入的代码。这项工作有时候看起来会很枯燥，但是读者会惊奇地发现，仅仅输入C 语句就对理解C 有巨大帮助，在感觉难以理解某些思想的时候更是如此。如果某个示例不能工作，先不要急于翻阅本书来查找原因。试着从代码中分析什么地方出错。这是一种很好的练习，因为在实际开发C 应用程序时，更多的时候需要自己分析代码。
犯错是学习过程中不可缺少的一部分，书中的练习题给了读者大量机会来犯错。自己设计一些练习题是一个好主意。如果不确定怎么解决一个问题，先自己试一试，然后查看答案。犯错越多，对什么地方会出错的理解就越深刻。确保完成所有练习题，并且要记住，只有确定自己解决不了问题时才查看答案。大部分练习题只需要直接运用对应章节中的知识，换言之，它们只是练习而已，但是也有一些练习题需要深入思考，甚至需要一些灵感。
我们希望读者能够掌握C ，并且重要的是，享受使用C 编写程序的过程。
源代码下载
读者可扫描以下的二维码(也可扫描封底二维码)下载在线提供的附录A，其中包括所有示例和练习的源代码。
 

主要内容： ● 开始使用C 20标准编写程序 ● 使用C 进行模块化编程 ● 使用数组、循环、指针、引用和字符串等 ● 编写自己的函数、类型和运算符 ● 了解面向对象编程的要素 ● 使用重载、继承、虚函数和多态性 ● 编写泛型函数和类模板，并使用概念让它们更安全 ● 深入了解容器、算法和范围 ● 使用自动类型推断、异常、移动语义、lambda表达式等

Ivor Horton从数学系毕业，却被信息技术领域工作量少、回报高的前景所吸引。虽然现实证明，工作量大，回报相对一般，但是他与计算机一直相伴到今天。在不同的时期，他参与过编程、系统设计、咨询以及相当复杂的项目的管理和实施工作。 
Ivor有多年工程设计和制造控制系统的设计和实施经验。他使用多种编程语言开发过在不同场景中很实用的应用程序，并教会一些科学家和工程师如何使用编程语言开发一些实用的程序。他目前已出版的图书涵盖 C、C 和Java等编程语言。当他没有在撰写编程图书或者为他人提供咨询服务时，

他会去钓鱼或旅行，享受生活。 
Peter Van Weert是一名比利时软件工程师，主要兴趣和专长是应用软件开发、编程语言、算法和数据结构。
他在比利时鲁汶大学以毕业生荣誉获得计算机科学硕士学位，并得到了考试委员会的祝贺。 2010年，他在鲁汶大学的声明式编程语言和人工智能研究组完成了博士论文，主题是基于规则的编程语言的设计和高效编译。在攻读博士学位期间，他担任面向对象编程 (Java)、软件分析与设计以及声明式编程的助教。

毕业后， Peter在Nikon Metrology工作了 6年多，负责3D激光扫描和点云检查领域的大规模工业应用软件设计。如今，Peter担任Medicim的高级 C 工程师和 Scrum团队主管， Medicim是Envista Holdings的数字牙医软件研发部。在 Medicim，他与同事共同为牙医开发了一套软件，这套软件能够从各种硬件获取患者数据，还提供了高级诊断功能，并支持为种植牙和假体进行规划和设计。
在他的职业生涯中，他参与过高级桌面应用开发，掌握并重构了包含几百万行 C 代码的代码库，对 3D数据进行过高性能的实时处理，还研究过并发性、算法和数据结构，与尖端硬件进行交互，以及领导敏捷开发团队。
在空闲时间，他与人合作撰写了两本关于 C 的图书，开发了两个获奖的 Windows应用，并且是比利时 C 用户组的定期专家演讲人和董事会成员。

第1章  基本概念 1
1.1  现代C 1
1.2  标准库 2
1.3  C 程序概念 3
1.3.1  源文件 3
1.3.2  注释和空白 3
1.3.3  标准库模块 4
1.3.4  函数 4
1.3.5  语句 5
1.3.6  数据的输入和输出 6
1.3.7  return语句 6
1.3.8  名称空间 6
1.3.9  名称和关键字 7
1.4  类和对象 7
1.5  模板 8
1.6  代码的表示样式和编程风格 8
1.7  创建可执行文件 9
1.8  过程化编程和面向对象编程 10
1.9  表示数字 11
1.9.1  二进制数 11
1.9.2  十六进制数 12
1.9.3  负的二进制数 13
1.9.4  八进制数 15
1.9.5  Big-Endian和Little-Endian系统 15
1.9.6  浮点数 16
1.10  表示字符 17
1.10.1  ASCII 码 18
1.10.2  UCS和Unicode 18
1.11  C 源字符 19
1.12  本章小结 20
1.13  练习 21
第2章  基本数据类型 23
2.1  变量、数据和数据类型 23
2.1.1  定义整型变量 24
2.1.2  零初始化 27
2.1.3  定义有固定值的变量 27
2.2  整型字面量 27
2.2.1  十进制整型字面量 27
2.2.2  十六进制的整型字面量 28
2.2.3  八进制的整型字面量 29
2.2.4  二进制的整型字面量 29
2.3  整数的计算 29
2.4  赋值运算 31
2.5  sizeof运算符 35
2.6  整数的递增和递减 35
2.7  定义浮点变量 37
2.8  浮点字面量 38
2.9  浮点数的计算 38
2.9.1  数学常量 38
2.9.2  数学函数 39
2.9.3  无效的浮点结果 42
2.9.4  缺点 43
2.10  混合的表达式和类型转换 43
2.11  显式类型转换 44
2.12  格式化字符串 47
2.13  确定数值的上下限 52
2.14  使用字符变量 54
2.15  auto关键字 56
2.16  本章小结 57
2.17  练习 57
第3章  处理基本数据类型 59
3.1  运算符的优先级和相关性 59
3.2  位运算符 61
3.2.1  移位运算符 61
3.2.2  位模式下的逻辑运算 64
3.3  变量的生存期 69
3.4  全局变量 70
3.5  枚举数据类型 73
3.6  数据类型的别名 76
3.7  本章小结 77
3.8  练习 78
第4章  决策 79
4.1  比较数据值 79
4.1.1  应用比较运算符 80
4.1.2  比较浮点数值 81
4.1.3  太空飞船运算符 82
4.2  if语句 84
4.2.1  嵌套的if语句 87
4.2.2  字符分类和转换 88
4.3  if-else语句 90
4.3.1  嵌套的if-else语句 91
4.3.2  理解嵌套的if语句 92
4.4  逻辑运算符 93
4.4.1  逻辑与运算符 94
4.4.2  逻辑或运算符 94
4.4.3  逻辑非运算符 95
4.4.4  组合逻辑运算符 95
4.4.5  对整数操作数应用逻辑运算符 97
4.4.6  对比逻辑运算符与位运算符 97
4.5  条件运算符 99
4.6  switch语句 100
4.7  语句块和变量作用域 106
4.8  本章小结 108
4.9  练习 108
第5章  数组和循环 111
5.1  数组 111
5.2  理解循环 113
5.3  for循环 113
5.4  避免幻数 115
5.5  用初始化列表定义数组的大小 117
5.6  确定数组的大小 117
5.7  用浮点数控制for循环 119
5.8  使用更复杂的for循环控制
表达式 120
5.9  基于范围的for循环 122
5.10  while循环 123
5.11  do-while循环 125
5.12  嵌套的循环 127
5.13  跳过循环迭代 129
5.14  循环的中断 131
5.15  使用无符号整数控制for循环 134
5.16  字符数组 135
5.17  多维数组 138
5.17.1  初始化多维数组 140
5.17.2  多维字符数组 141
5.18  在运行期间给数组分配内存
空间 143
5.19  数组的替代品 145
5.19.1  使用array<T,N>容器 145
5.19.2  使用std::vector<T>容器 150
5.20  本章小结 153
5.21  练习 154
第6章  指针和引用 157
6.1  什么是指针 157
6.2  地址运算符 159
6.3  间接运算符 160
6.4  为什么使用指针 161
6.5  char类型的指针 162
6.6  常量指针和指向常量的指针 165
6.7  指针和数组 167
6.7.1  指针的算术运算 168
6.7.2  使用数组名的指针表示法 170
6.8  动态内存分配 172
6.8.1  栈和自由存储区 172
6.8.2  运算符new和delete 173
6.8.3  数组的动态内存分配 174
6.9  通过指针选择成员 177
6.10  动态内存分配的危险 178
6.10.1  悬挂指针和多次释放 178
6.10.2  分配与释放的不匹配 178
6.10.3  内存泄漏 179
6.10.4  自由存储区的碎片 179
6.11  内存分配的黄金准则 180
6.12  原始指针和智能指针 180
6.12.1  使用unique_ptr<T>指针 181
6.12.2  使用shared_ptr<T>指针 184
6.13  理解引用 187
6.13.1  定义引用 187
6.13.2  在基于范围的for循环中
使用引用变量 188
6.14  本章小结 189
6.15  练习 190
第7章  操作字符串 191
7.1  更强大的string类 191
7.1.1  定义string对象 191
7.1.2  string对象的操作 195
7.1.3  访问字符串中的字符 198
7.1.4  访问子字符串 200
7.1.5  比较字符串 201
7.1.6  搜索字符串 207
7.1.7  修改字符串 213
7.1.8  对比std::string与
std::vector<char> 217
7.2  将字符串转换为数字 217
7.3  国际字符串 218
7.3.1  存储wchar_t字符的字符串 218
7.3.2  包含Unicode字符串的对象 219
7.4  原始字符串字面量 219
7.5  本章小结 221
7.6  练习 221
第8章  定义函数 223
8.1  程序的分解 223
8.1.1  类中的函数 224
8.1.2  函数的特征 224
8.2  定义函数 224
8.2.1  函数体 226
8.2.2  返回值 227
8.2.3  函数声明 227
8.3  给函数传递实参 229
8.3.1  按值传递 229
8.3.2  按引用传递 236
8.4  默认实参值 242
8.5  main()函数的实参 244
8.6  从函数中返回值 245
8.6.1  返回指针 245
8.6.2  返回引用 249
8.6.3  对比返回值与输出参数 249
8.6.4  返回类型推断 250
8.7  静态变量 251
8.8  函数重载 252
8.8.1  重载和指针参数 254
8.8.2  重载和引用参数 254
8.8.3  重载和const参数 256
8.8.4  重载和默认实参值 257
8.9  递归 258
8.9.1  基本示例 258
8.9.2  递归算法 260
8.10  本章小结 265
8.11  练习 266
第9章  词汇类型 269
9.1  使用可选值 269
9.2  字符串视图：新的const string
引用 272
9.2.1  使用字符串视图函数参数 274
9.2.2  合适的动机 274
9.3  span：新的向量或数组引用 275
9.3.1  span与视图 276
9.3.2  const元素的span 277
9.3.3  固定大小的span 278
9.4  本章小结 278
9.5  练习 278
第10章  函数模板 281
10.1  函数模板 281
10.2  创建函数模板的实例 282
10.3  模板类型参数 283
10.4  显式指定模板实参 284
10.5  函数模板的特化 284
10.6  函数模板和重载 285
10.7  带有多个参数的函数模板 286
10.8  模板的返回类型推断 287
10.9  模板参数的默认值 289
10.10  非类型的模板参数 290
10.11  缩写的函数模板 293
10.12  本章小结 294
10.13  练习 294
第11章  模块和名称空间 297
11.1  模块 297
11.1.1  个模块 298
11.1.2  导出块 300
11.1.3  将接口与实现分开 301
11.1.4  可达性与可见性 305
11.1.5  导出import声明 306
11.1.6  管理较大的模块 307
11.1.7  全局模块片段 310
11.2  名称空间 311
11