温宇杰，资深C++软件工程师，有多年C++开发经验，对C++模板编程和元编程有非常深入的研究，实践经验十分丰富。擅长组合优化算法及大规模集成电路辅助设计算法，对FPGA体系结构以及Verilog和VHDL等硬件描述语言也有非常深入的研究，曾主持并参与开发了一套完整设计流程的FPGA平台编译软件。

　　《实战系列：深入实践C++模板编程》以透彻分析原理为前提，深入讲解了模板编程的基本原理、标准库中算法与容器等模板的实现原理；以实践为导向，通过大量的模板向读者展示了如何使用模板进行编程以及如何编写自定义模板。除此之外，《实战系列：深入实践C++模板编程》还总结了各种常用的模板编程技巧、C++11标准中的模板新特性和新语法，以及C++11中新增的其他语言特性。
　　全书共16章，分为四部分：第一部分（第1～4章）首先介绍了模板编程的基本概念与用法，然后重点讨论了编译器对模板的具体实现方法及其局限，读者可以通过本部分内容理解模板的基本原理并自行实现简单的类模板与函数模板。第二部分（第5～9章）对标准库中的算法与容器的实现原理和用法进行了深入地剖析，读者通过本部分内容对标准库中的算法、迭代器与容器之间的关系有深入的理解，从而可以精确调节标准容器的行为，自行开发适用于标准算法的容器类模板。第三部分（第10～13章）讨论了模板编程的高级技巧，如模板编程中“概念”的设计、控制代码量的技术、编译期逻辑的控制以及元编程的基本方法等，读者可以通过本部分内容开发更具规模、更加智能的模板库，并利用元编程技术实现编译期的逻辑演绎与类型推导。第四部分（第14～16章）介绍了C++11标准中的新增语言特性，以及对模板编程的影响。

前言

第一部分  模板基础

第1章  Hello模板 / 2

1．1  为什么需要模板 / 2

1．2  初识函数模板 / 3

1．2．1  函数模板的实现 / 3

1．2．2  如何使用函数模板 / 4

1．2．3  模板参数自动推导 / 5

1．2．4  模板参数默认值 / 7

1．2．5  模板函数的静态变量 / 8

1．3  如何处理函数模板中的函数体 / 8

1．3．1  HPP文件还是CPP文件 / 9

1．3．2  链接器如何识别重复模板实例 / 10

1．4  尴尬的Export Template / 13

1．4．1  什么是外名模板 / 13

1．4．2  C++编译器对外名模板的处理 / 14

1．5  本章小结 / 15

第2章  类亦模板 / 16

2．1  类型无关的数据结构 / 16

2．2  实践——栈类模板 / 17

2．2．1  栈类模板实例 / 17

2．2．2  栈类模板衍生子类模板实例 / 20

2．3  突破——异质链表 / 21

2．4  构造元组 / 23

2．4．1  通过嵌套实现元组 / 23

2．4．2  用类实现元组 / 24

2．5  类模板的用法 / 25

2．5．1  成员函数模板 / 25

2．5．2  友元函数模板 / 26

2．6  类模板的静态成员 / 27

2．7  本章小结 / 30

第3章  模板参数类型详解 / 31

3．1  整数模板参数 / 31

3．2  函数指针模板参数 / 32

3．3  指针及引用模板参数 / 34

3．4  成员函数指针模板参数 / 35

3．5  模板型模板参数 / 37

3．6  本章小结 / 39

第4章  凡事总有“特例” / 40

4．1  从vector说起 / 40

4．2  特例的多种写法 / 44

4．3  特例匹配规则 / 46

4．4  函数模板的特例与重载 / 47

4．4．1  分辨重载 / 50

4．4．2  编译期的条件判断逻辑 / 52

4．5  本章小结 / 54

第二部分  标准库中的模板

第5章  容器、迭代器与算法 / 56

5．1  容器的定义 / 56

5．2  容器的实现 / 56

5．2．1  Java的实现方法 / 57

5．2．2  C++的实现方法 / 60

5．3  容器与迭代器 / 62

5．3．1  链表容器与迭代器 / 64

5．3．2  集合容器与迭代器 / 67

5．4  迭代器与算法 / 71

5．4．1  求容器中元素之和 / 71

5．4．2  实例：微型算法库 / 73

5．5  容器与迭代器的分类 / 75

5．6  容器与算法的关系 / 76

5．7  迭代器的陷阱 / 76

5．8  本章小结 / 77

第6章  标准库中的容器 / 79

6．1  容器的分类及基本要求 / 79

6．2  序列型容器 / 81

6．2．1  变长数组vector / 82

6．2．2  双向链表list / 84

6．2．3  双端序列deque / 85

6．3  容器转换器 / 87

6．3．1  栈stack与队列queue / 87

6．3．2  优先队列priority_queue / 88

6．4  关联型容器 / 89

6．4．1  基本数据结构 / 89

6．4．2  内嵌类型定义 / 92

6．4．3  构造关联型容器 / 92

6．4．4  插入数据 / 93

6．4．5  数据的删除、查找与访问 / 96

6．4．6  整数值专用集合bitset / 98

6．5  散列表容器 / 99

6．5．1  基本数据结构 / 99

6．5．2  散列函数 / 100

6．5．3  桶 / 101

6．6  其他C++11新容器 / 104

6．6．1  定长数组array / 104

6．6．2  单向链表forward_list / 105

6．7  本章小结 / 106

第7章  隐形的助手——分配器 / 107

7．1  分配器的基本要求 / 107

7．2  交换容器内容时的特殊处理 / 110

7．3  有态分配器与无态分配器 / 112

7．4  实践：池分配器 / 114

7．4．1  池分配器模板类的设计 / 115

7．4．2  对象池的实现 / 116

7．4．3  定位构造 / 121

7．4．4  池分配器的实现 / 122

7．4．5  测试池分配器 / 127

7．4．6  实际运行 / 129

7．5  本章小结 / 131

第8章  标准库中的迭代器 / 132

8．1  迭代器分类 / 132

8．1．1  输入迭代器 / 132

8．1．2  前向迭代器 / 133

8．1．3  双向迭代器与跳转迭代器 / 135

8．1．4  输出迭代器 / 136

8．2  迭代器属性类模板 / 137

8．3  迭代器转换器 / 139

8．3．1  反转迭代器 / 139

8．3．2  插入迭代器 / 141

8．4  流迭代器 / 142

8．5  本章小结 / 144

第9章  标准库中的算法 / 145

9．1  算法的共同特征 / 145

9．2  标准库中的常用算法 / 145

9．2．1  foreach的三种写法 / 146

9．2．2  搜索 / 147

9．2．3  计数与比较 / 149

9．2．4  复制、交换、替换与删除 / 149

9．2．5  排序 / 151

9．2．6  二分搜索 / 151

9．2．7  集合运算 / 152

9．2．8  二叉堆操作 / 154

9．2．9  其他算法 / 154

9．3  预设函数对象 / 155

9．3．1  函数对象基类 / 155

9．3．2  运算函数对象 / 156

9．3．3  参数绑定 / 157

9．4  实践：矩阵操作中如何消除循环语句 / 165

9．4．1  跨跃迭代器 / 165

9．4．2  矩阵类模板 / 167

9．4．3  累计迭代器 / 169

9．4．4  矩阵乘法 / 170

9．4．5  矩阵LU分解 / 171

9．4．6  组合迭代器 / 172

9．4．7  没有循环语句的矩阵乘法 / 177

9．5  本章小结 / 178

第三部分  模板编程高级技巧

第10章  专用名词——概念 / 180

10．1  模板的先天不足 / 180

10．2  “概念”的提案及ConceptGCC编译器 / 181

10．3  概念语法 / 183

10．3．1  定义概念 / 183

10．3．2  用概念约束模板参数 / 184

10．3．3  概念映射 / 184

10．4  概念模拟库 / 186

10．4．1  概念检查宏 / 187

10．4．2  自定义概念检查 / 189

10．4．3  概念典型 / 190

10．5  本章小结 / 191

第11章  代码膨胀 / 192

11．1  源代码的增加 / 192

11．1．1  代理类的困境 / 192

11．1．2  D语言的方法 / 195

11．2  目标代码的增加 / 196

11．2．1  目标代码膨胀的成因 / 196

11．2．2  目标代码膨胀实例 / 197

11．2．3  改进代码 / 198

11．2．4  测试改进效果 / 206

11．3  本章小结 / 208

第12章  常用模板编程技巧 / 209

12．1  标签与特性 / 209

12．1．1  特性类模板numeric_limits / 209

12．1．2  实例：矩阵与向量乘法 / 211

12．2  编译期多态 / 213

12．2．1  全覆盖的函数模板 / 213

12．2．2  虚函数的启发 / 213

12．2．3  虚基类模板 / 214

12．3  策略 / 217

12．3．1  策略的产生：再说vector的不足 / 217

12．3．2  为vector添加存储策略 / 218

12．4  伪变长参数模板 / 223

12．4．1  hetero_node的启发 / 224

12．4．2  编译期递归 / 225

12．4．3  访问元组中的数据 / 227

12．5  本章小结 / 230

第13章  元编程 / 231

13．1  C++中的元编程 / 231

13．2  元函数 / 231

13．2．1  元函数的实现 / 231

13．2．2  元函数的调用 / 233

13．3  元容器与元算法 / 235

13．3．1  元容器的实现 / 235

13．3．2  实例：容纳5种类型的元容器 / 236

13．4  类型过滤 / 240

13．4．1  类型过滤元函数的实现 / 240

13．4．2  实例：应用元容器与元算法 / 242

13．5  本章小结 / 244

第四部分  模板与C++11

第14章  右值引用 / 246

14．1  右值引用的产生 / 246

14．1．1  函数的匿名返回值 / 246

14．1．2  返回值优化 / 249

14．2  右值引用基本概念 / 251

14．2．1  左值与非左值 / 251

14．2．2  右值与右值引用 / 252

14．2．3  移动构造与移动赋值 / 252

14．2．4  狭义与广义的右值 / 253

14．2．5  左值强制转义成右值引用 / 254

14．2．6  右值引用变量是左值 / 255

14．3  引用声明符消去规则 / 256

14．3．1  完美转发 / 256

14．3．2  实例：智能的min函数 / 260

14．4  移动与异常 / 263

14．4．1  迁移数据的风险 / 263

14．4．2  关键字noexcept / 265

14．4．3  转义函数模板 / 267

14．4．4  移动的效率问题 / 268

14．5  本章小结 / 269

第15章  模板新语法 / 270

15．1  变长参数模板 / 270

15．1．1  参数包 / 271

15．1．2  参数包的内容 / 272

15．1．3  参数包的展开模式 / 273

15．1．4  遍历参数包的内容 / 274

15．1．5  轻松实现元组 / 275

15．2  扩展的类型推导机制 / 276

15．2．1  自动类型变量 / 277

15．2．2  提取表达式结果类型 / 278

15．2．3  函数后置返回类型 / 280

15．3  其他模板新特性 / 281

15．3．1  外部模板实例 / 281

15．3．2  模板别名 / 282

15．3．3  连续的右尖括号 / 282

15．4  本章小结 / 283

第16章  C++11新特性集锦 / 284

16．1  λ表达式 / 284

16．1．1  λ表达式语法 / 284

16．1．2  变量捕获 / 285

16．2  初值列表新用法 / 290

16．2．1  构造变量 / 290

16．2．2  初值封装类模板 / 291

16．3  标准容器与算法的变化 / 292

16．3．1  对应右值引用 / 292

16．3．2  对应变长参数模板 / 293

16．3．3  对应初值列表 / 294

16．4  标准元组类模板 / 294

16．5  智能指针 / 296

16．5．1  独占指针unique_ptr / 297

16．5．2  共享指针shared_ptr与weak_ptr / 298

16．6  基于范围的for循环 / 299

16．7  拾遗 / 300

16．8  本章小结 / 301