热门标签 | 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枚举及其高级特性
    本文详细介绍了Java枚举的概念、语法、使用规则和应用场景,并探讨了其在实际编程中的高级应用。所有相关内容已收录于GitHub仓库[JavaLearningmanual](https://github.com/Ziphtracks/JavaLearningmanual),欢迎Star并持续关注。 ... [详细]
  • 本文深入探讨了HTTP请求和响应对象的使用,详细介绍了如何通过响应对象向客户端发送数据、处理中文乱码问题以及常见的HTTP状态码。此外,还涵盖了文件下载、请求重定向、请求转发等高级功能。 ... [详细]
  • 在软件开发过程中,MD5加密是一种常见的数据保护手段。本文将详细介绍如何在C#中使用两种不同的方式来实现MD5加密:字符串加密和流加密。 ... [详细]
  • 本文探讨了在C++中如何有效地清空输入缓冲区,确保程序只处理最近的输入并丢弃多余的输入。我们将介绍一种不阻塞的方法,并提供一个具体的实现方案。 ... [详细]
  • JavaScript 基础语法指南
    本文详细介绍了 JavaScript 的基础语法,包括变量、数据类型、运算符、语句和函数等内容,旨在为初学者提供全面的入门指导。 ... [详细]
  • 本文详细介绍了C++中map容器的多种删除和交换操作,包括clear、erase、swap、extract和merge方法,并提供了完整的代码示例。 ... [详细]
  • Qt QTableView 内嵌控件的实现方法
    本文详细介绍了在 Qt QTableView 中嵌入控件的多种方法,包括使用 QItemDelegate、setIndexWidget 和 setIndexWidget 结合布局管理器。每种方法都有其适用场景和优缺点。 ... [详细]
  • 本题来自WC2014,题目编号为BZOJ3435、洛谷P3920和UOJ55。该问题描述了一棵不断生长的带权树及其节点上小精灵之间的友谊关系,要求实时计算每次新增节点后树上所有可能的朋友对数。 ... [详细]
  • 本文介绍如何从字符串中移除大写、小写、特殊、数字和非数字字符,并提供了多种编程语言的实现示例。 ... [详细]
  • 深入解析SpringMVC核心组件:DispatcherServlet的工作原理
    本文详细探讨了SpringMVC的核心组件——DispatcherServlet的运作机制,旨在帮助有一定Java和Spring基础的开发人员理解HTTP请求是如何被映射到Controller并执行的。文章将解答以下问题:1. HTTP请求如何映射到Controller;2. Controller是如何被执行的。 ... [详细]
  • 在高并发需求的C++项目中,我们最初选择了JsonCpp进行JSON解析和序列化。然而,在处理大数据量时,JsonCpp频繁抛出异常,尤其是在多线程环境下问题更为突出。通过分析发现,旧版本的JsonCpp存在多线程安全性和性能瓶颈。经过评估,我们最终选择了RapidJSON作为替代方案,并实现了显著的性能提升。 ... [详细]
  • 深入解析Spring启动过程
    本文详细介绍了Spring框架的启动流程,帮助开发者理解其内部机制。通过具体示例和代码片段,解释了Bean定义、工厂类、读取器以及条件评估等关键概念,使读者能够更全面地掌握Spring的初始化过程。 ... [详细]
  • 在尝试使用C# Windows Forms客户端通过SignalR连接到ASP.NET服务器时,遇到了内部服务器错误(500)。本文将详细探讨问题的原因及解决方案。 ... [详细]
  • 本文介绍如何使用 Android 的 Canvas 和 View 组件创建一个简单的绘图板应用程序,支持触摸绘画和保存图片功能。 ... [详细]
  • JSOI2010 蔬菜庆典:树结构中的无限大权值问题
    本文探讨了 JSOI2010 的蔬菜庆典问题,主要关注如何处理非根非叶子节点的无限大权值情况。通过分析根节点及其子树的特性,提出了有效的解决方案,并详细解释了算法的实现过程。 ... [详细]
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社区 版权所有