Generic Programming and the STL笔记1

1 泛型编程和面向对象编程不同，它并不要求你通过额外的间接层来调用函数；它让你撰写完全一般化并可重复运用的算法，其效率和“针对特定数据类型而设计”的算法旗鼓相当。


2 STL编译效率不高。因为需要template引数推导(argument deduction)和具现化(instantiation)，但不影响运行效率。


3 对象持久性(object persistence)：保存对象的状态，从而可以在以后恢复且使用。STL尚未支持对象持久性(persistence)。


4 adapters配接器（适配器）。allocators配置器。template classes（可参数化的型别）。


5 STL把算法和数据结构完全分离开来，互不耦合。


6 泛型算法：用来描述算法步骤的实际指令；正确指定“其引数型别必须满足之性质”的一组需求条件。


7 定义抽象的concepts，并根据抽象的concepts来撰写算法与数据结构，是泛型编程的本质。


8 泛型(genericity)，具有“在多种数据型别上皆可操作”的含意。


9 泛型编程：concepts, modeling和refinement
STL: iterators, containers, function objects

10 concept：一组“描述某个型别”的条件
model：当某个型别满足所有这样的条件
条件： 一组有效表达式


11 正规型别(regular type)：一种同时满足Assignable, Default Constructible, Equality Comparable


12 任何时刻，某个区间内只能有一个有效的input iterator, output iterator。而forward iterator没有这限制。
同一性：p和q都是可提领指针，那么当且仅当*p与*q是同一对象, p==q才成立。


13 refinement(精炼、强化)：如果concept C2提供concept C1的所有功能，再加上其他可能的额外功能，则C2是C1的refinement。


14 value type：iterator会指向某物，而此物的型别为这iterator的value type


15 type inference：型别推论


16 typename I::value_type  在模块里，指明typename后面是类型


17 value type（数值型别）
总是在class以嵌套型别定义value_type
template <class Node>
struct node_wrap
{
typedef Node value_type;
};


template <class Iterator>
struct iterator_traits
{