STL源码学习系列六： 算法(Algorithm)

算法(Algorithm)

---

前言

以有限的步骤，解决逻辑或数学上的问题，这一专门科目称为算法（Algorithm）。广而言之，我们所写的每一个程序都是一个算法，其中的每个函数也都是一个算法。当我们发现一个可以解决问题的算法时，下一个重要的步骤就是决定该算法所耗的资源，包括空间时间。

STL算法部分主要是由三个头文件承担： algorithm、numeric、functional

1. algorithm：意思是算法，只要想使用STL库中的算法函数就得包含该头文件。
2. numeric：包含了一系列用于计算数值序列的算法，其具有一定的灵活性，也能够适用于部分非数值序列的计算
3. functional：定义了一些模板，可以用来声明函数对象。

算法，问题之解法。

---

STL算法分类

质变与非质变算法：

1. 质变算法-会改变操作对象的值。所有的STL算法都作用在[first,last)所标示的区间上，在运算过程中改变区间元素值。例如：copy,swap,replace,fill,remove,permulation,partition,sort等。
2. 非质变算法-不改变操作对象之值。例如：find,search,count,equal,max,min等。

STL库中的算法大致可以分为四类：

1. 非可变序列算法：算法不修改容器元素的值或顺序。如：for_each，先行查找，子序列匹配，元素个数，元素比较，最大与最小值。
2. 可变序列算法：算法要修改容器元素的值或顺序。例如：复制、填充、交换、替换、生成等
3. 排序算法：包括排序、二分查找、归并排序、堆排序、有序查找等。
4. 数值算法：包括向量运算、复数运算、求和、内积等。

---

泛型算法

STL算法的一般形式-泛型算法。所有泛型算法的前两个参数都是一对迭代器，通常称为first,last，以标示算法的操作区间，前闭后开。这个[first,last)区间的必要条件是，必须能够经由increment（累加）操作的反复运用，从first到last。编译器本生无法强求这一点，如果这个条件不成立，会导致未可预期的后果。

根据特性，迭代器分为5类。每一个STL算法的申明，都表现它所需的最低程度的迭代器类型。同时，将无效的迭代器传给某一个算法，虽然是一个错误，却不能保证在编译时就能被捕捉出来，因为所谓“迭代器类型”并不是真实的型别，他们只是function template的一种型别参数（type parameters）。

许多STL算法不只支持一个版本，这一类算法的某个版本采用缺省运算行为，另一个版本提供额外参数，接受外界传入一个仿函数，以便采用其他策略。

---

算法的泛化过程

如设计一个算法，使它适用于任何（大多数）数据结构？

将算法独立于其所处理的数据结构之外，不受数据结构的羁绊。关键在于：将操作对象的型别抽象化，把操作对象的标识符和区间目标的移动行为抽象化。整个算法也就在一个抽象的层面上了。整个过程称为泛型化（generalized），简称泛化。

让我们看看算法泛化的一个实例，以简单的循序查找为例。假设我们要写一个find()函数,在array中寻找特定值。面对array，我们的直觉反应是：

int* find(int *arrayHead,int arraySize,int value)
{
    int i;
    for(i=0;i<arraySize;i++)
    {    if(arrayHead[i]==value)
        break;
    }
    return &(arrayHead[i]);
}

该函数在某一个区间内查找，返回的是一个指针，指向符合标准的第一个元素。

为例让find()函数适用于所有类型的容器，其操作应当抽象化些，让find()接受两个指针作为参数，标示出一个操作区间，这就是很好的做法：

int* find(int* begin,int* end,int value)
{
    while(begin!=end&&*begin!=value)
        ++begin;
    return begin;
}

由于find()函数之内并无任何操作是针对特定的整数array而发的，所以我们将它改成一个template:

template<class T>
T* find(T* begin,T*end,const T& value)
{
    while(