README.md

此仓库记录我看《C++ Templates》第二版（目前只有英文版）的读书笔记

代码在code文件夹里

以下为笔记目录：

第一部分：基本概念

1.Function Templates /第一章 函数模板

• 1.1 A First Look at Function Template /初识函数模板
  • 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 Template /重载函数模板

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

• 10.1 "Class Template" or "Template Class"

• 10.2 Substitution,Instantiation,and Specialization

• 10.3 Declarations versus Definitions /声明对定义

• 10.4 The One-Definition Rule /唯一定义原则

• 10.5 Template Arguments versus Template Parameters /模板实参对模板参数

11. Generic Libraries /泛型库

• 11.1 callables

• [11.2 dealing with member function and additional arguments ](ch11/dealing with memf.md)

• [11.3 supporting function objects ](ch11/Supporting Function Objects.md)

• [11.4 wrapping calls ](ch11/wrapping calls)

第二部分 深入模板

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.5 Explicit Instantiation /显式实例化
  • 14.5.1 Manual Instantiation /手动实例化
  • 14.5.2 Explicit Instantiation Declarations /显式实例化声明
• 14.6 Compile-Time if Statement /编译时if语句
• 14.7 In the Standard Libaray /在标准库中

15.Template Argument Deduction /模板实参推断

• 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 /右值引用

16.Specialization and Overloading /特化和重载

• 16.1 When “Generic Code“ Doesn't Quiet 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 Varadic Function Templates /可变函数模板

• 16.3 Explicit Specialization /显式特化

  • 16.3.1 Full Class Template Specialization /类模板的全特化

  • 16.3.2 Full Function Templates Specialization /函数模板的全特化

  • 16.3.3 Full Variable Templates Specialization /变量模板的全特化

  • 16.3.4 Full Member Specialization /成员的全特化

• 16.4 Partial Class Templates Specialization /类模板的偏特化

• 16.5 Partial Variable Templates Specialization /变量模板的偏特化

第三部分：模板和设计

19.Implementing Traits /第19章 实现Traits

• 19.3 Type Function /类型函数

  • 19.3.1 Element Types /元素类型
  • 19.3.2 Transformation Traits /转换特性
  • 19.3.3 Predicate Traits /谓词特性
  • 19.3.4 Result Type Traits /返回类型特性

• 19.4 SFINAE-Based Traits /基于SFINAE的特性

  • 19.4.1 SFINAE Out Function Overloads /SFINAE Out 函数重载
  • 19.4.2 SFINAE Out Partial Specialization /SFINAE Out 偏特化
  • 19.4.3 Using Generic Lambdas for SFINAE /为SFINAE使用泛型lambda
  • 19.4.4 SFINAE-Friendly Traits /SFINAE友好特性

• 19.5 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.7 Other Techniques /其他Trait技术

  • 19.7.1 If-Then-Else

Code:

• Base
• Type Traist Library

20.Overloading on Type Properties /基于类型特性的重载

• Summary

21.Template and Inheritance /第21章 模板和继承

• 21.2 The Curiously Recurring Template Pattern(CRTP) /奇异循环模板模式
  • 21.2.1 The Barton-Nackman Trick
  • 21.2.2 Operator Implementations /运算符实现
  • 21.2.3 Facades /外观模式

22.Bridging Static and Dynamic Polymorphism/桥接静态和动态多态

• 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 Consideration /性能考虑

23.Metaprogramming/元编程

• Notes

• 23.1 The State of Modern C++ Metaprogramming

  • 23.1.1 Value Metaprogramming /值元编程
  • 23.1.2 Type Metaprogramming /类型元编程
  • 23.1.3 Hybrid Metaprogramming /混合元编程
  • 23.1.4 Hybrid Metaprogramming For Unit Types /单元类型的混合元编程

• 23.2 The Dimensions of Reflective Metaprogramming/反射元编程的维度

• 23.4 Computational Completences /计算完备性

24.Typelists /类型列表

由于本章偏于应用，仅提供代码

Construction

Algorithm