0.前言
随机访问迭代器: vector、string、deque
STL的一个革命性的方面就是它的计算复杂性保证
条款01:慎重选择容器类型
c++提供的容器:
标准STL序列容器：vector、string、deque、list
标准STL关联容器：set、multiset、map、multimap
非标准STL容器：stack、queue、hash_set、hash_map
STL容器的一个分类方法:
连续内存容器:逻辑相邻的元素物理地址也相邻：vector、string、deque
基于节点的容器：逻辑相邻的元素的物理地址一般不相邻：list、set、map
条款02:不要试图编写独立于容器类型的代码
STL以泛化原则为基础：
数组被泛化为"以其包含的对象的类型为参数"的容器
指针被泛化为"以其指向的对象的类型为参数"的迭代器
函数被泛化为"以其使用的迭代器的类型为参数"的算法
条款03:确保容器中的对象拷贝正确而高效
当通过 insert、push_back 向容器中加入对象时，存入容器的是你所指定对象的拷贝
当通过 front、back 从容器中取出一个对象时，你所得到的是容器中所保存对象的拷贝
使拷贝动作高效、正确，并防止派生类对象剥离问题的一个简单办法就是:使容器包含指针而不是对象(智能指针)
void func() { typedef std::tr1::shared_ptr<Widget> SPW; std::vector<SPW> vpw; for (int i = 0; i < 10; ++i) vpw.push_back(SPW(new Widget)); //无内存泄露且异常安全 }
条款04:调用 empty 而不是 检查 size() 是否为0
if (c.size() == 0) 本质上与 if (c.empty()) 等价
我们应该总是调用 empty()，因为 empty() 操作对所有的标准STL容器都是O(1)，size() 对某一些list容器是O(n) (不同平台list实现略有不同)
条款05:区间成员函数优先于与之对应的单元素成员函数
区间成员函数:使用两个迭代器参数来确定该成员操作所执行的区间
std::vector<int> vec1; std::vector<int> vec2;
现在让vec1的整体与vec2 的后半部分相同:
(1)区间成员assign版本:
vec1.assign(vec2.begin() + vec2.size() / 2 , v2.end());
//注:assign() 对所有的标准序列容器 vector、string、deque、list都适用，当需要完全替换一个容器的内容时，应该优先使用assign()
(2)单元素循环版本:
vec1.clear(); for (auto it = vec2.begin() + vec2.size() / 2; it != vec2.end(); ++it) vec1.push_back(*it);
(3)区间成员insert版本：
vec1.clear(); vec1.insert(vec1.end(), vec2.begin() + vec2.size() / 2 , vec2.end());
假定把一个int数组拷贝到一个vector里面:
方法一:区间成员函数
int data[numValues]; vector<int> vec; vec.insert(vec.begin(), data, data + numValues);
方法二:单元素循环
vector<int>::iterator it = vec.begin(); for (int i = 0; i < numValues; ++i) { it = vec.insert(it, data[i]); ++it; }
注:任何push和insert操作都可能导致迭代器失效，当元素插入到vector、deque、string时，必须确保迭代器在每次循环后都得到更新
a.方法一之调用一次insert函数，方法二调用了numValues次insert函数
b.假设vec插入前已有n个元素，则方法二总共会有 n*numValues 次元素移动，如果元素为自定义类型，则会调用 n*numValues次赋值操作
方法一中，c++标准要求区间insert函数把现有容器中的元素直接移动到他们的最终位置，总共会有 n 次元素移动
c.方法二使用区间insert可以在元素插入之前计算需要多少新内存，从而只进行一次 vector的内存扩充操作
方法一单元素循环插入numValues次最多可导致log(numValues)次新内存分配(涉及到新内存分配、元素拷贝到新内存、旧内存回收)
区间函数:
(1)区间创建:所有标准容器提供如下形式的构造函数
container::container(InputIterator begin, InputIterator end);
(2)区间插入:所有标准序列容器提供如下形式的 insert
container::insert(iterator pos, InputIterator begin, InputIterator end);//元素在pos之前插入
所有标准关联容器提供如下形式的insert:
container::insert(InputIterator begin, InputIterator end);//关联容器使用比较函数来决定元素该插入何处
(3)区间删除:所有标准容器提供如下形式的 erase
container::erase(iterator begin, iterator end);
(4)区间赋值:所有标准序列容器都提供如下形式的 assign
container::assign(InputIterator begin, InputIterator end);
总结:应该优先使用区间成员函数而不是单元素循环版本，因为使用区间可以预先知道操作结果，从而一次性移动到最终位置
条款06:当心c++编译器最烦人的分析机制
当区间创建函数 container::container(InputIterator begin, InputIterator end) 使用的迭代器是 istream_iterator时可能遇到c++最烦人的分析机制
条款07:容器中包含 new 创建的指针，必须在对象析构之前 delete 掉(注:采用 shared_ptr，避免人肉 delete)
条款08:采用shared_ptr智能指针，禁止使用auto_ptr
条款09:慎重选择删除元素的方法
假如有以下标准STL容器: container<int> c; 现在要删除其中所有值为2012的元素
如果是连续内存容器(vector、string、deque)：
c.erase(remove(c.begin(), c.end(), 2012), c.end()); //erase-remove是删除特定值的最好办法
如果是list容器:
c.remove(c.begin(), c.end(), 2012);//remove是list容器删除特定值的最好办法
如果是标准关联容器(set、map)：
c.erase(2012);//erase是set、map容器删除特定值的最好办法(无remove成员函数)
对于 vector、string、deque、list 删除满足条件的特定值时，采用 remove_if
而对于关联容器，比如set容器:写一个循环遍历容器中的元素
std::set<int> c; for (auto it = c.begin(); it != c.end(); ++it) { if (func(*it)) c.erase(it);//错误！！ 如果erase(*it)之后,位于it之后的所有迭代器全部失效，而循环变量it不能被递增 }
正确写法:
for (auto it = c.begin(); it != c.end(); ) { if (func(*it)) { c.erase(it++); } else { ++it; } }
条款10:了解分配子(allocator)的约定和限制
条款11:理解自定义分配子的合理用法
条款12:切勿对STL容器的线程安全性有不切实际的依赖
vector<int> vec; //第1行 vector<int>::iterator it(find(vec.begin(), vec.end(), 10)); //第2行 if (it != vec.end()) *it = 0; //第3行
在多线程环境中，可能在第1行刚刚完成之后，另一个不同的线程会更改vec(扩充重分配内存),这样导致 it 迭代器失效，对it解引用错误
此时应该对这3行代码块进行手工同步控制，引入互斥锁(以对象管理锁资源)