C++ 泛型编程
1. Conversion function 转换函数
图中,黄色部分即为转换函数,转换函数不需要加返回类型,不需要调用参数,通常加const。转换函数的作用就是在需要以另外的类型使用一个对象时,自动的将该对象转换为该类型。
如上图的实例测试所示,自动的将Fraction型对象f转换为double类型。
2. non-explicit-one-argument ctor non-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<int>,看似vector只需要一个参数,实际上容器大多都有多个参数,只是除了第一个参数之外都有默认值。
12. variadic templates,数量不定的模板参数
自己可以写个代码实现一下图中的内容,写一下就理解了。
13. auto
这个就不讲了吧,C++基础知识
14. ranged-base for,范围for循环
这个也是,一般含有C++11的书里面都有提到,基础知识。
15. reference
C++相比于C的一个比较大的新东西。
reference通常不用于声明变量,而是用于函数参数类型和返回类型的描述。