C++ Templates 第2版英文版

作者: [美] 道格拉斯·格雷戈（Douglas Gregor）著 , [美] 戴维·范德沃德（David Vandevoorde）译 , [德] 尼古拉·约祖蒂斯（Nicolai M.Josuttis）译 , sy 译

出版社: 人民邮电出版社

出版时间: 2018-05

版次: 1

ISBN: 9787115479938

定价: 158.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 788页

正文语种: 英语

分类: 计算机与互联网

36人买过

本书是同名经典畅销图书的全新升级版本，针对C++11、C++14、C++17标准进行了全面更新，并对所有的新语言特性（包括可变参数模板、通用lambda、类模板参数推导等）进行了解释。

全书共28章。首先全面介绍了本书的内容结构和相关情况。第1部分（第1～11章）介绍了模板的基本概念，第2部分（第12～17章）深入阐述了模板的细节，第3部分（第18～28章）介绍了C++模板所支持的基本设计技术。附录A、附录B、附录C、附录D和附录E分别为一处定义原则、值类别、重载解析、标准类型实用程序和概念的相关资料。

本书适合对C++模板技术感兴趣的有一定经验的程序员阅读。 David Vandevoorde，Edison Design Group公司的工程副总裁，为公司的C++编译器中的一些关键特性进行了架构设计。他是知名的comp.lang.c++.moderat论坛的联合创始人，同时还积极投身于C++ 的标准化工作。他拥有伦斯勒理工学院计算机科学博士、硕士学位，以及布鲁塞尔自由大学的工程硕士学位。

Nicolai M. Josuttis，他是一位独立的系统架构师、技术经理、顾问以及培训师，过去20年以来他一直致力于C++的标准化工作。他还是The C++ Standard Library: A Tutorial and Reference (2nd Edition) 等书的作者。

Douglas Gregor，是一位知名的编译器人员，具有C++库的设计背景。作为Boost的早期贡献者，他开发的一些库被列入了C++标准。在对C++11提供支持的期间，他领导了开源的C++编译器 Clang的实现。他拥有伦斯勒理工学院的计算机科学博士学位。第 1部分：基本概念

1 Function Templates 第 1章函数模板

1．1 A First Look at Function Templates/初识函数模板

1．1．1 Defining the Template/定义模板

1．1．2 Using the Template/使用模板

1．1．3 Two-Phase Translation/二阶段翻译

1．2 Template Argument Deduction/模板参数推导

1．3 Multiple Template Parameters/多模板参数

1．3．1 Template Parameters for Return Types/返回类型的模板参数

1．3．2 Deducing the Return Type/推导返回类型

1．3．3 Return Type as CommonType/作为通用类型返回

1．4 Default Template Arguments/缺省模板参数

1．5 Overloading Function Templates/重载函数模板

1．6 But，Shouldn’t We．．． /但是，难道我们不应该…？

1．6．1 Pass by Value or by Reference /按值传递还是按引用传递？

1．6．2 Why Not inline 为什么不用inline呢？

1．6．3 Why Not constexpr 为什么不用constexpr呢？

1．7 Summary/小结

2 Class Template 第 2章类模板

2．1 Implementation of Class Template Stack/类模板Stack的实现

2．1．1 Declaration of Class Templates/类模板声明

2．1．2 Implementation of Member Functions/成员函数的实现

2．2 Use of Class Template Stack/类模板Stack的使用

2．3 Partial Usage of Class Templates/类模板的局部使用

2．3．1 Concepts/概念

2．4 Friends/友元

2．5 Specializations of Class Templates/类模板特化

2．6 Partial Specialization/偏特化

2．7 Default Class Template Arguments/缺省类模板参数

2．8 Type Aliases/类型别名

2．9 Class Template Argument Deduction/类模板参数推导

2．10 Templatized Aggregates/模板聚合

2．11 Summary/小结

3 Nontype Template Parameters 第3章非类型模板参数

3．1 Nontype Class Template Parameters/非类型类模板参数

3．2 Nontype Function Template Parameters/非类型函数模板参数

3．3 Restrictions for Nontype Template Parameters/非类型模板参数的限制

3．4 Template Parameter Type auto/模板参数类型auto

3．5 Summary/小结

4 Variadic Templates第4章可变参数模板

4．1 Variadic Templates/可变参数模板

4．1．1 Variadic Templates by Example/可变参数模板实例

4．1．2 Overloading Variadic and Nonvariadic Templates/重载可变参数和非可变参数模板

4．1．3 Operator sizeof/运算符sizeof

4．2 Fold Expressions/折叠表达式

4．3 Application of Variadic Templates /可变参数模板的应用

4．4 Variadic Class Templates and Variadic Expressions/可变参数类模板和可变参数表达式

4．4．1 Variadic Expressions/可变参数表达式

4．4．2 Variadic Indices/可变参数指数

4．4．3 Variadic Class Templates/可变参数类模板

4．4．4 Variadic Deduction Guides/可变参数推导指南

4．4．5 Variadic Base Classes and using/可变参数基类和using

4．5 Summary/小结

5 Tricky Basics 第5章基础技术

5．1 Keyword typename/关键字typename

5．2 Zero Initialization/零初始化

5．3 Using this-> / this-> 的使用

5．4 Templates for Raw Arrays and String Literals/原始数组和字符串字面量模板

5．5 Member Templates/成员模板

5．5．1 The ．template Construct/构造．template

5．5．2 Generic Lambdas and Member Templates/泛型Lambda与成员模板

5．6 Variable Templates/变量模板

5．7 Template Template Parameters/模板的模板参数

5．8 Summary/小结

6 Move Semantics and enable_if  第6章移动语义与enable_if

6．1 Perfect Forwarding/完美转发

6．2 Special Member Function Templates/特殊的成员函数模板

6．3 Disable Templates with enable_if /使用enable_if  禁用模板

6．4 Using enable_if /使用enable_if

6．5 Using Concepts to Simplify enable_if  Expressions/ 使用概念简化enable_if 表达式

6．6 Summary/小结

7 By Value or by Reference 第7章按值传递还是按引用传递？

7．1 Passing by Value/按值传递

7．2 Passing by Reference/按引用传递

7．2．1 Passing by Constant Reference/按常量引用调传递

7．2．2 Passing by Nonconstant Reference/按非常量引用传递

7．2．3 Passing by Forwarding Reference/按转发传递

7．3 Using std：：ref()andstd：：cref()/std：：ref() 和std：：cref()的使用

7．4 Dealing with String Literals and Raw Arrays/ 处理字符串字面量常量与原始数组

7．4．1 Special Implementations for String Literals and Raw Arrays/ 字符串字面量常量和原始数组的特殊实现

7．5 Dealing with Return Values/处理返回值

7．6 Recommended Template Parameter Declarations/模板参数声明推荐

7．7 Summary/小结

8 Compile-Time Programming 第8章编译时编程

8．1 Template Meta programming/模板元编程

8．2 Computing with constexpr/使用constexpr计算

8．3 Execution Path Selection with Partial Specialization/局部特化的执行路径选择

8．4 SFINAE(Substitution Failure Is Not An Error)/ SFINAE（替换失败并不是一种错误）

8．4．1 Expression SFINAE with decltype/ 带有decltype 的SFINAE表达式

8．5 Compile-Time if/编译时if

8．6 Summary/小结

9 Using Templates in Practice 第9章在实战中使用模板

9．1 The Inclusion Model/包含模型

9．1．1 Linker Errors/链接器错误

9．1．2 Templates in Header Files/头文件中的模板

9．2 Templates and inline/模板和内联

9．3 Precompiled Headers/预编译头文件

9．4 Decoding the Error Novel/破译大篇幅错误信息

9．5 Afternotes/本章后记

9．6 Summary/小结

10 Basic Template Terminology 第 10章基本模板术语

10．1“Class Template” or “Template Class” / “类模板”还是“模板类”

10．2 Substitution ， Instantiation ， and Specialization/替换、实例化和特化

10．3 Declarations versus Definitions/声明和定义

10．3．1 Complete versus Incomplete Types/完全和不完全类型

10．4 The One-Definition Rule/一处定义规则

10．5 Template Arguments versus Template Parameters/模板实数和模板形参

10．6 Summary/小结

11 Generic Libraries 第 11章泛型库

11．1 Callables/ Callable

11．1．1 Supporting Function Objects/支持函数对象

11．1．2 Dealing with Member Functions and Additional Arguments/处理成员函数和附加实参

11 ．1．3 Wrapping Function Calls/包装函数调用

11．2 Other Utilities to Implement Generic Libraries/实现泛型库的其他实用程序

11．2．1 Type Traits/ Type Traits

11．2．2 std：：addressof()/std：：addressof()

11．2．3 std：：declval()/std：：declval()

11．3 Perfect Forwarding Temporaries/完美转发临时对象

11．4 References as Template Parameters/引用为模板参数

11．5 Defer Evaluations/延迟评估

11．6 Things to Consider When Writing Generic Libraries/编写泛型库时需要考虑的事情

11．7 Summary/小结

PartII： Templates in Depth 第二部分深入模板

12 Fundamentals in Depth深入模板基础

12．1 Parameterized Declarations/参数化宣告

12．1．1 Virtual Member Functions/虚成员函数

12．1．2 Linkage of Templates/模板链接

12．1．3 Primary Templates/主模板

12．2 Template Parameters/模板形参

12．2．1 Type Parameters/类型形参

12．2．2 Nontype Parameters/非类型形参

12．2．3 Template Template Parameters/模板的模板形参

12．2．4 Template Parameter Packs/模板参数包

12．2．5 Default Template Arguments/缺省模板实参

12．3 Template Arguments/模板实参

12．3．1 Function Template Arguments/函数模板实参

12．3．2 Type Arguments/类型实参

12．3．3 Nontype Arguments/非类型实参

12．3．4 Template Template Arguments/模板的模板实参

12．3．5 Equivalence/实参的等价性

12．4 Variadic Templates/可变参数模板

12．4．1 Pack Expansions/包扩展

12．4．2 Where Can Pack Expansions Occur /在哪里进行包扩展？

12．4．3 Function Parameter Packs/函数的参数包

12．4．4 Multiple and Nested Pack Expansions/多重和嵌套包扩展

12．4．5 Zero-Length Pack Expansions/零长度包扩展

12．4．6 Fold Expressions/折叠表达式

12．5 Friends/友元

12．5．1 Friend Classes of Class Templates/类模板的友元类

12．5．2 Friend Functions of Class Templates /类模板的友元函数

12．5．3 Friend Templates/友元模板

12．6 Afternotes/本章后记

13 Names in Templates 第 13章模板中的名称

13．1 Name Taxonomy/名称的分类

13．2 Looking Up Names/名称的查找

13．2．1 Argument-Dependent Lookup/参数依赖查找（ADL）

13．2．2 Argument-Dependent Lookup of Friend Declarations/友元声明的ADL

13．2．3 Injected Class Names/注入式类名称

13．2．4 Current Instantiations/当前实例化

13．3 Parsing Templates/解析模板

13．3．1 Context Sensitivity in Nontemplates/非模板的上下文敏感性

13．3．2 Dependent Names of Types/类型的依赖名称

13．3．3 Dependent Names of Templates/模板的依赖名称

13．3．4 Dependent Names in Using Declarations/使用声明中的依赖名称

13．3．5 ADL and Explicit Template Arguments/ADL和显式模板实参

13．3．6 Dependent Expressions/依赖表达式

13．3．7 Compiler Errors/编译器错误

13．4 Inheritance and Class Templates/继承和类模板

13．4．1 Nondependent Base Classes/非依赖型基类

13．4．2 Dependent Base Classes/依赖型基类

13．5 Afternotes/本章后记

14 Instantiation 第 14章实例化

14．1 On-Demand Instantiation/ 按需实例化

14．2 Lazy Instantiation/延迟实例化

14．2．1 Partial and Full Instantiation/部分和全部实例化

14．2．2 Instantiated Components/实例化组件

14．3 The C++ Instantiation Model/C++实例化模型

14．3．1 Two-Phase Lookup/二阶段查找

14．3．2 Points of Instantiation/实例化点

14．3．3 The Inclusion Model/包含模型

14．4 Implementation Schemes/实现方案

14．4．1 Greedy Instantiation/贪婪实例化

14．4．2 Queried Instantiation/询问实例化

14．4．3 Iterated Instantiation/迭代实例化

14．5 Explicit Instantiation/显式实例化

14．5．1 Manual Instantiation/手动实例化

14．5．2 Explicit Instantiation Declarations/显式实例化声明

14．6 Compile-Time if Statements/ 编译时if语句

14．7 In the Standard Library/标准库

14．8 Afternotes/本章后记

15 Template Argument Deduction 第 15章模板实参推导

15．1 The Deduction Process/推导过程

15．2 Deduced Contexts/推导上下文

15．3 Special Deduction Situations/特殊的推导情况

15．4 Initializer Lists/初始化列表

15．5 Parameter Packs/形参包

15．5．1 Literal Operator Templates/字面运算符模板

15．6 Rvalue References/右值引用

15．6．1 Reference Collapsing Rules/引用折叠原则

15．6．2 Forwarding References/转发引用

15．6．3 Perfect Forwarding/完美转发

15．6．4 Deduction Surprises/推导的惊喜

15．7 SFINAE(Substitution Failure Is Not An Error )/ 替换失败并不是错误

15．7．1 Immediate Context/即时上下文

15．8 Limitations of Deduction/推导的限制

15．8．1 Allowable Argument Conversions/可接受的实参转换

15．8．2 Class Template Arguments/类模板实参

15．8．3 Default Call Arguments/缺省调用实参

15．8．4 Exception Specifications/异常规范

15．9 Explicit Function Template Arguments/显式函数模板实参

15．10 Deduction from Initializers and Expressions/从初始化和表达式中推导

15．10．1 The auto Type Specifier/ auto类型说明符

15．10．2 Expressing the Type of an Expression with decltype/用 decltype表示表达式的类型

15．10．3 decltype(auto)/ decltype(auto)

15．10．4 Special Situations for auto Deduction/ auto推导的特殊情况

15．10．5 Structured Bindings/结构化绑定

15．10．6 Generic Lambdas/ 泛型Lambda表达式

15．11 Alias Templates/别名模板

15．12 Class Template Argument Deduction/类模板实参推导

15．12．1 Deduction Guides/ 推导指南

15．12．2 Implicit Deduction Guides/隐式推导指南

15．12．3 Other Subtleties/其他细节

15．13 Afternotes/本章后记

16 Specialization and Overloading 特化和重载

16．1 When“Generic Code” Doesn’t Quite Cut It/当“泛型代码”并不能很好地解决问题时

16．1．1 Transparent Customization/ 透明自定义

16．1．2 Semantic Transparency/语义透明度

16．2 Overloading Function Templates/重载函数模板

16．2．1 Signatures/签名

16．2．2 Partial Ordering of Overloaded Function Templates/重载函数模板的偏序

16．2．3 Formal Ordering Rules/正式的排序规则

16．2．4 Templates and Nontemplates/模板和非模板

16．2．5 Variadic Function Templates/可变参数函数模板

16．3 Explicit Specialization/显式特化

16．3．1 Full Class Template Specialization/全局类模板特化

16．3．2 Full Function Template Specialization/全局函数模板特化

16．3．3 Full Variable Template Specialization/全局可变模板特化

16．3．4 Full Member Specialization/全局成员特化．．

16．4 Partial Class Template Specialization/局部类模板特化

16．5 Partial Variable Template Specialization/局部可变模板特化

16．6 Afternotes/本章后记

17 Future Directions 第 17章未来发展方向

17．1 Relaxed typename Rules/宽松的typename原则

17．2 Generalized Nontype Template Parameters/广义非类型模板参数

17．3 Partial Specialization of Function Templates/函数模板的局部特化

17．4 Named Template Arguments/命名模板实参

17．5 Overloaded Class Templates/重载类模板

17．6 Deduction for Nonfinal Pack Expansions/中间包扩展的推导

17．7 Regularization of void/void的规范化

17．8 Type Checking for Templates/模板的类型检查

17．9 Reflective Meta programming/反射元编程

17．10 Pack Facilities/包管理工具

17．11 Modules/模块

PartIII： Templates and Design 第3部分模板和设计

18 The Polymorphic Power of Templates 第 18章模板的多态性

18．1 Dynamic Polymorphism/动态多态性

18．2 Static Polymorphism/静态多态性

18．3 Dynamic versus Static Polymorphism/动态多态性与静态多态性

18．4 Using Concepts/概念

18．5 New Forms of Design Patterns/设计模式的新形式

18．6 Generic Programming/泛型编程

18．7 Afternotes/本章后记

19 Implementing Traits 第 19章Trait的实现

19．1 An Example ： Accumulating a Sequence/一个实例：累加一个序列

19．1．1 Fixed Traits/Fixed Trait

19．1．2 Value Traits/Value Trait

19．1．3 Parameterized Traits/参数化Trait

19．2 Traits versus Policies and Policy Classes/ Traits、Policy和Policy类

19．2．1 Traits and Policies ： What’s the Difference / Traits和 Policy：区别在哪里？

19．2．2MemberTemplatesversusTemplate Template Parameters/成员模板与模板的模板参数

19．2．3Combining Multiple Policies and/or Traits/组合多个policy和／或trait

19．2．4 Accumulation with General Iterators/用一般迭代器累积

19．3 Type Functions/类型函数

19．3．1 Element Types/元素类型

19．3．2 Transformation Traits/ Transformation Traits

19．3．3 Predicate Traits/ Predicate Traits

19．3．4 Result Type Traits/ Result Type Traits

19．4 SFINAE-Based Traits/ 基于SFINAE的Trait

19．4．1 SFINAE Out Function Overloads/ SFINAE功能过载

19．4．2 SFINAE Out Partial Specializations/ SFINAE局部特化

19．4．3 Using Generic Lambdas for SFINAE/为SFINAE使用泛型Lambda表达式

19．4．4 SFINAE-Friendly Traits/ SFINAE友好的特征

19．5 IsConvertibleT/IsConvertibleT

19．6 Detecting Members/检查成员

19．6．1 Detecting Member Types/检查成员类型

19．6．2 Detecting Arbitrary Member Types/检查任意成员类型

19．6．3 Detecting Nontype Members/检查非类型成员

19．6．4 Using Generic Lambdas to Detect Members/使用泛型Lambda表达式检查成员

19．7 Other Traits Techniques/其他Trait技术

19．7．1 If-Then-Else/ If-Then-Else

19．7．2 Detecting Nonthrowing Operations/检查不抛出异常的操作

19．7．3 Traits Convenience/ Trait的便利性

19．8 Type Classification/类型分类

19．8．1 Determining Fundamental Types/确定基本类型

19．8．2 Determining Compound Types/确定复合类型

19．8．3 Identifying Function Types/识别函数类型

19．8．4 Determining Class Types/确定类类型

19．8．5 Determining Enumeration Types/确定枚举类型

19．9 Policy Traits/ Policy Trait

19．9．1 Read-Only Parameter Types/ 只读参数类型

19．10 In the Standard Library/在标准库中

19．11 Afternotes/本章后记

20 Overloading on Type Properties 第 20章类型属性上的重载

20．1 Algorithm Specialization/算法特化

20．2 Tag Dispatching/标签调度

20．3 Enabling/Disabling Function Templates/启用/禁用函数模板

20．3．1 Providing Multiple Specializations/提供多重特化

20．3．2 Where Does the EnableIf Go / EnableIf在哪里运行？

20．3．3 Compile-Time if/编译时if

20．3．4 Concepts/概念

20．4 Class Specialization/类的特化

20．4．1 Enabling/Disabling Class Templates/启用/禁用类模板

20．4．2 Tag Dispatching for Class Templates/类模板标签调度

20．5 Instantiation-Safe Templates/ 实例化安全的模板

20．6 In the Standard Library/在标准库中

20．7 Afternotes/本章后记

21 Templates and Inheritance 第 21章模板和继承

21．1 The Empty Base Class Optimization(EBCO)/ 空白基类最优化

21．1．1 Layout Principles/布局原则

21．1．2 Members as Base Classes/成员作为基类

21．2 The Curiously Recurring Template Pattern(CRTP)/ 奇异递归模板模式

21．2．1 The Barton-Nackman Trick/ Barton-Nackman技巧

21．2．2 Operator Implementations/操作符实现

21．2．3 Facades/ 门面模式

21．3 Mixins/ Mixin

21．3．1 Curious Mixins/ 令人好奇的Mixin

21．3．2 Parameterized Virtuality参数化的虚拟性

21．4 Named Template Arguments/指定模板参数

21．5 Afternotes/本章后记

22 Bridging Static and Dynamic Polymorphism 第 22章桥接静态和动态多态性

22．1 Function Objects ， Pointers ， and std：：function /函数对象、指针和std：：function

22．2 Generalized Function Pointers/广义函数指针

22．3 Bridge Interface/桥接口

22．4 Type Erasure/类型擦除

22．5 Optional Bridging/可选桥接

22．6 Performance Considerations/性能考虑

22．7 Afternotes/本章后记

23 Meta programming 第 23章元编程

23．1 The State of Modern C++ Meta programming/现代C++元编程的状态

23．1．1 Value Meta programming

23．1．2 Type Meta programming/类型元编

23．1．3 Hybrid Meta programming/混合元编程

23．1．4 Hybrid Meta programming for Unit Types/单元类型的混合元编程

23．2 The Dimensions of Reflective Meta programming/反射元编程的维数

23．3 The Cost of Recursive Instantiation/递归实例化的代价

23．3．1 Tracking All Instantiations/跟踪所有实例

23．4 Computational Completeness/计算完整性

23．5 Recursive Instantiation versus Recursive Template Arguments/递归实例化与递归模板参数

23．6Enumeration Values versus Static Constants/枚举值与静态常量

23．7 Afternotes/本章后记

24 Typelists 第 24章Typelist

24．1 Anatomy of a Typelist/ Typelist解析

24．2 Typelist Algorithms/ Typelist算法

24．2．1 Indexing/索引

24．2．2 Finding the Best Match/寻找最佳匹配

24．2．3 Appending to a Typelist/添加Typelist

24．2．4 Reversing a Typelist/反转Typelist

24．2．5 Transforming a Typelist/转化Typelist

24．2．6 Accumulating Typelists/累加Typelist

24．2．7 Insertion Sort/插入排序

24．3 Nontype Typelists/非类型Typelists

24．3．1 Deducible Nontype Parameters/可推导的非类型参数

24．4 Optimizing Algorithms with Pack Expansions/使用包扩展优化算法

24．5 Cons-style Typelists/ Cons-style Typelist

24．6 Afternotes/本章后记

25 Tuples 第 25章元组

25．1 Basic Tuple Design/基本的元组设计

25．1．1 Storage/存储

25．1．2 Construction/结构

25．2 Basic Tuple Operations/基本的元组操作

25．2．1 Comparison/比较25．2．2 Output/输出

25．3 Tuple Algorithms/元组算法

25．3．1 Tuples as Typelists/元组作为Typelist

25．3．2 Adding to and Removing from a Tuple/从元组中添加和移除

25．3．3 Reversing a Tuple/反转一个元组

25．3．4 Index Lists/索引列表

25．3．5 Reversal with Index Lists/用索引列表进行反转

25．3．6 Shuffle and Select/洗牌算法和选择算法

25．4 Expanding Tuples/扩展元组

25．5 Optimizing Tuple/优化元组

25．5．1 Tuples and the EBCO/元组和EBCO

25．5．2 Constant-time get()/常数时间的get()

25．6 Tuple Subscript/元组下标

25．7 Afternotes/本章后记

26 Discriminated Unions 第 26章可识别的联合

26．1 Storage/存储

26．2 Design/设计

26．3 Value Query and Extraction/值查询与提取

26．4 Element Initialization， Assignment and Destruction/元素初始化、赋值和销毁

26．4．1 Initialization/初始化

26．4．2 Destruction/销毁

26．4．3 Assignment/赋值

26．5 Visitors/访问

26．5．1 Visit Result Type/访问结果类型

26．5．2 Common Result Type/常见结果类型

26．6 Variant Initialization an Assignment/变量初始化赋值

26．7 Afternotes/本章后记

27 Expression Templates 第 27章表达式模板

27．1 Temporaries and Split Loops/临时变量和分割循环

27．2 Encoding Expressions in Template Arguments/在模板参数中编码表达式

27．2．1 Operands of the Expression Templates/表达式模板的操作数

27．2．2 The Array Type/ Array类型

27．2．3 The Operators/运算符

27．2．4 Review/回顾

27．2．5 Expression Templates Assignments/表达式模板赋值

27．3 Performance and Limitations of Expression Templates/表达式模板的性能与约束

27．4 Afternotes/本章后记

28 Debugging Templates 第 28章调试模板

28．1 Shallow Instantiation/浅式实例化

28．2 Static Assertions/静态断言

28．3 Archetypes/原型

28．4 Tracers/跟踪程序

28．5 Oracles/ Oracle

28．6 Afternotes/本章后记

Appendixes/附录

A The One-Definition Rule 附录A 一处定义原则

A．1 Translation Units/翻译单元

A．2 Declarations and Definitions/声明和定义

A．3 The One-Definition Rule in Detail/一处定义原则的细节

A．3．1 One-per-Program Constraints/程序的一处定义约束

A．3．2 One-per-Translation Unit Constraints/翻译单元的一处定义约束

A．3．3 Cross-Translation Unit Equivalence Constraints/跨翻译单元的等价性约束

B Value Categories 附录B 值类别

B．1 Traditional Lvalues and Rvalues/传统的左值和右值

B．1．1 Lvalue-to-Rvalue Conversions/左值和右值转换

B．2 Value Categories Since C++11/ C++11的值类别

B．2．1 Temporary Materialization/临时实体化

B．3 Checking Value Categories with decltype/使用decltype检查值类别

B．4 Reference Types/引用类别

C Overload Resolution 附录C 重载解析

C．1 When Does Overload Resolution Kick In / 何时应用重载解析

C．2 Simplified Overload Resolution/简化的重载解析

C．2．1 The Implied Argument for Member Functions/成员函数的隐式参数

C．2．2 Refining the Perfect Match/对最佳匹配进行改进

C．3 Overloading Details/重载的细节

C．3．1 Prefer Nontemplates or More Specialized Templates/优先非模板还是更加专用的模板

C．3．2 Conversion Sequences/转义序列

C．3．3 Pointer Conversions/指针转换

C．3．4 Initializer Lists/初始化列表

C．3．5 Functors and Surrogate Functions/仿函数和代理函数

C．3．6 Other Overloading Contexts/其他重载情况

D Standard Type Utilities 附录D 标准类型实用程序

D．1 Using Type Traits/使用Type Traits

D．1．1 std：：integral_constant and std：：bool_constant/ std：：integral_constant和std：：bool_constant

D．1．2 Things You Should Know When Using Traits/使用Trait时应该知道的事

D．2 Primary and Composite Type Categories/主要类型和复合类型

D．2．1 Testing for the Primary Type Category/测试主要类型的类别

D．2．2 Test for Composite Type Categories/测试复合类型的类别

D．3 Type Properties and Operations/类型属性和操作

D．3．1 Other Type Properties/其他类型属性

D．3．2 Test for Specific Operations/测试具体操作

D．3．3 Relationships Between Types/类型之间的关系

D．4 Type Construction/类型结构

D．5 Other Traits/其他Trait

D．6 Combining Type Traits/组合Type Trait

D．7 Other Utilities/其他应用程序

E Concepts 附录E 概念

E．1 Using Concepts/使用概念

E．2 Defining Concepts/定义概念

E．3 Overloading on Constraints/重载约束

E．3．1 Constraint Subsumption/约束包含

E．3．2 Constraints and Tag Dispatching/约束和标签调度

E．4 Concept Tips/概念提示

E．4．1 Testing Concepts/测试概念

E．4．2 Concept Granularity/概念粒度

E．4．3 Binary Compatibility/二进制兼容性

Bibliography 文献目录

Forums/论坛

Books and WebSites/图书和网站

Glossary 术语

Index 索引
内容简介:
本书是同名经典畅销图书的全新升级版本，针对C++11、C++14、C++17标准进行了全面更新，并对所有的新语言特性（包括可变参数模板、通用lambda、类模板参数推导等）进行了解释。

全书共28章。首先全面介绍了本书的内容结构和相关情况。第1部分（第1～11章）介绍了模板的基本概念，第2部分（第12～17章）深入阐述了模板的细节，第3部分（第18～28章）介绍了C++模板所支持的基本设计技术。附录A、附录B、附录C、附录D和附录E分别为一处定义原则、值类别、重载解析、标准类型实用程序和概念的相关资料。

本书适合对C++模板技术感兴趣的有一定经验的程序员阅读。
作者简介:
David Vandevoorde，Edison Design Group公司的工程副总裁，为公司的C++编译器中的一些关键特性进行了架构设计。他是知名的comp.lang.c++.moderat论坛的联合创始人，同时还积极投身于C++ 的标准化工作。他拥有伦斯勒理工学院计算机科学博士、硕士学位，以及布鲁塞尔自由大学的工程硕士学位。

Nicolai M. Josuttis，他是一位独立的系统架构师、技术经理、顾问以及培训师，过去20年以来他一直致力于C++的标准化工作。他还是The C++ Standard Library: A Tutorial and Reference (2nd Edition) 等书的作者。

Douglas Gregor，是一位知名的编译器人员，具有C++库的设计背景。作为Boost的早期贡献者，他开发的一些库被列入了C++标准。在对C++11提供支持的期间，他领导了开源的C++编译器 Clang的实现。他拥有伦斯勒理工学院的计算机科学博士学位。
目录:
第 1部分：基本概念

1 Function Templates 第 1章函数模板

1．1 A First Look at Function Templates/初识函数模板

1．1．1 Defining the Template/定义模板

1．1．2 Using the Template/使用模板

1．1．3 Two-Phase Translation/二阶段翻译

1．2 Template Argument Deduction/模板参数推导

1．3 Multiple Template Parameters/多模板参数

1．3．1 Template Parameters for Return Types/返回类型的模板参数

1．3．2 Deducing the Return Type/推导返回类型

1．3．3 Return Type as CommonType/作为通用类型返回

1．4 Default Template Arguments/缺省模板参数

1．5 Overloading Function Templates/重载函数模板

1．6 But，Shouldn’t We．．． /但是，难道我们不应该…？

1．6．1 Pass by Value or by Reference /按值传递还是按引用传递？

1．6．2 Why Not inline 为什么不用inline呢？

1．6．3 Why Not constexpr 为什么不用constexpr呢？

1．7 Summary/小结

2 Class Template 第 2章类模板

2．1 Implementation of Class Template Stack/类模板Stack的实现

2．1．1 Declaration of Class Templates/类模板声明

2．1．2 Implementation of Member Functions/成员函数的实现

2．2 Use of Class Template Stack/类模板Stack的使用

2．3 Partial Usage of Class Templates/类模板的局部使用

2．3．1 Concepts/概念

2．4 Friends/友元

2．5 Specializations of Class Templates/类模板特化

2．6 Partial Specialization/偏特化

2．7 Default Class Template Arguments/缺省类模板参数

2．8 Type Aliases/类型别名

2．9 Class Template Argument Deduction/类模板参数推导

2．10 Templatized Aggregates/模板聚合

2．11 Summary/小结

3 Nontype Template Parameters 第3章非类型模板参数

3．1 Nontype Class Template Parameters/非类型类模板参数

3．2 Nontype Function Template Parameters/非类型函数模板参数

3．3 Restrictions for Nontype Template Parameters/非类型模板参数的限制

3．4 Template Parameter Type auto/模板参数类型auto

3．5 Summary/小结

4 Variadic Templates第4章可变参数模板

4．1 Variadic Templates/可变参数模板

4．1．1 Variadic Templates by Example/可变参数模板实例

4．1．2 Overloading Variadic and Nonvariadic Templates/重载可变参数和非可变参数模板

4．1．3 Operator sizeof/运算符sizeof

4．2 Fold Expressions/折叠表达式

4．3 Application of Variadic Templates /可变参数模板的应用

4．4 Variadic Class Templates and Variadic Expressions/可变参数类模板和可变参数表达式

4．4．1 Variadic Expressions/可变参数表达式

4．4．2 Variadic Indices/可变参数指数

4．4．3 Variadic Class Templates/可变参数类模板

4．4．4 Variadic Deduction Guides/可变参数推导指南

4．4．5 Variadic Base Classes and using/可变参数基类和using

4．5 Summary/小结

5 Tricky Basics 第5章基础技术

5．1 Keyword typename/关键字typename

5．2 Zero Initialization/零初始化

5．3 Using this-> / this-> 的使用

5．4 Templates for Raw Arrays and String Literals/原始数组和字符串字面量模板

5．5 Member Templates/成员模板

5．5．1 The ．template Construct/构造．template

5．5．2 Generic Lambdas and Member Templates/泛型Lambda与成员模板

5．6 Variable Templates/变量模板

5．7 Template Template Parameters/模板的模板参数

5．8 Summary/小结

6 Move Semantics and enable_if  第6章移动语义与enable_if

6．1 Perfect Forwarding/完美转发

6．2 Special Member Function Templates/特殊的成员函数模板

6．3 Disable Templates with enable_if /使用enable_if  禁用模板

6．4 Using enable_if /使用enable_if

6．5 Using Concepts to Simplify enable_if  Expressions/ 使用概念简化enable_if 表达式

6．6 Summary/小结

7 By Value or by Reference 第7章按值传递还是按引用传递？

7．1 Passing by Value/按值传递

7．2 Passing by Reference/按引用传递

7．2．1 Passing by Constant Reference/按常量引用调传递

7．2．2 Passing by Nonconstant Reference/按非常量引用传递

7．2．3 Passing by Forwarding Reference/按转发传递

7．3 Using std：：ref()andstd：：cref()/std：：ref() 和std：：cref()的使用

7．4 Dealing with String Literals and Raw Arrays/ 处理字符串字面量常量与原始数组

7．4．1 Special Implementations for String Literals and Raw Arrays/ 字符串字面量常量和原始数组的特殊实现

7．5 Dealing with Return Values/处理返回值

7．6 Recommended Template Parameter Declarations/模板参数声明推荐

7．7 Summary/小结

8 Compile-Time Programming 第8章编译时编程

8．1 Template Meta programming/模板元编程

8．2 Computing with constexpr/使用constexpr计算

8．3 Execution Path Selection with Partial Specialization/局部特化的执行路径选择

8．4 SFINAE(Substitution Failure Is Not An Error)/ SFINAE（替换失败并不是一种错误）

8．4．1 Expression SFINAE with decltype/ 带有decltype 的SFINAE表达式

8．5 Compile-Time if/编译时if

8．6 Summary/小结

9 Using Templates in Practice 第9章在实战中使用模板

9．1 The Inclusion Model/包含模型

9．1．1 Linker Errors/链接器错误

9．1．2 Templates in Header Files/头文件中的模板

9．2 Templates and inline/模板和内联

9．3 Precompiled Headers/预编译头文件

9．4 Decoding the Error Novel/破译大篇幅错误信息

9．5 Afternotes/本章后记

9．6 Summary/小结

10 Basic Template Terminology 第 10章基本模板术语

10．1“Class Template” or “Template Class” / “类模板”还是“模板类”

10．2 Substitution ， Instantiation ， and Specialization/替换、实例化和特化

10．3 Declarations versus Definitions/声明和定义

10．3．1 Complete versus Incomplete Types/完全和不完全类型

10．4 The One-Definition Rule/一处定义规则

10．5 Template Arguments versus Template Parameters/模板实数和模板形参

10．6 Summary/小结

11 Generic Libraries 第 11章泛型库

11．1 Callables/ Callable

11．1．1 Supporting Function Objects/支持函数对象

11．1．2 Dealing with Member Functions and Additional Arguments/处理成员函数和附加实参

11 ．1．3 Wrapping Function Calls/包装函数调用

11．2 Other Utilities to Implement Generic Libraries/实现泛型库的其他实用程序

11．2．1 Type Traits/ Type Traits

11．2．2 std：：addressof()/std：：addressof()

11．2．3 std：：declval()/std：：declval()

11．3 Perfect Forwarding Temporaries/完美转发临时对象

11．4 References as Template Parameters/引用为模板参数

11．5 Defer Evaluations/延迟评估

11．6 Things to Consider When Writing Generic Libraries/编写泛型库时需要考虑的事情

11．7 Summary/小结

PartII： Templates in Depth 第二部分深入模板

12 Fundamentals in Depth深入模板基础

12．1 Parameterized Declarations/参数化宣告

12．1．1 Virtual Member Functions/虚成员函数

12．1．2 Linkage of Templates/模板链接

12．1．3 Primary Templates/主模板

12．2 Template Parameters/模板形参

12．2．1 Type Parameters/类型形参

12．2．2 Nontype Parameters/非类型形参

12．2．3 Template Template Parameters/模板的模板形参

12．2．4 Template Parameter Packs/模板参数包

12．2．5 Default Template Arguments/缺省模板实参

12．3 Template Arguments/模板实参

12．3．1 Function Template Arguments/函数模板实参

12．3．2 Type Arguments/类型实参

12．3．3 Nontype Arguments/非类型实参

12．3．4 Template Template Arguments/模板的模板实参

12．3．5 Equivalence/实参的等价性

12．4 Variadic Templates/可变参数模板

12．4．1 Pack Expansions/包扩展

12．4．2 Where Can Pack Expansions Occur /在哪里进行包扩展？

12．4．3 Function Parameter Packs/函数的参数包

12．4．4 Multiple and Nested Pack Expansions/多重和嵌套包扩展

12．4．5 Zero-Length Pack Expansions/零长度包扩展

12．4．6 Fold Expressions/折叠表达式

12．5 Friends/友元

12．5．1 Friend Classes of Class Templates/类模板的友元类

12．5．2 Friend Functions of Class Templates /类模板的友元函数

12．5．3 Friend Templates/友元模板

12．6 Afternotes/本章后记

13 Names in Templates 第 13章模板中的名称

13．1 Name Taxonomy/名称的分类

13．2 Looking Up Names/名称的查找

13．2．1 Argument-Dependent Lookup/参数依赖查找（ADL）

13．2．2 Argument-Dependent Lookup of Friend Declarations/友元声明的ADL

13．2．3 Injected Class Names/注入式类名称

13．2．4 Current Instantiations/当前实例化

13．3 Parsing Templates/解析模板

13．3．1 Context Sensitivity in Nontemplates/非模板的上下文敏感性

13．3．2 Dependent Names of Types/类型的依赖名称

13．3．3 Dependent Names of Templates/模板的依赖名称

13．3．4 Dependent Names in Using Declarations/使用声明中的依赖名称

13．3．5 ADL and Explicit Template Arguments/ADL和显式模板实参

13．3．6 Dependent Expressions/依赖表达式

13．3．7 Compiler Errors/编译器错误

13．4 Inheritance and Class Templates/继承和类模板

13．4．1 Nondependent Base Classes/非依赖型基类

13．4．2 Dependent Base Classes/依赖型基类

13．5 Afternotes/本章后记

14 Instantiation 第 14章实例化

14．1 On-Demand Instantiation/ 按需实例化

14．2 Lazy Instantiation/延迟实例化

14．2．1 Partial and Full Instantiation/部分和全部实例化

14．2．2 Instantiated Components/实例化组件

14．3 The C++ Instantiation Model/C++实例化模型

14．3．1 Two-Phase Lookup/二阶段查找

14．3．2 Points of Instantiation/实例化点

14．3．3 The Inclusion Model/包含模型

14．4 Implementation Schemes/实现方案

14．4．1 Greedy Instantiation/贪婪实例化

14．4．2 Queried Instantiation/询问实例化

14．4．3 Iterated Instantiation/迭代实例化

14．5 Explicit Instantiation/显式实例化

14．5．1 Manual Instantiation/手动实例化

14．5．2 Explicit Instantiation Declarations/显式实例化声明

14．6 Compile-Time if Statements/ 编译时if语句

14．7 In the Standard Library/标准库

14．8 Afternotes/本章后记

15 Template Argument Deduction 第 15章模板实参推导

15．1 The Deduction Process/推导过程

15．2 Deduced Contexts/推导上下文

15．3 Special Deduction Situations/特殊的推导情况

15．4 Initializer Lists/初始化列表

15．5 Parameter Packs/形参包

15．5．1 Literal Operator Templates/字面运算符模板

15．6 Rvalue References/右值引用

15．6．1 Reference Collapsing Rules/引用折叠原则

15．6．2 Forwarding References/转发引用

15．6．3 Perfect Forwarding/完美转发

15．6．4 Deduction Surprises/推导的惊喜

15．7 SFINAE(Substitution Failure Is Not An Error )/ 替换失败并不是错误

15．7．1 Immediate Context/即时上下文

15．8 Limitations of Deduction/推导的限制

15．8．1 Allowable Argument Conversions/可接受的实参转换

15．8．2 Class Template Arguments/类模板实参

15．8．3 Default Call Arguments/缺省调用实参

15．8．4 Exception Specifications/异常规范

15．9 Explicit Function Template Arguments/显式函数模板实参

15．10 Deduction from Initializers and Expressions/从初始化和表达式中推导

15．10．1 The auto Type Specifier/ auto类型说明符

15．10．2 Expressing the Type of an Expression with decltype/用 decltype表示表达式的类型

15．10．3 decltype(auto)/ decltype(auto)

15．10．4 Special Situations for auto Deduction/ auto推导的特殊情况

15．10．5 Structured Bindings/结构化绑定

15．10．6 Generic Lambdas/ 泛型Lambda表达式

15．11 Alias Templates/别名模板

15．12 Class Template Argument Deduction/类模板实参推导

15．12．1 Deduction Guides/ 推导指南

15．12．2 Implicit Deduction Guides/隐式推导指南

15．12．3 Other Subtleties/其他细节

15．13 Afternotes/本章后记

16 Specialization and Overloading 特化和重载

16．1 When“Generic Code” Doesn’t Quite Cut It/当“泛型代码”并不能很好地解决问题时

16．1．1 Transparent Customization/ 透明自定义

16．1．2 Semantic Transparency/语义透明度

16．2 Overloading Function Templates/重载函数模板

16．2．1 Signatures/签名

16．2．2 Partial Ordering of Overloaded Function Templates/重载函数模板的偏序

16．2．3 Formal Ordering Rules/正式的排序规则

16．2．4 Templates and Nontemplates/模板和非模板

16．2．5 Variadic Function Templates/可变参数函数模板

16．3 Explicit Specialization/显式特化

16．3．1 Full Class Template Specialization/全局类模板特化

16．3．2 Full Function Template Specialization/全局函数模板特化

16．3．3 Full Variable Template Specialization/全局可变模板特化

16．3．4 Full Member Specialization/全局成员特化．．

16．4 Partial Class Template Specialization/局部类模板特化

16．5 Partial Variable Template Specialization/局部可变模板特化

16．6 Afternotes/本章后记

17 Future Directions 第 17章未来发展方向

17．1 Relaxed typename Rules/宽松的typename原则

17．2 Generalized Nontype Template Parameters/广义非类型模板参数

17．3 Partial Specialization of Function Templates/函数模板的局部特化

17．4 Named Template Arguments/命名模板实参

17．5 Overloaded Class Templates/重载类模板

17．6 Deduction for Nonfinal Pack Expansions/中间包扩展的推导

17．7 Regularization of void/void的规范化

17．8 Type Checking for Templates/模板的类型检查

17．9 Reflective Meta programming/反射元编程

17．10 Pack Facilities/包管理工具

17．11 Modules/模块

PartIII： Templates and Design 第3部分模板和设计

18 The Polymorphic Power of Templates 第 18章模板的多态性

18．1 Dynamic Polymorphism/动态多态性

18．2 Static Polymorphism/静态多态性

18．3 Dynamic versus Static Polymorphism/动态多态性与静态多态性

18．4 Using Concepts/概念

18．5 New Forms of Design Patterns/设计模式的新形式

18．6 Generic Programming/泛型编程

18．7 Afternotes/本章后记

19 Implementing Traits 第 19章Trait的实现

19．1 An Example ： Accumulating a Sequence/一个实例：累加一个序列

19．1．1 Fixed Traits/Fixed Trait

19．1．2 Value Traits/Value Trait

19．1．3 Parameterized Traits/参数化Trait

19．2 Traits versus Policies and Policy Classes/ Traits、Policy和Policy类

19．2．1 Traits and Policies ： What’s the Difference / Traits和 Policy：区别在哪里？

19．2．2MemberTemplatesversusTemplate Template Parameters/成员模板与模板的模板参数

19．2．3Combining Multiple Policies and/or Traits/组合多个policy和／或trait

19．2．4 Accumulation with General Iterators/用一般迭代器累积

19．3 Type Functions/类型函数

19．3．1 Element Types/元素类型

19．3．2 Transformation Traits/ Transformation Traits

19．3．3 Predicate Traits/ Predicate Traits

19．3．4 Result Type Traits/ Result Type Traits

19．4 SFINAE-Based Traits/ 基于SFINAE的Trait

19．4．1 SFINAE Out Function Overloads/ SFINAE功能过载

19．4．2 SFINAE Out Partial Specializations/ SFINAE局部特化

19．4．3 Using Generic Lambdas for SFINAE/为SFINAE使用泛型Lambda表达式

19．4．4 SFINAE-Friendly Traits/ SFINAE友好的特征

19．5 IsConvertibleT/IsConvertibleT

19．6 Detecting Members/检查成员

19．6．1 Detecting Member Types/检查成员类型

19．6．2 Detecting Arbitrary Member Types/检查任意成员类型

19．6．3 Detecting Nontype Members/检查非类型成员

19．6．4 Using Generic Lambdas to Detect Members/使用泛型Lambda表达式检查成员

19．7 Other Traits Techniques/其他Trait技术

19．7．1 If-Then-Else/ If-Then-Else

19．7．2 Detecting Nonthrowing Operations/检查不抛出异常的操作

19．7．3 Traits Convenience/ Trait的便利性

19．8 Type Classification/类型分类

19．8．1 Determining Fundamental Types/确定基本类型

19．8．2 Determining Compound Types/确定复合类型

19．8．3 Identifying Function Types/识别函数类型

19．8．4 Determining Class Types/确定类类型

19．8．5 Determining Enumeration Types/确定枚举类型

19．9 Policy Traits/ Policy Trait

19．9．1 Read-Only Parameter Types/ 只读参数类型

19．10 In the Standard Library/在标准库中

19．11 Afternotes/本章后记

20 Overloading on Type Properties 第 20章类型属性上的重载

20．1 Algorithm Specialization/算法特化

20．2 Tag Dispatching/标签调度

20．3 Enabling/Disabling Function Templates/启用/禁用函数模板

20．3．1 Providing Multiple Specializations/提供多重特化

20．3．2 Where Does the EnableIf Go / EnableIf在哪里运行？

20．3．3 Compile-Time if/编译时if

20．3．4 Concepts/概念

20．4 Class Specialization/类的特化

20．4．1 Enabling/Disabling Class Templates/启用/禁用类模板

20．4．2 Tag Dispatching for Class Templates/类模板标签调度

20．5 Instantiation-Safe Templates/ 实例化安全的模板

20．6 In the Standard Library/在标准库中

20．7 Afternotes/本章后记

21 Templates and Inheritance 第 21章模板和继承

21．1 The Empty Base Class Optimization(EBCO)/ 空白基类最优化

21．1．1 Layout Principles/布局原则

21．1．2 Members as Base Classes/成员作为基类

21．2 The Curiously Recurring Template Pattern(CRTP)/ 奇异递归模板模式

21．2．1 The Barton-Nackman Trick/ Barton-Nackman技巧

21．2．2 Operator Implementations/操作符实现

21．2．3 Facades/ 门面模式

21．3 Mixins/ Mixin

21．3．1 Curious Mixins/ 令人好奇的Mixin

21．3．2 Parameterized Virtuality参数化的虚拟性

21．4 Named Template Arguments/指定模板参数

21．5 Afternotes/本章后记

22 Bridging Static and Dynamic Polymorphism 第 22章桥接静态和动态多态性

22．1 Function Objects ， Pointers ， and std：：function /函数对象、指针和std：：function

22．2 Generalized Function Pointers/广义函数指针

22．3 Bridge Interface/桥接口

22．4 Type Erasure/类型擦除

22．5 Optional Bridging/可选桥接

22．6 Performance Considerations/性能考虑

22．7 Afternotes/本章后记

23 Meta programming 第 23章元编程

23．1 The State of Modern C++ Meta programming/现代C++元编程的状态

23．1．1 Value Meta programming

23．1．2 Type Meta programming/类型元编

23．1．3 Hybrid Meta programming/混合元编程

23．1．4 Hybrid Meta programming for Unit Types/单元类型的混合元编程

23．2 The Dimensions of Reflective Meta programming/反射元编程的维数

23．3 The Cost of Recursive Instantiation/递归实例化的代价

23．3．1 Tracking All Instantiations/跟踪所有实例

23．4 Computational Completeness/计算完整性

23．5 Recursive Instantiation versus Recursive Template Arguments/递归实例化与递归模板参数

23．6Enumeration Values versus Static Constants/枚举值与静态常量

23．7 Afternotes/本章后记

24 Typelists 第 24章Typelist

24．1 Anatomy of a Typelist/ Typelist解析

24．2 Typelist Algorithms/ Typelist算法

24．2．1 Indexing/索引

24．2．2 Finding the Best Match/寻找最佳匹配

24．2．3 Appending to a Typelist/添加Typelist

24．2．4 Reversing a Typelist/反转Typelist

24．2．5 Transforming a Typelist/转化Typelist

24．2．6 Accumulating Typelists/累加Typelist

24．2．7 Insertion Sort/插入排序

24．3 Nontype Typelists/非类型Typelists

24．3．1 Deducible Nontype Parameters/可推导的非类型参数

24．4 Optimizing Algorithms with Pack Expansions/使用包扩展优化算法

24．5 Cons-style Typelists/ Cons-style Typelist

24．6 Afternotes/本章后记

25 Tuples 第 25章元组

25．1 Basic Tuple Design/基本的元组设计

25．1．1 Storage/存储

25．1．2 Construction/结构

25．2 Basic Tuple Operations/基本的元组操作

25．2．1 Comparison/比较25．2．2 Output/输出

25．3 Tuple Algorithms/元组算法

25．3．1 Tuples as Typelists/元组作为Typelist

25．3．2 Adding to and Removing from a Tuple/从元组中添加和移除

25．3．3 Reversing a Tuple/反转一个元组

25．3．4 Index Lists/索引列表

25．3．5 Reversal with Index Lists/用索引列表进行反转

25．3．6 Shuffle and Select/洗牌算法和选择算法

25．4 Expanding Tuples/扩展元组

25．5 Optimizing Tuple/优化元组

25．5．1 Tuples and the EBCO/元组和EBCO

25．5．2 Constant-time get()/常数时间的get()

25．6 Tuple Subscript/元组下标

25．7 Afternotes/本章后记

26 Discriminated Unions 第 26章可识别的联合

26．1 Storage/存储

26．2 Design/设计

26．3 Value Query and Extraction/值查询与提取

26．4 Element Initialization， Assignment and Destruction/元素初始化、赋值和销毁

26．4．1 Initialization/初始化

26．4．2 Destruction/销毁

26．4．3 Assignment/赋值

26．5 Visitors/访问

26．5．1 Visit Result Type/访问结果类型

26．5．2 Common Result Type/常见结果类型

26．6 Variant Initialization an Assignment/变量初始化赋值

26．7 Afternotes/本章后记

27 Expression Templates 第 27章表达式模板

27．1 Temporaries and Split Loops/临时变量和分割循环

27．2 Encoding Expressions in Template Arguments/在模板参数中编码表达式

27．2．1 Operands of the Expression Templates/表达式模板的操作数

27．2．2 The Array Type/ Array类型

27．2．3 The Operators/运算符

27．2．4 Review/回顾

27．2．5 Expression Templates Assignments/表达式模板赋值

27．3 Performance and Limitations of Expression Templates/表达式模板的性能与约束

27．4 Afternotes/本章后记

28 Debugging Templates 第 28章调试模板

28．1 Shallow Instantiation/浅式实例化

28．2 Static Assertions/静态断言

28．3 Archetypes/原型

28．4 Tracers/跟踪程序

28．5 Oracles/ Oracle

28．6 Afternotes/本章后记

Appendixes/附录

A The One-Definition Rule 附录A 一处定义原则

A．1 Translation Units/翻译单元

A．2 Declarations and Definitions/声明和定义

A．3 The One-Definition Rule in Detail/一处定义原则的细节

A．3．1 One-per-Program Constraints/程序的一处定义约束

A．3．2 One-per-Translation Unit Constraints/翻译单元的一处定义约束

A．3．3 Cross-Translation Unit Equivalence Constraints/跨翻译单元的等价性约束

B Value Categories 附录B 值类别

B．1 Traditional Lvalues and Rvalues/传统的左值和右值

B．1．1 Lvalue-to-Rvalue Conversions/左值和右值转换

B．2 Value Categories Since C++11/ C++11的值类别

B．2．1 Temporary Materialization/临时实体化

B．3 Checking Value Categories with decltype/使用decltype检查值类别

B．4 Reference Types/引用类别

C Overload Resolution 附录C 重载解析

C．1 When Does Overload Resolution Kick In / 何时应用重载解析

C．2 Simplified Overload Resolution/简化的重载解析

C．2．1 The Implied Argument for Member Functions/成员函数的隐式参数

C．2．2 Refining the Perfect Match/对最佳匹配进行改进

C．3 Overloading Details/重载的细节

C．3．1 Prefer Nontemplates or More Specialized Templates/优先非模板还是更加专用的模板

C．3．2 Conversion Sequences/转义序列

C．3．3 Pointer Conversions/指针转换

C．3．4 Initializer Lists/初始化列表

C．3．5 Functors and Surrogate Functions/仿函数和代理函数

C．3．6 Other Overloading Contexts/其他重载情况

D Standard Type Utilities 附录D 标准类型实用程序

D．1 Using Type Traits/使用Type Traits

D．1．1 std：：integral_constant and std：：bool_constant/ std：：integral_constant和std：：bool_constant

D．1．2 Things You Should Know When Using Traits/使用Trait时应该知道的事

D．2 Primary and Composite Type Categories/主要类型和复合类型

D．2．1 Testing for the Primary Type Category/测试主要类型的类别

D．2．2 Test for Composite Type Categories/测试复合类型的类别

D．3 Type Properties and Operations/类型属性和操作

D．3．1 Other Type Properties/其他类型属性

D．3．2 Test for Specific Operations/测试具体操作

D．3．3 Relationships Between Types/类型之间的关系

D．4 Type Construction/类型结构

D．5 Other Traits/其他Trait

D．6 Combining Type Traits/组合Type Trait

D．7 Other Utilities/其他应用程序

E Concepts 附录E 概念

E．1 Using Concepts/使用概念

E．2 Defining Concepts/定义概念

E．3 Overloading on Constraints/重载约束

E．3．1 Constraint Subsumption/约束包含

E．3．2 Constraints and Tag Dispatching/约束和标签调度

E．4 Concept Tips/概念提示

E．4．1 Testing Concepts/测试概念

E．4．2 Concept Granularity/概念粒度

E．4．3 Binary Compatibility/二进制兼容性

Bibliography 文献目录

Forums/论坛

Books and WebSites/图书和网站

Glossary 术语

Index 索引

查看详情

C++ Templates 第2版 英文版

内容简介:

作者简介:

目录:

C++ Templates 第2版英文版