C++boolan part3_week2

面向对象和泛型编程

面向对象是对data和operation的封装，是对同类事物的抽象，跟结构化编程相比它更接近自然语言。
泛型编程是对class和operation的抽象，对class的抽象可以说是对interface的抽象，而operation抽象则是对具有同一interface的class的operation的抽象。典型应用STL。
区别：
1）面向对象：封装（数据抽象）是基础，继承是手段，多态是目的；泛型编程：参数化类型（概念抽象）是基础，模板是手段，通用是目的。
2）面向对象是运行时问题空间的多态，泛型编程是编译时算法空间的多态（静态多态）。
3）泛型编程的过程就是一个不断将算法中的共性抽象提升（lift）出来的过程，最终的目的是形成一个最大程度上通用的算法或类。

特化和偏特化

模板有两种特化，全特化和偏特化（局部特化）
模板函数只能全特化，没有偏特化（以后可能有）。
模板类是可以全特化和偏特化的。
全特化，就是模板中模板参数全被指定为确定的类型。
全特化也就是定义了一个全新的类型，全特化的类中的函数可以与模板类不一样。
偏特化，就是模板中的模板参数没有被全部确定，需要编译器在编译时进行确定。

在类型上加上const、&、*（ cosnt int、int&、int *、等等）并没有产生新的类型。只是类型被修饰了。模板在编译时，可以得到这些修饰信息。

一个特化的模板类的标志：在定义类实现时加上了<>，比如class A<int T>；而在定义一个模板类的时候，class A后面是没有<>的

全特化的标志：template <>然后是完全和模板类型没有一点关系的类实现或者函数定义

偏特化的标志：template <typename T.....>，就是说还剩下点东西，不像全特化<>整得那么彻底

iterator需要遵循的原则

std::rotate(__first,__middle,__last,std::iterator_category(__first))

在上例中，rotate()需要知道iterators的三个associated types。

iterators必须有能力回答algorithms的提问。这样的提问在C++标准库开发过程中设计了五种：category：种类；difference_type；距离；value_type：值类型;reference;pointer。

Iterator Traits用以分离class iterators和non—class iterators。