侯捷C++ STL体系结构与源码剖析：迭代器对算法的影响

distance函数，要看传入迭代器的类型，如果是连续空间直接相减，否则只能++。萃取器iterator_traits要根据输入迭代器类型来确定返回类型。加入last和first相差100万，则第二个直接一减就出来，而第一个要走100万步。向上继承，调用最匹配的父类。假设传入的是farward_iterator_tag类型，则调用input_iterator_tag。

再来一个栗子：

copy函数：源端需要起点终点，而目的端只需要起点。这里主要是为了实现加速，才那么多特化。for-loop是最慢的，从来源端一个个copy到目的端，这个过程里会引发拷贝赋值。trivial是不重要的意思。拷贝赋值重要就要for-loop，否则memmove()。比如复数类，包括实部和虚部，但是其拷贝构造拷贝赋值不重要（没有指针都可以用默认的，默认是不重要）。

destroy类似：

汇总：

_unique_copy的栗子：

算法中对迭代器种类的暗示：拿sort举例，它在变量命名时就暗示需要的是random_access_iterator，但是它也接受其他类型的迭代器，编译的第一行不会报错，但是后面继续就会出错。