C++ Templates(第2版·英文版)

C++ Templates(第2版·英文版)

作者:[美] David Vandevoorde

出版社:人民邮电出版社

出版年:2018-5

评分:9.8

ISBN:9787115479938

所属分类:行业好书

书刊介绍

内容简介

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

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

Douglas Gregor 是一位知名的编译器人员,具有 C++ 库的设计背景。作为 Boost 的早期贡献者,他开发的一些库被列入了 C++ ...

()

作品目录

第 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 索引
· · · · · ·

作者简介

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

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

Douglas Gregor 是一位知名的编译器人员,具有 C++ 库的设计背景。作为 Boost 的早期贡献者,他开发的一些库被列入了 C++ ...

(展开全部)

精彩摘录

Thus,templatesarecompiledtwice:Withoutinstantiation,thetemplatecodeitselfischeckedforcorrectsyntax.Syntaxerrorsarediscovered,suchasmissingsemicolons.Atthetimeofinstantiation,thetemplatecodeischeckedtoensurethatallcallsarevalid.Invalidcallsarediscovered,suchasunsupportedfunctioncalls.Thisleadstoanimportantprobleminthehandlingoftemplatesinpractice:Whenafunctiontemplateisusedinawaythattriggersitsinstantiation,acompilerwill(atsomepoint)needtoseethattemplate'sdefinition.Thisbreakstheusualcompileandlinkdistinctionforordinaryfunctions,whenthedeclarationofafunctionissufficienttocompileitsuse.MethodsofhandlingthisproblemarediscussedinChapter6.Forthemoment,let'stakethesim...

——引自章节:2.1.2UsingtheTemplate

相关推荐

微信二维码