STL实践与分析
--泛型算法的结构
引言:
正如全部的容器都建立在一致的设计模式上一样,算法也具有共同的设计基础。
算法最主要的性质是须要使用的迭代器种类。全部算法都指定了它的每一个迭代器形參可使用的迭代器类型。比方,假设形參必须为随机訪问迭代器则可提供vector或 deque类型的迭代器,或者提供指向数组的指针。而其它容器的迭代器不能用在这类算法上。
C++还提供了另外两种算法模式:一种模式由算法所带的形參定义;还有一种模式则通过两种函数命名和重载的规范定义。
一、算法的形參模式
大多数的算法都採用以下四种形參模式:
alg(beg,end,other parms);
alg(beg,end,dest,other parms);
alg(beg,end,beg2,other parms);
alg(beg,end,beg2,end2,other parms);
当中,alg是算法的名字,beg和end指定算法操作的元素范围。我们通常将该范围成为算法的“输入范围”。
1、带有单个目标迭代器的算法
dest形參是一个迭代器,用于指定存储输出数据的目标对象。
调用这些算法时,必须确保输出容器有足够大的容量存储输出数据。
假设dest是容器上的迭代器,则算法将输出内容写到容器中已存在的元素上。更普遍的使用方法是,将dest与某个插入迭代器或者ostream_iterator绑定在一起。插入迭代器在容器中加入元素,以确保容器有足够的空间存储输出。ostream_iterator则实现写输出流的功能,无须要考虑所写的元素个数。
2、带第二个输入序列的算法
有一些算法带有一个beg2迭代器形參,或者同一时候带有beg2和end2迭代器形參,来指定他的第二个输入范围,此时,算法完整地制定了两个范围:beg和end标记第一个输入范围,而beg2和end2则标记第二个输入范围。
与写入dest的算法一样,仅仅带有beg2的算法也假定一beg2開始的序列与beg和end标记的序列一样大!
二、算法的命名规范
标准库使用了两种重要的算法命名和重载规范:
1)第一种模式包含測试输入范围内的元素的算法
2)另外一种模式应用于对输入范围内元素又一次排序的算法【不是非常理解】
1、差别带有一个值或一个谓词函数參数的算法版本号
非常多算法通过检查其输入范围内的元素实现其功能。当中的大部分算法会提供第二个版本号的函数,同意程序猿提供比較或測试函数代替操作符(<或==)的使用。
sort(beg,end);
//带有一个额外的形參,表示用于元素排序的不同运算
sort(beg,end,comp);
检查指定值的算法默认使用==操作符。系统为这类算法提供另外命名的(而非重载的)版本号:
find(beg,end,val);
find_if(beg,end,pred);
带有谓词函数形參的算法,其名字带有一个_if后缀。当中,find_if算法用于查找一个使谓词函数pred返回非零值的元素。
2、差别是否实现复制的算法版本号
不管算法是否检查它的元素值,都可能又一次排列输入范围内的元素。在默认情况下,这些算法将又一次排列的元素写回其输入范围。标准库也为这些算法提供另外命名的版本号,将元素写到指定的输出目标。此版本号的算法在名字中加入了_copy后缀:
reverse(beg,end);
reverse_copy(beg,end,dest);
//P360 习题11.27
//仅仅依据这些函数的名字和形參,描写叙述这些算法的功能。
replace(beg, end, old_val, new_val);
replace_if(beg, end, pred, new_val);
replace_copy(beg, end, dest, old_val,new_val);
replace_copy_if(beg, end, dest, pred,new_val);
//习题11.28
int main()
{
list<int> iList;
for (list<int>::size_type i = 0; i != 100; ++i)
{
iList.push_back(i);
} vector<int> vec;
reverse_copy(iList.begin(),iList.end(),back_inserter(vec)); for (vector<int>::iterator iter = vec.begin(); iter != vec.end(); ++iter)
{
cout << *iter << endl;
}
}