热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

《EffectiveSTL》学习笔记:深入理解STL(第三部分)

4、迭代器标准STL容器提供了四种不同的迭代器:iterator、const_iterator、reverse_iterator和const_reverse_iter

4、 迭代器

标准STL容器提供了四种不同的迭代器:iterator、const_iterator、reverse_iterator和const_reverse_iterator

为什么有四种迭代器?它们之间的关系是什么?它们可以互相转化吗?在调用算法和STL实用函数时不同类型可以混合使用吗?这些类型是怎么关联到容器和它们的成员函数的?本章回答了这些问题,同时介绍了一个比通常更值得注意的迭代器类型:istreambuf_iterator。

条款26:尽量用iterator代替const_iterator,reverse_iterator和const_reverse_iterator

每个标准容器类都提供四种迭代器类型。对于container而言,iterator的作用相当于T*,而const_iterator则相当于const T*;增加一个iterator或者const_iterator可以在一个从容器开头趋向尾部的遍历中让你移动到容器的下一个元素。reverse_iterator与const_reverse_iterator同样相当于对应的T*和const T*,所不同的是,增加reverse_iterator或者const_reverse_iterator会在从尾到头的遍历中让你移动到容器的下一个元素。

迭代器使用的一个重要指导方针是:尽量使用iterator代替其他三种迭代器,原因有:

(1) insert和erase的一些版本要求iterator。如果你需要调用这些函数,你就必须产生iterator,而不能用const或reverse iterators。

(2)不可能把const_iterator隐式转换成iterator。

条款27:用distance和advance把const_iterator转化成iterator

如果你只有一个const_iterator,而你要在它所指向的容器位置上插入新元素呢?也就是如何把const_iterator转化为iterator呢?前面提到:并不存在从const_iterator到iterator之间的隐式转换,也就是说下面操作是不可以的:


1
2
3
4
5
6
7
8
9
10
11
12
13
typedef deque<int> IntDeque; // 方便的typedef
 
typedef IntDeque::iterator Iter;
 
typedef IntDeque::const_iterator ConstIter;
 
ConstIter ci; // ci是const_iterator
 
...
 
Iter i(ci); // 错误&#xff01;没有从const_iterator 到iterator隐式转换的途径
 
Iter i(const_cast(ci)); // 仍是个错误&#xff01;不能从const_iterator映射为iterator&#xff01;

正确方法如下&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
typedef deque<int> IntDeque; // 和以前一样
 
typedef IntDeque::iterator Iter;
 
typedef IntDeque::const_iterator ConstIter;
 
IntDeque d;
 
ConstIter ci;
 
... // 让ci指向d
 
Iter i(d.begin()); // 初始化i为d.begin()
 
advance(i, distance (i, ci)); // 把i移到指向ci位置

注&#xff1a;distance返回两个指向同一个容器的iterator之间的距离&#xff1b;advance则用于将一个iterator移动指定的距离。如果i和ci指向同一个容器&#xff0c;那么表达式advance(i, distance(i, ci))会将i移动到与ci相同的位置上。

条款28&#xff1a;了解如何通过reverse_iterator的base得到iterator

条款29&#xff1a;XXXXXXXXXXXXXXXXXXXX&#xff08;不常见&#xff09;

5、算法

条款30&#xff1a;确保目标区间足够大

“把transform的结果放入叫做results容器的结尾”的正确方法是调用back_inserter来产生指定目标区间起点的迭代器&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
vector<int> results;
 
transform(values.begin(), values.end(), //把transmogrify应用于values中的每个对象&#xff0c;
 
back_inserter(results), // 在results的结尾
 
transmogrify); // 插入返回的values
 
同样&#xff0c;将结果插到results容器的前面采用的方法是&#xff1a;
 
... // 同上
 
list<int> results;
 
transform(values.begin(), values.end(), // results现在是list在results前端
 
front_inserter(results), // 以反序
 
transmogrify); // 插入transform的结果

更高效的方法是&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
vector<int> values; // 同上
 
vector<int> results;
 
results.reserve(results.size() &#43; values.size()); // 同上
 
transform(values.begin(), values.end(), // 把transmogrify的结果
 
back_inserter(results), // 写入results的结尾&#xff0c;
 
transmogrify); // 处理时避免了重新分配

条款31&#xff1a;了解你的排序选择

(1) 如果你需要在vector、string、deque或数组上进行完全排序&#xff0c;你可以使用sort或stable_sort。

(2) 如果你有一个vector、string、deque或数组&#xff0c;你只需要排序前n个元素&#xff0c;应该用partial_sort。

(3) 如果你有一个vector、string、deque或数组&#xff0c;你需要鉴别出第n个元素或你需要鉴别出最前的n个元素&#xff0c;而不用知道它们的顺序&#xff0c;nth_element是你应该注意和调用的。

(4) 如果你需要把标准序列容器的元素或数组分隔为满足和不满足某个标准&#xff0c;你大概就要找partition或stable_partition。

(5) 如果你的数据是在list中&#xff0c;你可以直接使用partition和stable_partition&#xff0c;你可以使用list的sort来代替sort和stable_sort。如果你需要partial_sort或nth_element提供的效果&#xff0c;你就必须间接完成这个任务&#xff0c;主要有三种方法&#xff1a;

[1] 把元素拷贝到一个支持随机访问迭代器的容器中&#xff0c;然后对它应用需要的算法。

[2] 另一个方法是建立一个list::iterator的容器&#xff0c;对那个容器使用算法&#xff0c;然后通过迭代器访问list元素。

[3]使用有序的迭代器容器的信息来迭代地把list的元素接合到你想让它们所处的位置

条款32&#xff1a;如果你真的想删除东西的话就在类似remove的算法后接上erase

先看一个错误的实例&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
vector<int> v; // 建立一个vector 用1-10填充它
 
v.reserve(10);
 
for (int i &#61; 1; i <&#61; 10; &#43;&#43;i) {
 
v.push_back(i);
 
}
 
cout <// 打印10
 
v[3] &#61; v[5] &#61; v[9] &#61; 99; // 设置3个元素为99
 
remove(v.begin(), v.end(), 99); // 删除所有等于99的元素
 
cout <// 仍然是10&#xff01;

正确的删除元素的方法是&#xff1a;


1
2
3
4
5
vector<int> v; // 正如从前
 
v.erase(remove(v.begin(), v.end(), 99), v.end()); // 真的删除所有等于99的元素
 
cout <// 现在返回7

需要注意的是remove和erase是亲密联盟&#xff0c;这两个整合到list成员函数remove中。这是STL中唯一名叫remove又能从容器中除去元素的函数&#xff1a;


1
2
3
4
5
6
7
list<int> li; // 建立一个list
 
// 放一些值进去
 
li.remove(99); // 除去所有等于99的元素&#xff1a;真的删除元素&#xff0c;所以它的大小可能改变了
 
remove_if &#xff0c;unique和remove类似&#xff0c;都需要跟erase连用才可以真正删除数据&#xff0c;同样&#xff0c;对于list是个特殊。

条款33&#xff1a;提防在指针的容器上使用类似remove的算法

该条款是对条款32的补充&#xff0c;采用remove/erase方式删除指针容器中的数据会造成内存泄漏&#xff0c;如&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
class Widget{
 
public:
 
...
 
bool isCertified() const; // 这个Widget是否通过检验
 
...
 
};
 
vector v; // 建立一个vector然后用动态分配的Widget
 
v.push_back(new Widget); // 的指针填充
 
v.erase(remove_if(v.begin(), v.end(), // 删除未通过检验的
 
not1(mem_fun(&Widget::isCertified))), // Widget指针
 
v.end());

Widget C和Widget B的内存不会被释放&#xff0c;造成内存泄漏&#xff0c;正确的方法有两种&#xff1a;

&#xff08;1&#xff09;在应用erase-remove惯用法之前先删除指针并设置它们为空&#xff0c;然后除去容器中的所有空指针&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
void delAndNullifyUncertified(Widget*& pWidget) // 如果*pWidget是一个
 
{ // 未通过检验Widget&#xff0c;
 
if (!pWidget->isCertified()) { // 删除指针
 
delete pWidget; // 并且设置它为空
 
pWidget &#61; 0;
 
}
 
}
 
for_each(v.begin(), v.end(), // 把所有指向未通过检验Widget的
 
delAndNullifyUncertified); // 指针删除并且设置为空
 
v.erase(remove(v.begin(), v.end(), // 从v中除去空指针
 
static_cast(0)), // 0必须映射到一个指针&#xff0c;
 
v.end()); // 让C&#43;&#43;可以正确地推出remove的第三个参数的类型

&#xff08;2&#xff09;采用智能指针&#xff0c;如boost库中的shared_ptr和scoped_ptr

条款34&#xff1a;注意哪个算法需要有序区间

STL中只能操作有序数据&#xff08;升序&#xff09;的算法有&#xff1a;

(1) binary_search&#xff1a;二分查找

(2) lower_bound&#xff1a;下界

(3) upper_bound&#xff1a;上街

(4) equal_range&#xff1a;所有等于某个值的元素

(5) set_union&#xff1a;集合并集

(6) set_intersection&#xff1a;集合交集

(7) set_difference &#xff1a;集合差集

(8) set_symmetric_difference&#xff1a;包含在第一个集合但是不包含在第二个集合中的元素&#xff0c;包含在第2个集合但是不包含在第1个集合中的元素

(9) merge&#xff1a;合并两个有序表

(10) inplace_merge&#xff1a;合并两个有序表

(11) includes&#xff1a;检测一个区间的所有对象是否在另一个区间中

另外&#xff0c;下面的算法一般用于有序区间&#xff0c;虽然它们不要求&#xff1a;

(12) unique&#xff1a;去重&#xff0c;相同的元素必须紧挨着&#xff0c;排序是个特例

(13) unique_copy&#xff1a;同上

条款35&#xff1a;通过mismatch或lexicographical比较实现简单的忽略大小写字符串比较

实现忽略大小写字符串比较有两种方法&#xff0c;一种是使用mismatch函数&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
int ciStringCompareImpl(const string& s1,  const string& s2);
 
int ciStringCompare(const string& s1, const string& s2)
 
{
 
if (s1.size() <&#61; s2.size()) return ciStringCompareImpl(s1, s2);
 
else return -ciStringCompareImpl(s2, s1);
 
}
 
int ciStringCompareImpl(const string& si, const strings s2)
 
{
 
typedef pair// PSCI &#61; “pair of
 
string::const_iterator> PSCI; // string::const_iterator”
 
PSCI p &#61; mismatch( // 下文解释了
 
s1.begin(), s1.end(), // 为什么我们
 
s2.begin(), // 需要not2&#xff1b;参见
 
not2(ptr_fun(ciCharCompare))); // 条款41解释了为什么
 
// 我们需要ptr_fun
 
if (p.first&#61;&#61; s1.end()) { // 如果为真&#xff0c;s1等于
 
if (p.second &#61;&#61; s2.end()) return 0; // s2或s1比s2短
 
else return -1;
 
}
 
return ciCharCompare(*p.first, *p.second); // 两个字符串的关系
 
} // 和不匹配的字符一样

第二种时使用lexicographical函数&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
bool ciCharLess(char c1, char c2) // 返回在忽略大小写
 
{ // 的情况下c1是否
 
// 在c2前面&#xff1b;
 
tolower(static_castchar>(c1)) <// 条款46解释了为什么
 
tolower(static_castchar>(c2)); // 一个函数对象可能
 
} // 比函数好
 
bool ciStringCompare(const string& s1, const string& s2)
 
{
 
return lexicographical_compare(s1.begin(), s1.end(),
 
s2.begin(), s2.end(),
 
ciCharLess);
 
}

条款36&#xff1a;了解copy_if的正确实现

STL有很多有趣的地方&#xff0c;其中一个是虽然有11个名字带“copy”的算法&#xff1a;

(1) copy

(2) copy_backward

(3) replace_copy

(4) reverse_copy

(5) replace_copy_if

(6) unique_copy

(7) remove_copy

(8) rotate_copy

(9) remove_copy_if

(10) partial_sort_copy

(11) unintialized_copy

但没有一个是copy_if&#xff0c;这需要自己实现&#xff0c;非常经典的一个实现是&#xff1a;


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
template<typename InputIterator, // 一个copy_if的
 
typename OutputIterator, // 正确实现
 
typename Predicate>
 
OutputIterator copy_if(InputIterator begin,
 
InputIterator end,
 
OutputIterator destBegin,
 
Predicate p) {
 
while (begin !&#61; end) {
 
if (p(*begin))*destBegin&#43;&#43; &#61; *begin;
 
&#43;&#43;begin;
 
}
 
return destBegin;
 
}

条款37&#xff1a;用accumulate或for_each来统计区间

本条款总结了用自定义的方式统计&#xff08;summarize&#xff09;区间的方法&#xff0c;主要有两种(在头文件中)&#xff1a;

(1) accumulate存在两种形式:第一种是&#xff1a; 带有一对迭代器和初始值的形式&#xff0c;它可以返回初始值加由迭代器划分出的区间中值的和&#xff1a;


1
2
3
4
5
list<double> ld; // 建立一个list
 
... // 放一些double进去
 
double sum &#61; accumulate(ld.begin(), Id.end(), 0.0); // 计算它们的和&#xff0c;从0.0开始

注意初始值指定为0.0&#xff0c;0.0的类型是double&#xff0c;所以accumulate内部使用了一个double类型的变量来存储计算的和。如果这么写这个调用&#xff1a;


1
double sum &#61; accumulate(ld.begin(), Id.end(), 0); // 计算它们的和&#xff0c;从0开始&#xff1b;

初始值是int 0&#xff0c;所以accumulate内部就会使用一个int来保存它计算的值&#xff0c;这是不正确的&#xff0c;因为每次加法后会将结果转换为一个int&#xff0c;这造成小数点后面的数值丢失。

另一种形式带有一个初始和值与一个任意的统计函数&#xff0c;实例:


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
string::size_type // string::size_type的内容
 
stringLengthSum(string::size_type sumSoFar, // 请看下文
 
const string& s)
 
{
 
return sumSoFar &#43; s.size();
 
}
 
set ss; // 建立字符串的容器&#xff0c;
 
... // 进行一些操作
 
string::size_type lengthSum &#61; // 把lengthSum设为对
 
accumulate(ss.begin(), ss.end(), // ss中的每个元素调用
 
0, stringLengthSum); // stringLengthSum的结果&#xff0c;使用0作为初始统计值

(2) for_each&#xff0c;带有一个区间和一个函数&#xff08;一般是一个函数对象&#xff09;来调用区间中的每个元

素&#xff0c;但传给for_each的函数只接收一个实参&#xff08;当前的区间元素&#xff09;&#xff0c;而且当完成时for_each返回它的函数。


推荐阅读
  • Java容器中的compareto方法排序原理解析
    本文从源码解析Java容器中的compareto方法的排序原理,讲解了在使用数组存储数据时的限制以及存储效率的问题。同时提到了Redis的五大数据结构和list、set等知识点,回忆了作者大学时代的Java学习经历。文章以作者做的思维导图作为目录,展示了整个讲解过程。 ... [详细]
  • 集合的遍历方式及其局限性
    本文介绍了Java中集合的遍历方式,重点介绍了for-each语句的用法和优势。同时指出了for-each语句无法引用数组或集合的索引的局限性。通过示例代码展示了for-each语句的使用方法,并提供了改写为for语句版本的方法。 ... [详细]
  • Iamtryingtomakeaclassthatwillreadatextfileofnamesintoanarray,thenreturnthatarra ... [详细]
  • 向QTextEdit拖放文件的方法及实现步骤
    本文介绍了在使用QTextEdit时如何实现拖放文件的功能,包括相关的方法和实现步骤。通过重写dragEnterEvent和dropEvent函数,并结合QMimeData和QUrl等类,可以轻松实现向QTextEdit拖放文件的功能。详细的代码实现和说明可以参考本文提供的示例代码。 ... [详细]
  • 阿,里,云,物,联网,net,core,客户端,czgl,aliiotclient, ... [详细]
  • Spring特性实现接口多类的动态调用详解
    本文详细介绍了如何使用Spring特性实现接口多类的动态调用。通过对Spring IoC容器的基础类BeanFactory和ApplicationContext的介绍,以及getBeansOfType方法的应用,解决了在实际工作中遇到的接口及多个实现类的问题。同时,文章还提到了SPI使用的不便之处,并介绍了借助ApplicationContext实现需求的方法。阅读本文,你将了解到Spring特性的实现原理和实际应用方式。 ... [详细]
  • 个人学习使用:谨慎参考1Client类importcom.thoughtworks.gauge.Step;importcom.thoughtworks.gauge.T ... [详细]
  • 本文详细介绍了Java中vector的使用方法和相关知识,包括vector类的功能、构造方法和使用注意事项。通过使用vector类,可以方便地实现动态数组的功能,并且可以随意插入不同类型的对象,进行查找、插入和删除操作。这篇文章对于需要频繁进行查找、插入和删除操作的情况下,使用vector类是一个很好的选择。 ... [详细]
  • [大整数乘法] java代码实现
    本文介绍了使用java代码实现大整数乘法的过程,同时也涉及到大整数加法和大整数减法的计算方法。通过分治算法来提高计算效率,并对算法的时间复杂度进行了研究。详细代码实现请参考文章链接。 ... [详细]
  • 前景:当UI一个查询条件为多项选择,或录入多个条件的时候,比如查询所有名称里面包含以下动态条件,需要模糊查询里面每一项时比如是这样一个数组条件:newstring[]{兴业银行, ... [详细]
  • 本文介绍了Swing组件的用法,重点讲解了图标接口的定义和创建方法。图标接口用来将图标与各种组件相关联,可以是简单的绘画或使用磁盘上的GIF格式图像。文章详细介绍了图标接口的属性和绘制方法,并给出了一个菱形图标的实现示例。该示例可以配置图标的尺寸、颜色和填充状态。 ... [详细]
  • 纠正网上的错误:自定义一个类叫java.lang.System/String的方法
    本文纠正了网上关于自定义一个类叫java.lang.System/String的错误答案,并详细解释了为什么这种方法是错误的。作者指出,虽然双亲委托机制确实可以阻止自定义的System类被加载,但通过自定义一个特殊的类加载器,可以绕过双亲委托机制,达到自定义System类的目的。作者呼吁读者对网上的内容持怀疑态度,并带着问题来阅读文章。 ... [详细]
  • 重入锁(ReentrantLock)学习及实现原理
    本文介绍了重入锁(ReentrantLock)的学习及实现原理。在学习synchronized的基础上,重入锁提供了更多的灵活性和功能。文章详细介绍了重入锁的特性、使用方法和实现原理,并提供了类图和测试代码供读者参考。重入锁支持重入和公平与非公平两种实现方式,通过对比和分析,读者可以更好地理解和应用重入锁。 ... [详细]
  • ***byte(字节)根据长度转成kb(千字节)和mb(兆字节)**parambytes*return*publicstaticStringbytes2kb(longbytes){ ... [详细]
  • 本文介绍了H5游戏性能优化和调试技巧,包括从问题表象出发进行优化、排除外部问题导致的卡顿、帧率设定、减少drawcall的方法、UI优化和图集渲染等八个理念。对于游戏程序员来说,解决游戏性能问题是一个关键的任务,本文提供了一些有用的参考价值。摘要长度为183字。 ... [详细]
author-avatar
你试下再望啊
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有