《C++ Templates（第2版）英文版》书中代码

编辑推荐

C++领域经典图书时隔15年之后的全新升级针对C++11、C++14和C++17标准进行了全面更新C++软件工程师接近参考指南C++模板知识的解释C++标准参考读物primer之后的模板技术研究圣经使用C++模板的常用设计技巧应用例证

内容简介

本书是同名经典畅销图书的全新升级版本，针对C++11、C++14、C++17标准进行了全面更新，并对所有的新语言特性（包括可变参数模板、通用lambda、类模板参数推导等）进行了解释。全书共28章。首先全面介绍了本书的内容结构和相关情况。靠前部分（靠前～11章）介绍了模板的基本概念，第2部分（靠前2～17章）深入阐述了模板的细节，第3部分（靠前8～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 索引