C++泛型编程
1. Conversion function转换函数
图中，黄色部分即为转换函数，转换函数不需要加返回类型，不需要调用参数，通常加const。转换函数的作用就是在需要以另外的类型使用一个对象时，自动的将该对象转换为该类型。
如上图的实例测试所示，自动的将Fraction型对象f转换为double类型。
2. non-explicit-one-argument ctornon-explicit的单实参构造函数
上图中的绿色部分为该类的构造函数，可以以单实参的形式调用。在语句Fraction d2=f+4中，f只能与Fraction对象相加，编译器就自动的把4转为Fraction（4，1）。
注意：在需要起码两个实参的构造函数中，不会自动完成该转换。
注意：当转换函数和non-explicit单实参构造函数同时存在时，语句d2=f+4会报错，因为编译器不知道是调用转换函数还是调用构造函数。但如果在构造函数前面加声明符explicit的话，构造函数将不会被隐式调用。
3. pointer-like classes，像指针的类
用类来模拟指针的行为，这样能实现指针的功能，能像指针一样使用，但同时也能实现更多的功能。比如智能指针shared_ptr、迭代器iterator都是像指针的类。
4. function-like classes，仿函数
仿函数最大的特征就是对operator()进行重载，这样调用“类名（）”这样的语句时，会使其像函数一样被调用，但实际上是调用了类中的operator()。
下图就是STL中的部分仿函数。
仿函数都会继承这样一个base classes：
5. namespace命名空间
这个没什么好谈了，就是个命名空间而已，防标识符冲突用的。
6. classes template，类模板
这个简单，不说了，自己看图体会。
7. function template，函数模板
这个也简单，看图体会
8. member template，成员模板
就是模板中的模板，一般用于继承关系中，可以使用子类来构造父类
9. specialization，模板特化
泛化的反义词，在模板中，该模板针对某一特定类型具有与其他类型不一样的实现时，使用特化。
该模板中，针对char、int、long具有不同的实现，所以对这三个类型分别写了特化模板。
10. partial specialization，偏特化
分为两种：
个数的偏：模板里面具有1个以上的泛化类型，只对其中的部分泛化类型进行特化。
范围的偏：比如对指针类具有不同的实现，那么针对指针类型写另一个泛化模板，这就是范围的偏。
11. template template parameter，模板模板参数
这个不知道怎么讲，自己不会很理解，感觉很少用，就放个图自己体会吧。
注意：对于STL的容器，在使用时诸如vector，看似vector只需要一个参数，实际上容器大多都有多个参数，只是除了第一个参数之外都有默认值。
12. variadic templates，数量不定的模板参数
自己可以写个代码实现一下图中的内容，写一下就理解了。
13. auto
这个就不讲了吧，C++基础知识
14. ranged-base for，范围for循环
这个也是，一般含有C++11的书里面都有提到，基础知识。
15. reference
C++相比于C的一个比较大的新东西。
reference通常不用于声明变量，而是用于函数参数类型和返回类型的描述。
网友评论