effective STL

基于接口和实现分离的原则。了解stl的接口和stl的实现。

链接:https://pan.baidu.com/s/1POBg9ZUUKaLRrqzDRO4f6w 
提取码:vwnw

1. 慎重选择容器类型

STL中有迭代器(iterator)、算法(algorithm)和函数对象(function object)。但是对于大多数C++程序员来说,最值得注意的还是容器。容器比数组功能更强大、更灵活。它们可以动态增长(和缩减),可以自己管理内存,可以记住自己包含了多少对象。它们限定了自己所支持的操作的复杂性。

序列容器:vector、string、deque、list、forward_list(C++11)、array(C++11)。

关联容器:set、multiset、map、multimap、

哈希容器:hash_set、hash_multiset、hash_map、hash_multimap、 unordered_set(C++11)、unordered_multiset(C++11)、unordered_map(C++11)、unordered_multimap(C++11)。

标准的非STL容器,包括:bitset(include )、valarray(include )。其它STL容器:stack(include )、queue(include )和priority_queue((include ))。

vector可以作为string的替代。vector作为标准关联容器的替代。有时vector在运行时间和空间上都要优于标准关联容器。

vector是默认应使用的序列类型,当需要频繁地在序列中间做插入和删除操作时,应使用list;当大部分插入和删除操作发生在序列的头部和尾部时, deque是应考虑的数据结构。
STL容器的一种分类方法:连续内存容器(contiguous memory container)和基于节点的容器(node-based container)。

 连续内存容器:vector、string、deque

基于节点的容器:list、关联容器、哈希容器

选择容器时最重要的一些问题:

(1). 你是否需要在容器的任意位置插入新元素?如果需要,就选择序列容器;关联容器是不行的。

(2). 你是否关心容器中的元素是如何排序的?如果不关心,则哈希容器是一个可行的选择方案;否则,你要避免哈希容器。

(3). 你选择的容器必须是标准C++的一部分吗?如果必须是,就排除了slist和rope。

(4). 你需要哪种类型的迭代器?如果它们必须是随机访问迭代器,则对容器的选择就被限定为vector、deque和string。或许你也可以考虑rope。如果要求使用双向迭代器,那么你必须避免slist以及哈希容器的一个常见实现。

(5). 当发生元素的插入或删除操作时,避免移动容器中原来的元素是否很重要?如果是,就要避免连续内存的容器。

(6). 容器中数据的布局是否需要和C兼容?如果需要兼容,就只能选择vector。

(7). 元素的查找速度是否是关键的考虑因素?如果是,就要考虑哈希容器、排序的vector和标准关联容器----或许这就是优先顺序。

(8). 如果容器内部使用了引用计数技术(reference counting),你是否介意?如果是,就要避免使用string,因为许多string的实现都使用了引用计数。rope也需要避免,因为权威的rope实现是基于引用计数的。当然,你需要某种表示字符串的方法,这时你可以考虑vector

(9). 对插入和删除操作,你需要事务语义(transactional semantics)吗?也就是说,在插入和删除操作失败时,你需要回滚的能力吗?如果需要,你就要使用基于节点的容器。如果对多个元素的插入操作(即针对一个区间的形式)需要事务语义,则你需要选择list,因为在标准容器中,只有list对多个元素的插入操作提供了事务语义。对那些希望编写异常安全(exception-safe)代码的程序员,事务语义显得尤为重要。(使用连续内存的容器也可以获得事务语义,但是要付出性能上的代价,而且代码也显得不那么直截了当。)

(10). 你需要使迭代器、指针和引用变为无效的次数最少吗?如果是这样,就要使用基于节点的容器,因为对这类容器的插入和删除操作从来不会使迭代器、指针和引用变得无效(除非它们指向了一个你正在删除的元素)。而针对连续内存容器的插入和删除操作一般会使指向该容器的迭代器、指针和引用变得无效。

(11). 如果序列容器的迭代器是随机访问类型,而且只要没有删除操作发生,且插入操作只发生在容器的末尾,则指向数据的指针和引用就不会变为无效,这样的容器是否对你有帮助?这是非常特殊的情形,但如果你面对的情形正是如此,则deque是你所希望的容器。(当插入操作仅在容器末尾发生时,deque的迭代器有可能会变为无效。deque是唯一的、迭代器可能会变为无效而指针和引用不会变为无效的STL标准容器。)

2. 不要试图编写独立于容器类型的代码

STL是以泛化(generalization)原则为基础的:数组被泛化为”以其包含的对象的类型为参数”的容器,函数被泛化为”以其使用的迭代器的类型为参数”的算法,指针被泛化为”以其指向的对象的类型为参数”的迭代器。

容器类型被泛化为序列和关联容器,类似的容器被赋予相似的功能。标准的连续内存容器提供了随机访问迭代器,而标准的基于节点的容器提供了双向迭代器。序列容器支持push_front和/或push _back操作,而关联容器则不然。关联容器提供了对数时间的lower_bound、upper_bound和equal_range成员函数,但序列容器却没有提供。

3. 确保容器中的对象拷贝正确而高效

当(通过如insert或push_back之类的操作)向容器中加入对象时,存入容器的是你所指定的对象的拷贝。当(通过如front或back之类的操作)从容器中取出一个对象时,你所得到的是容器中所保存的对象的拷贝。进去的是拷贝,出来的也是拷贝(copy in, copy out)。

在存在继承关系的情况下,拷贝动作会导致剥离(slicing)。也就是说,如果你创建了一个存放基类对象的容器,却向其中插入派生类的对象,那么在派生类对象(通过基类的拷贝构造函数)被拷贝进容器时,它所特有的部分(即派生类中的信息)将会丢失。”剥离”问题意味着向基类对象的容器中插入派生类对象几乎总是错误的。使拷贝动作高效、正确,并防止剥离问题发生的一个简单办法是使容器包含指针而不是对象。

class Widget {};
class SpecialWidget : public Widget {};
 
int test_item_3()
{
	std::vector vw;
	SpecialWidget sw;
	vw.push_back(sw); // sw作为基类对象被拷贝进vw中,它的派生类特有部分在拷贝时被丢掉了
 
	return 0;
}

4. 调用empty而不是检查size()是否为0

empty对所有的标准容器都是常数时间操作,而对一些list实现,size耗费线性时间。

effective STL_第1张图片

effective STL_第2张图片

5. 区间成员函数优先于与之对应的单元素成员函数

区间成员函数是指这样的一类成员函数,它们像STL算法一样,使用两个迭代器参数来确定该成员操作所执行的区间。如果不使用区间成员函数就得写一个显示的循环。

优先选择区间成员函数而不是其对应的单元素成员函数有三条充分的理由:

1.区间成员函数写起来更容易,

2.更能清楚地表达你的意图,

3.而且它们表现出了更高的效率。具体表现为在减少拷贝构造函数的调用次数。因为每次insert、copy函数就对内存移动调用拷贝构造、赋值构造函数。

effective STL_第3张图片

//区间成员函数优先于与之对应的单元素成员函数
class Widget5 {};
int test_item_5()
{
	std::vector v1, v2;
	v1.assign(v2.begin() + v2.size() / 2, v2.end()); // 推荐

	v1.clear();
	for (std::vector::const_iterator ci = v2.begin() + v2.size() / 2; ci != v2.end(); ++ci) // 不推荐
		v1.push_back(*ci);

	v1.clear();
	std::copy(v2.begin() + v2.size() / 2, v2.end(), std::back_inserter(v1)); // 效率不如assign

	v1.clear();
	v1.insert(v1.end(), v2.begin() + v2.size() / 2, v2.end()); // 对copy的调用可以被替换为利用区间的insert版本

	const int numValues = 100;
	int data[numValues];

	std::vector v;
	v.insert(v.begin(), data, data + numValues); // 推荐,使用区间成员函数insert

	std::vector::iterator insertLoc(v.begin());
	for (int i = 0; i < numValues; ++i) {
		insertLoc = v.insert(insertLoc, data[i]); // 不推荐,使用单元素成员函数
		++insertLoc;
	}

	return 0;
}

    std 的 copy()函数

    copy(_InIt _First, _InIt _Last, _OutIt _Dest)    first、last表示源    dest表示目标

6. 当心C++编译器最烦人的分析机制

effective STL_第4张图片

应该是这样 :

 effective STL_第5张图片

effective STL_第6张图片

// 注意:围绕参数名的括号(比如对f2中d)与独立的括号的区别:围绕参数名的括号被忽略,而独立的括号则表明参数
// 列表的存在:它们说明存在一个函数指针参数
int f1(double d); // 声明了一个带double参数并返回int的函数
int f2(double(d)); // 同上,d两边的括号被忽略,可以给参数名加上圆括号
int f3(double); // 同上,参数名被忽略
 
int g1(double(*pf)()); // 参数是一个指向不带任何参数的函数的指针,该函数返回double值;g1以指向函数的指针为参数
int g2(double pf()); // 同上,pf为隐式指针
int g3(double()); // 同上,省去参数名
 
int test_item_6()
{
    // 把一个存有整数(int)的文件ints.dat拷贝到一个list中
	std::ifstream dataFile("ints.dat");
	std::list data1(std::istream_iterator(dataFile), std::istream_iterator()); // 小心,结果不会是你所想象的那样
	std::list data2((std::istream_iterator(dataFile)), std::istream_iterator()); // 正确,注意list构造函数的第一个参数两边的括号

	std::istream_iterator dataBegin(dataFile);
	std::istream_iterator dataEnd;
	std::list data3(dataBegin, dataEnd); // 正确

	//输出   // 把一个list拷贝到一个存有整数(int)的文件outs.dat
	std::ofstream outFile("outs.dat");
	ostream_iterator outite(outFile, " ");
	copy(data3.begin(), data3.end(), outite);
 
	return 0;
}

对于 迭代器配接器(iterator adapters)的介绍见:STL源码剖析之配接器。

STL源码剖析之配接器_小飞侠hello的博客-CSDN博客

7. 如果容器中包含了通过new操作创建的指针,切记在容器对象析构前将指针delete

effective STL_第7张图片

解决办法:使用智能指针,如shared_ptr 。具体介绍见:c++ 智能指针auto_ptr (c++98)、shared_ptr(c++ 11)、unique_ptr(c++ 11)、weak_ptr(c++ 11)_小飞侠hello的博客-CSDN博客_智能指针取内容

class Widget7 {};
int test_item_7()
{
	const int num = 5;
	using SPW = std::shared_ptr; // SPW"指向Widget7的shared_ptr"
	std::vector vwp3;
	for (int i = 0; i < num; ++i) {
		vwp3.push_back(SPW(new Widget7)); // 从Widget7创建SPW,然后对它进行一次push_back使用vwp3,这里不会有Widget7泄露,即使有异常被抛出
	}
	return 0;
}

 8. 切勿创建包含auto_ptr的容器对象

auto_ptr的容器(简称COAP)是被禁止的。当你拷贝一个auto_ptr时,它所指向的对象的所有权被移交到拷入的auto_ptr上,而它自身被置为NULL。如果你的目标是包含智能指针的容器,这并不意味着你要倒霉,包含智能指针的容器是没有问题的。

9. 慎重选择删除元素的方法

(1).要删除容器中有特定值的所有对象:如果容器是vector, string或deque,则使用erase-remove习惯用法;如果容器是list,则使用list::remove;如果容器是一个标准关联容器,则使用它的erase成员函数。

int test_item_9()
{
	// 删除c中所有值为1963的元素
	std::vector c1{1,1963,4,233,555,1963,2000};
	c1.erase(std::remove(c1.begin(), c1.end(), 1963), c1.end()); // 当c1是vector, string或deque时,erase-remove习惯用法是删除特定值的元素的最好办法
	std::list c2{ 1,1963,4,233,555,1963,2000 };
	c2.remove(1963); // 当c2是list时,remove成员函数是删除特定值的元素的最好办法

	std::set c3{ 1,1963,4,233,555,1963,2000 };
	c3.erase(1963); // 当c3是标准关联容器时,erase成员函数是删除特定值元素的最好办法

	
	return 0;
}

(2).要删除容器中满足特定判别式(条件)的所有对象:如果容器是vector, string或deque,则使用erase-remove_if习惯用法;如果容器是list,则使用list::remove_if;如果容器是一个标准关联容器,则使用remove_copy_if和swap,或者写一个循环来遍历容器中的元素,记住当把迭代器传给erase时,要对它进行后缀递增。

bool badValue(int value) { 
	if (value < 100)
		return true;
	else
		return false;
}
int test_item_9()
{
	// 删除c中所有值为1963的元素
	std::vector c1{1,1963,4,233,555,1963,2000};
	std::list c2{ 1,1963,4,233,555,1963,2000 };
	std::set c3{ 1,1963,4,233,555,1963,2000 };

	c1.erase(std::remove_if(c1.begin(), c1.end(), bind2nd(less(), 100)), c1.end());
	c2.remove_if(bind2nd(less(), 100));
	for (std::set::iterator it = c3.begin();it != c3.end();)
	{
		if (badValue(*it))
		{
			c3.erase(it++);
		}
		else
		{
			++it;
		}
	}
	
	return 0;
}

(3).要在循环内做某些(除了删除对象之外的)操作:如果容器是一个标准序列容器,则写一个循环来遍历容器中的元素,记住每次调用erase时,要用它的返回值更新迭代器;如果容器是一个标准关联容器,则写一个循环来遍历容器中的元素,记住当把迭代器传给erase时,要对迭代器做后缀递增.

// 每次元素被删除时,都向一个日志(log)文件中写一条信息
	std::ofstream logFile;
	for (std::set::iterator i = c3.begin(); i != c3.end();) {
		if (badValue(*i)) {
			logFile << "Erasing " << *i << '\n'; // 写日志文件
			c3.erase(i++); // 对坏值,把当前的i传给erase,递增i是副作用
		}
		else ++i;              // 对好值,则简单第递增i
	}
 
	for (std::vector::iterator i = c1.begin(); i != c1.end();) {
		if (badValue(*i)) {
			logFile << "Erasing " << *i << '\n';
			i = c1.erase(i); // 把erase的返回值赋给i,使i的值保持有效
		}
		else ++i;
	}

个人理解:在序列容器(特别是连续内存容器如vector、deque)不应该在循环遍历中,多次调用erase函数删除元素。因为删除元素后,迭代器会重新置值,不能再使用了。

10. 了解分配子(allocator)的约定和限制

编写自定义的分配子,需要注意:

effective STL_第8张图片


void* mallocShared(size_t bytesNeeded)
{
	return malloc(bytesNeeded);
}

void freeShared(void* ptr)
{
	free(ptr);
}

template
class SharedMemoryAllocator { // 把STL容器的内容放到共享内存(即由mallocShared生成的)中去
public:
	typedef T* pointer; // pointer是个类型定义,它实际上总是T*
	typedef size_t size_type; // 通常情况下,size_type是size_t的一个类型定义
	typedef T value_type;

	pointer allocate(size_type numObjects, const void* localityHint = 0)
	{
		return static_cast(mallocShared(numObjects * sizeof(T)));
	}

	void deallocate(pointer ptrToMemory, size_type numObjects)
	{
		freeShared(ptrToMemory);
	}

	template
	struct rebind {
		typedef std::allocator other;
	};
};

int test_item_11()
{
	typedef std::vector> SharedDoubleVec;
	// v所分配的用来容纳其元素的内存将来自共享内存
	// 而v自己----包括它所有的数据成员----几乎肯定不会位于共享内存中,v只是普通的基于栈(stack)的对象,所以,像所
	// 有基于栈的对象一样,它将会被运行时系统放在任意可能的位置上。这个位置几乎肯定不是共享内存
	SharedDoubleVec v; // 创建一个vector,其元素位于共享内存中

	// 为了把v的内容和v自身都放到共享内存中,需要这样做
	int isize = sizeof(SharedDoubleVec);
	void* pVectorMemory = mallocShared(sizeof(SharedDoubleVec)); // 为SharedDoubleVec对象分配足够的内存
	SharedDoubleVec* pv = new (pVectorMemory)SharedDoubleVec; // 使用"placement new"在内存中创建一个SharedDoubleVec对象
	// ... // 使用对象(通过pv)
	pv->push_back(1.2);

	pv->~SharedDoubleVec(); // 析构共享内存中的对象
	freeShared(pVectorMemory); // 释放最初分配的那一块共享内存

	return 0;
}

12. 切勿对STL容器的线程安全性有不切实际的依赖

当涉及到STL容器和线程安全性时,你可以指望一个STL库允许多个线程同时读一个容器,以及多个线程对不同的容器做写入操作。你不能指望STL库会把你从手工同步控制中解脱出来,而且你不能依赖于任何线程支持。

effective STL_第9张图片

 和普通的内存一样,可以在多线程下加上互斥量

13. vector和string优先于动态分配的数组

因为不用考虑像new创建内存需要调用delete释放内存,不然内存泄漏。

许多string实现在背后使用了引用计数技术,这种策略可以消除不必要的内存分配和不必要的字符拷贝,从而可以提供很多应用程序的效率。如果你在多线程环境下使用了引用计数的string,那么注意一下因支持线程安全而导致的性能问题。vector的实现不允许使用引用计数,所以不会发生隐藏的多线程性能问题。所以在多线程下,可以考虑用vector 替代string.

string类和vector的区别

string类是一个保存字符的动态数组,由于其中有一个接口c_str,转化成c语言的字符串,要以\0结尾,所以string类最后会有一个\0.

vector是一个保存T类型的动态数组,vector也是保存字符的动态数组,但是,不会以\0结尾,不保存\0.

所以在vector类里面就是空的或string空类。vec[0]会崩溃,str[0] 不会崩溃。

    string staa;
	cout << staa[0] << endl;
	vector vecii;
	cout << vecii[0] << endl;//崩溃

14. 使用reserve来避免不必要的重新分配

对于vector和string,增长过程是这样来实现的:每当需要更多空间时,就调用与realloc类似的操作。这一类似于realloc的操作分为四部分:(1).分配一块大小为当前容量的某个倍数的新内存。在大多数实现中,vector和string的容量每次以2的倍数增长,即,每当容器需要扩张时,它们的容量即加倍。(2).把容器的所有元素从旧的内存拷贝到新的内存中。(3).析构掉就内存中的对象。(4).释放旧内存。

effective STL_第10张图片

 reserve要求参数n必须大于当前的大小(size). resize的参数n无任何要求。

reserve成员函数能使你把重新分配的次数减少到最低限度,从而避免了重新分配和指针/迭代器/引用失效带来的开销。避免重新分配的关键在于,尽早地使用reserve,把容器的容量设为足够大的值,最好是在容器刚被构造出来之后就使用reserve。

通常有两种方式来使用reserve以避免不必要的重新分配。第一种方式是,若能确切知道或大致预计容器中最终会有多少元素,则此时可以使用reserve。第二种方式是,先预留足够大的空间(根据你的需要而定),然后,当把所有数据都加入以后,再去除多余的容量。

另外:连续内存的容器如string、vector插入元素的操作会是迭代器失效,所以插入元素后,就不应该再使用原来的迭代器了。

int test_item_14()
{
	std::vector v;
	v.reserve(1000); // 如果不使用reserve,下面的循环在进行过程中将导致2到10次重新分配;加上reserve,则在循环过程中,将不会再发生重新分配
	for (int i = 1; i <= 1000; ++i) v.push_back(i);
 
	return 0;
}

15.注意string实现的多样性

一般情况下,string 的大小是char *指针(大小为7)的7倍。所以string的大小sizeof(string)为28字节。

	int isize0 = sizeof(char*);   //4
	int isize1 = sizeof(string);   //28
	string  straaa = "122";   
	int isize11 = sizeof(straaa);   //28
    char *psq =const_cast(straaa.c_str() );

每个string包括以下信息:

1.大小(size)  1字节

2.容量(capaacity)  1字节

3.字符串的值,通过指向指针获取字符串。 1字节。可通过c_str()函数取到字符串地址。如

4.它的分配子(allocator)的一份拷贝。默认4字节。

5.对值得引用计数。   是在指向字符串的指针上。

总结:

(1).string的值可能会被引用计数,也可能不会。很多实现在默认情况下会使用引用计数,但它们通常提供了关闭默认选择的方法,往往是通过预处理宏来做到这一点。

(2).string对象大小的范围可以是一个char*指针大小的1倍到7倍

(3).创建一个新的字符串值可能需要零次、一次或两次动态分配内存。

(4).string对象可能共享,也可能不共享其大小和容量信息。

(5).string可能支持,也可能不支持针对单个对象的分配子。

(6).不同的实现对字符内存的最小分配单位有不同的策略。

16. 了解如何把vector和string数据传给旧的API

C++标准要求vector中的元素存储在连续的内存中,就像数组一样。

string中的数据不一定存储在连续的内存中,而且string的内部表示不一定是以空字符结尾的。

所以

1.vector的的话,先调empty判断是否为空,调掉vector  vec; &vec[0] 得到指针。

2.string的话,调用c_str()函数,返回一个指向字符串的值的指针。

另外字符串数组转vector、string见下面的例子

	string  straaa = "122";   
    char *psq =const_cast(straaa.c_str() );


	char array1[] = { 'a','1','d'};
	vector vecc(array1, array1+3);
	string s1(vecc.begin(),vecc.end());

17. 使用”swap技巧”除去多余的容量

对vector或string进行shrink-to-fit(压缩到合适大小)操作时,考虑”swap”技巧。C++11中增加了shrink_to_fit成员函数

 std::vector(contestants).swap(contestants);

// vector(contestants)创建一个临时矢量,vector的拷贝构造函数只为所拷贝的元素分配所需要的内存。在做swap的时候,不仅两个容器的内容被交换,同时它们的迭代器、指针和引用也将被交换(string除外)。在swap发生后,原先指向某容器中元素的迭代器、指针和引用依然有效,并指向同样的元素----但是,这些元素已经在另一个容器中了。

swap技巧的一种变化形式可以用来清除一个容器,并使其容量变为该实现下的最下值。

int test_item_17()
{
	// 从contestants矢量中除去多余的容量
	std::vector contestants{1,3,5,6,7,8,9,0,10,4,3,10};
	contestants.erase(std::remove_if(contestants.begin(), contestants.end(), bind2nd(less(), 8)), contestants.end());
	// ... // 让contestants变大,然后删除它的大部分元素
	// vector(contestants)创建一个临时矢量,vector的拷贝构造函数只为所拷贝的元素分配所需要的内存
	std::vector(contestants).swap(contestants);
	contestants.shrink_to_fit(); // C++11

	std::string s("12222223fdsddddddddddddddd");
	s.erase(s.begin() + 6,s.end());
	
	// ... // 让s变大,然后删除它的大部分字符
	std::string(s).swap(s);   //
	s.shrink_to_fit(); // C++11
	
	std::vector().swap(contestants); // 清除contestants并把它的容量变为最小
	std::string().swap(s); // 清除s并把它的容量变为最小

	return 0;
}

18. 避免使用vector

作为一个STL容器,vector只有两点不对。

首先,它不是一个STL容器;其次,它并不存储bool。除此以外,一切正常。

储存在”vector”中的每个”bool”仅占一个二进制位,一个8位的字节可容纳8个”bool”。在内部,vector使用了与位域(bit field)一样的思想,来表示它所存储的那些bool,实际上它只是假装存储了这些bool。

int test_item_18()
{
	std::vector v;
	// error: cannot convert 'std::vector::reference* {aka std::_Bit_reference}' to 'bool*' in initialization
	bool* pb = &v[0]; // 不能被编译,原因:vector是一个假的容器,它并不真的储存bool,相反,为了节省空间,它储存的是bool的紧凑表示

	return 0;
}

当你需要vector时,标准库提供了两种选择,可以满足绝大多数情况下的需求。第一种是deque。deque几乎提供了vector所提供的一切(没有reserve和capacity),但deque是一个STL容器,而且它确实存储bool。当然deque中元素的内存不是连续的,所以你不能把deque中的数据传递给一个期望bool数组的C API。

	deque dqbool{true,false};
	bool *pb = &(dqbool[0]);

第二种可以替代vector的选择是bitset。bitset不是STL容器,但它是标准C++库的一部分。与STL容器不同的是,它的大小(即元素的个数)在编译时就确定了,所以它不支持插入和删除元素。


#include 
bitset<32> bit(0);

19. 理解相等(equality)和等价(equivalence)的区别

相等的概念是基于operator==的。等价关系是以”在已排序的区间中对象值的相对顺序”为基础的。标准关联容器是基于等价而不是相等。

默认情况下,该比较函数应该是equal_to,但equal_to从来没有被用作STL的默认比较函数。当STL中需要相等判断时,一般的惯例是直接调用operator==)。

20. 为包含指针的关联容器指定比较类型

effective STL_第11张图片

所以要自己定义比较类型

struct DereferenceLess {
	template
	bool operator()(PtrType pT1, PtrType pT2) const
	{
		return *pT1 < *pT2;
	}
};

int test_item_20()
{
	std::set ssp; // 与std::set ssp;的行为相同
	string  *ptr1 = new std::string("Anteater");
	string  *ptr2 = new std::string("Wombat");
	string  *ptr3 = new std::string("Lemur");
	string  *ptr4 = new std::string("Penguin");

	for (auto it = ssp.cbegin(); it != ssp.cend(); ++it) {
		fprintf(stdout, "%s\n", (**it).c_str());
	}
	delete ptr1;
	delete ptr2;
	delete ptr3;
	delete ptr4;
	return 0;
}

//在这个例子中,用到了仿函数。

每当你要创建包含指针的关联容器时,一定要记住,容器将会按照指针的值进行排序。绝大多数情况下,这不会是你所希望的,所以你几乎肯定要创建自己的函数子类作为该容器的比较类型(comparison type)。

如果你有一个包含智能指针或迭代器的容器,那么你也要考虑为它指定一个比较类型。

其实这个自定义部分就是仿函数

21. 总是让比较函数在等值情况下返回false

比较函数的返回值表明的是按照该函数定义的排列顺序,一个值是否在另一个之前。相等的值从来不会有前后顺序关系,所以,对于相等的值,比较函数应当始终返回false。对set和map确实是这样,因为这些容器不能包含重复的值。对multiset和multimap也是这样。从技术上来说,用于对关联容器排序的比较函数必须为它们所比较的对象定义一个”严格的弱序化”(strict weak ordering)。(对于传递给像sort这类算法的比较函数也有同样的限制。)任何一个定义了”严格的弱序化”的函数必须对相同值的两个拷贝返回false。


22. 切勿直接修改set或multiset中的键

像所有的标准关联容器一样,set和multiset按照一定的顺序来存放自己的元素,而这些容器的正确行为也是建立在其元素保持有序的基础之上的。如果你把关联容器中的一个元素的值改变了(比如把10改为1000),那么,新的值可能不在正确的位置上,这将会打破容器的有序性。

对于set或multiset类型的对象,容器中元素的类型是T,而不是const T。但不能改变键部分(即影响容器排序性)。因为容器类型T可能是个结构,只要结构的某一成员变量保持唯一性并用其进行排序,其他成员可以修改。

effective STL_第12张图片

	int ic[9] = { 0,1,2,3,4,8,9,3,5 };
	set iset(ic, ic + 9);
	cout << iset.size() << endl;
	iset.insert(10);
	cout << iset.size() << endl;
	iset.insert(1);
	cout << iset.size() << endl;
	iset.erase(4);
	cout << iset.size() << endl;
	set::iterator it;
	for (it = iset.begin(); it != iset.end(); it++)
	{
		cout << *it << endl;
		const_cast(*it) = 3;
	}

  一种更安全的办法是:

effective STL_第13张图片

effective STL_第14张图片

23. 考虑用排序的vector替代关联容器

对于许多应用,哈希容器可能提供常数时间的查找能力优于set、multiset、map和multimap的确定的对数时间查找能力。

在排序的vector中存储数据可能比在标准关联容器中存储同样的数据要耗费更少的内存(因为没有左右子节点,父节点的指针)而考虑到页面错误的因素,通过二分搜索法来查找一个排序的vector可能比查找一个标准关联容器要更快一些。当然,对于排序的vector,最不利的地方在于它必须保持有序,当一个新的元素被插入时,新元素之后的所有元素都必须向后移动一个元素的位置,尤其是当vector必须重新分配自己的内存时。与此类似,如果一个元素被从vector中删除了,则在它之后的所有元素也都要向前移动。插入和删除操作对于vector来说是昂贵的,但对于关联容器却是廉价的。这就是为什么只有当你知道”对数据结构的使用方式是:查找操作几乎从不跟插入和删除操作混在一起”时,再考虑使用排序的vector而不是关联容器才是合理的。否则,使用排序的vector而不是标准关联容器几乎肯定是在浪费时间。

24. 当效率至关重要时,请在map::operator[]与map::insert之间谨慎做出选择

map的operator[]函数与众不同。它与vector、deque和string的operator[]函数无关,与用于数组的内置operator[]也没有关系。相反,map::operator[]的设计目的是为了提供”添加和更新”(add or update)的功能。map::operator[]返回一个引用。

 map::operator[] 函数会降低效率,具体原因是:多调用构造临时对象,析构临时对象,赋值操作符。

effective STL_第15张图片

对效率的考虑使我们得出结论:当向映射表中添加元素时,要优先选用insert,而不是operator[];而从效率和美学的观点考虑,结论是:当更新已经在映射表中的元素的值时,要优先选择operator[]
 

25. 熟悉非标准的哈希容器

C++11中新增了四种关联容器,使用哈希函数组织的,无序的。

hash_map、hash_multimap、hash_set、hash_multiset。
在c++ 11后用unordered_map、unordered_multimap、unordered_set、unordered_multiset。

26. iterator优先于const_iterator、reverse_iterator以及const_reverse_iterator

STL中的所有标准容器都提供了4中迭代器类型。对容器类container而言,iterator类型的功效相当于T*,而const_iterator则相当于const T*。对一个iterator或者const_iterator进行递增则可以移动到容器中的下一个元素,通过这种方式可以从容器的头部一直遍历到尾部。reverse_iterator与const_reverse_iterator同样分别对应于T*和const T*,所不同的是,对这两个迭代器进行递增的效果是由容器的尾部反向遍历到容器头部。

effective STL_第16张图片

 说明不能强行把const_iterator转换为iterator,即便是调用const_cast显性转换。所以主要用iterator,避免使用const_iterator。

 27. 使用distance和advance将容器的const_iterator转换成iterator

std::distance用以取得两个迭代器(它们指向同一个容器)之间的距离;

std::advance则用于将一个迭代器移动指定的距离。

int test_item_27()
{
	typedef std::deque IntDeque;
	typedef IntDeque::iterator Iter;
	typedef IntDeque::const_iterator ConstIter;
 
	IntDeque d(5, 10);
	ConstIter ci;
	ci = d.cbegin() + 1; // 使ci指向d
	Iter i(d.begin());
	std::advance(i, std::distance(i, ci));
 
	return 0;
}

必须写成distance(i, ci),即把iterator转换成const_cast,这样统一使用const_cast。

另外这个办法的效率取决于迭代器。如果是随机访问的迭代器,如vector,这是一个常数时间操作。如果是双向迭代器,如list,是线性时间。

effective STL_第17张图片

 28. 正确理解由reverse_iterator的base()成员函数所产生的iterator的用法

base()函数的作用:就是将reverse_iterator转换成iterator

int test_item_28()
{
	std::vector v;
	v.reserve(5);
 
	for (int i = 1; i <= 5; ++i) v.push_back(i);
 
	std::vector::reverse_iterator ri = std::find(v.rbegin(), v.rend(), 3); // 使ri指向3
	std::vector::iterator i(ri.base());
	fprintf(stdout, "%d\n", (*i)); // 4
	v.insert(i, 99);
	for (auto it = v.cbegin(); it != v.cend(); ++it) fprintf(stdout, "value: %d\n", *it); // 1 2 3 99 4 5
 
	v.clear(); v.reserve(5);
	for (int i = 1; i <= 5; ++i) v.push_back(i);
	ri = std::find(v.rbegin(), v.rend(), 3);
	v.erase((++ri).base());
	for (auto it = v.cbegin(); it != v.cend(); ++it) fprintf(stdout, "value: %d\n", *it); // 1 2 4 5
 
	return 0;
}

如果要在一个reverse_iterator ri指定的位置上插入新元素,则只需在ri.base()位置处插入元素即可。对于插入操作而言,ri和ri.base()是等价的,ri.base()是真正与ri对应的iterator。

如果要在一个reverse_iterator ri指定的位置上删除一个元素,则需要在ri.base()前面的位置上执行删除操作。对于删除操作而言,ri和ri.base()是不等价的,ri.base()不是与ri对应的iterator。


29. 对于逐个字符的输入请考虑使用istreambuf_iterator

std::istream_iterator对象使用operator>>从输入流中读取单个字符,而std::istreambuf_iterator则直接从流的缓冲区中读取下一个字符。std::istreambuf_iterator不会跳过任何字符,它只是简单地取回流缓冲区中的下一个字符,而不管它们是什么字符,因此用不着清除输入流的skipws标志。

同样地,对于非格式化的逐个字符输出过程,你也应该考虑使用std::ostreambuf_iterator,它可以避免因使用std::ostream_iterator而带来的额外负担。

int test_item_29()
{
	// 把一个文本文件的内容拷贝到一个string对象中
	std::ifstream inputFile("outs.dat");
	//inputFile.unsetf(std::ios::skipws); // 禁止忽略inputFile中的空格
	//std::string fileData((std::istream_iterator(inputFile)), std::istream_iterator()); // 速度慢
	std::string fileData2((std::istreambuf_iterator(inputFile)), std::istreambuf_iterator()); // 速度快

	std::ofstream outputFile("outs1.dat");
	std::ostreambuf_iterator  outite(outputFile);
	copy(fileData2.begin(), fileData2.end(), outite);

 
	return 0;
}

说白了就是

1.不用额外禁止忽略输入中的空格

2.执行速度更快。

30. 确保目标区间足够大

int transmogrify(int x) { return (x + 1); }
 
int test_item_30()
{
	std::vector values{ 1, 2, 3 };
	std::vector results;
	results.reserve(results.size() + values.size()); // 可避免内存的重新分配
	//std::transform(values.cbegin(), values.cend(), results.end(), transmogrify); // 错误,segmentation fault
	std::transform(values.cbegin(), values.cend(), std::back_inserter(results), transmogrify); // 正确
	// 在内部,std::back_inserter返回的迭代器将使得push_back被调用,所以back_inserter可适用于所有提供了push_back方法的容器
 
	std::list results2;
	std::transform(values.cbegin(), values.cend(), std::front_inserter(results2), transmogrify);
	// std::front_inserter在内部利用了push_front,所以front_inserter仅适用于那些提供了push_front成员函数的容器
 
 
	return 0;
}

 另外需要调用std::back_inserter 在内部调用push_back添加元素。

effective STL_第18张图片

31. 了解各种与排序有关的选择

关于各种算法的介绍见STL 源码剖析之算法_小飞侠hello的博客-CSDN博客

bool qualityCompare(const std::string& lhs, const std::string& rhs)
{
	return (lhs < rhs);
}
 
bool hasAcceptableQuality(const std::string& w)
{
	return true; // 判断w的质量值是否为2或者更好
}
 
int test_item_31()
{
	std::vector vec(50, "xxx");
	std::partial_sort(vec.begin(), vec.begin() + 20, vec.end(), qualityCompare); // 将质量最好的20个元素顺序放在vec的前20个位置上
 
	std::nth_element(vec.begin(), vec.begin() + 19, vec.end(), qualityCompare); // 将最好的20个元素放在vec的前部,但并不关心它们的具体排列顺序
 
	// std::partia_sort和std::nth_element在效果上唯一不同之处在于:partial_sort对位置1--20中的元素进行了排序,而
	// nth_element没有对它们进行排序。然而,这两个算法都将质量最好的20个vec放到了矢量的前部
 
	std::vector::iterator begin(vec.begin());
	std::vector::iterator end(vec.end());
	std::vector::iterator goalPosition; // 用于定位感兴趣的元素
	// 找到具有中间质量级别的string
	goalPosition = begin + vec.size() / 2; // 如果全排序的话,待查找的string应该位于中间
	std::nth_element(begin, goalPosition, end, qualityCompare); // 找到vec的中间质量值
	// 现在goalPosition所指的元素具有中间质量
 
	// 找到区间中具有75%质量的元素
	std::vector::size_type goalOffset = 0.25 * vec.size(); // 找出如果全排序的话,待查找的string离起始处有多远
	std::nth_element(begin, begin + goalOffset, end, qualityCompare); // 找到75%处的质量值	
 
	// 将满足hasAcceptableQuality的所有元素移到前部,然后返回一个迭代器,指向第一个不满足条件的string
	std::vector::iterator goodEnd = std::partition(vec.begin(), vec.end(), hasAcceptableQuality);
 
	return 0;
}

总结排序选择:

(1).如果需要对vector、string、deque或者数组中的元素执行一次完全排序,那么可以使用sort或者stable_sort。

(2).如果有一个vector、string、deque或者数组,并且只需要对等价性最前面的n个元素进行排序,那么可以使用partial_sort。

(3).如果有一个vector、string、deque或者数组,并且需要找到第n个位置上的元素,或者,需要找到等价性前面的n个元素但又不必对这n个元素进行排序,那么,nth_element正是你所需要的函数。

(4).如果需要将一个标准序列容器中的元素按照是否满足某个特定的条件区分开来,那么,partition和stable_partition可能正是你所需要的。

(5).如果你的数据在一个list中,那么你仍然可以直接调用partition和stable_partition算法;你可以用list::sort来替代sort和stable_sort算法。但是,如果你需要获得partial_sort或nth_element算法的效果,那么,你可以有一些间接的途径来完成这项任务。


32. 如果确实需要删除元素,则需要在remove这一类算法之后调用erase

effective STL_第19张图片

 因为不真正删除元素,所以容器的大小不变,会有残余数据在容器后面,可以通过erase函数进行删除。

 如果容器是连续内存容器如vector, string或deque,则使用erase-remove习惯用法;如果容器是list,则使用list::remove。另外如果容器是一个标准关联容器(set、map、multiset、multimap),则使用它的erase成员函数。
见:STL 源码剖析之算法_小飞侠hello的博客-CSDN博客

int test_item_32()
{
	std::vector v;
	v.reserve(10);
	for (int i = 1; i <= 10; ++i) v.push_back(i);
	fprintf(stdout, "v.size: %d\n", v.size()); // 输出10
	v[3] = v[5] = v[9] = 99;
	std::remove(v.begin(), v.end(), 99); // 删除所有值等于99的元素
	fprintf(stdout, "v.size: %d\n", v.size()); // 仍然输出10, remove不是真正意义上的删除,因为它做不到
	for (auto i : v) fprintf(stdout, "%d\n", i);
 
	v.erase(std::remove(v.begin(), v.end(), 99), v.end()); // 真正删除所有值等于99的元素	
 
	return 0;
}

std::list的remove成员函数是STL中唯一一个名为remove并且确实删除了容器中元素的函数

33. 对包含指针的容器使用remove这一类算法时要特别小心

当容器中存放的是指向动态分配的对象的指针的时候,应该避免使用remove和类似的算法(remove_if和unique)。

如果容器中存放的不是普通指针,而是具有引用计数功能的智能指针,那么就可以直接使用erase-remove的习惯用法。

class Widget33 {
public:
	bool m_isCertified{ false };
	bool isCertified() const { return m_isCertified; }
};

// 如果*pWidget是一个未被验证的Widget33,则删除该指针,并把它置成空
void delAndNullifyUncertified(Widget33*& pWidget)
{
	if (pWidget->isCertified()) {
		delete pWidget;
		pWidget = nullptr;
	}
}

int test_item_33()
{
	std::vector v;
	for (int i = 0; i < 5; ++i) v.push_back(new Widget33);

	v[1]->m_isCertified = true;
	v[3]->m_isCertified = true;

	// 删除那些指向被验证过的Widget33对象的指针,会资源泄露
	//v.erase(std::remove_if(v.begin(), v.end(), std::mem_fun(&Widget33::isCertified)), v.end());

	 一种可以消除资源泄露的做法
	// 将所有指向被验证的Widget33对象的指针删除并置成空
	std::for_each(v.begin(), v.end(), delAndNullifyUncertified);
	 删除v中的空指针,必须将0转换成一个指针,这样C++才能正确推断出remove的第三个参数类型
	v.erase(std::remove(v.begin(), v.end(), static_cast(0)), v.end());
	for (auto& w : v)
	{
		delete w;
	}


	// 使用智能指针可防止资源泄露
	std::vector> v2;
	for (int i = 0; i < 5; ++i) v2.push_back(std::make_shared());

	 下面语句需要编译器必须能够把智能指针类型std::shared隐式转换为对应的内置指针类型Widget33*才能通过编译
	//v2.erase(std::remove_if(v2.begin(), v2.end(), std::not1(std::mem_fun(&Widget33::isCertified))), v2.end());
}

34. 了解哪些算法要求使用排序的区间作为参数

并非所有的算法都可以应用于任何区间。举例来说,remove算法要求单向迭代器并且要求可以通过这些迭代器向容器中的对象赋值。所以,它不能用于由输入迭代器指定的区间,也不适用于map或multimap,同样不适用于某些set和multiset的实现。同样地,很多排序算法要求随机访问迭代器,所以对于list的元素不可能调用这些算法。有些算法要求排序的区间,即区间中的值是排过序的。有些算法既可以与排序的区间一起工作,也可以与未排序的区间一起工作,但是当它们作用在排序的区间上时,算法会更加有效。

要求排序区间的STL算法:binaray_search、lower_bound、upper_bound、equal_range、set_union、set_intersection、set_difference、set_symmetric_difference、merge、inplace_merge、includes。

unique、unique_copy并不一定要求排序的区间,但通常情况下会与排序区间一起使用。

用于查找的算法binaray_search、lower_bound、upper_bound、equal_range要求排序的区间,因为它们用二分法查找数据。实际上,这些算法并不一定保证对数时间的查找效率。只有当它们接受了随机访问迭代器的时候,它们才保证有这样的效率。

set_union、set_intersection、set_difference、set_symmetric_difference这4个算法提供了线性时间效率的集合操作。如果它们不满足排序的区域的要求,它们就无法在线性时间内完成工作。

merge和inplace_merge实际上实现了合并和排序的联合操作:它们读入两个排序的区间,然后合并成一个新的排序区间,其中包含了原来两个区间中的所有元素。它们具有线性时间的性能,但如果它们不知道源区间已经排过序的话,它们就不可能在线性时间内完成。

最后一个要求排序源区间的算法是includes,它可用来判断一个区间中的所有对象是否都在另一个区间中。因为includes总是假设这两个区间是排序的,所以它承诺线性时间的效率。如果没有这一前提的话,它通常会运行得更慢。

unique和unique_copy与上述讨论过的算法有所不同,它们即使对于未排序的区间也有很好的行为。unique使用了与remove类似的办法来删除区间中的元素,而并非真正意义上的删除。

如果你为一个算法提供了一个排序的区间,而这个算法也带一个比较函数作为参数,那么,你一定要保证你传递的比较函数与这个排序区间所用的比较函数有一致的行为。


35. 通过mismatch或lexicographical_compare实现简单的忽略大小写的字符串比较

// 忽略大小写地比较字符c1和c2,如果c1c2,返回1;如果c1==c2,返回0
int ciCharCompare(char c1, char c2)
{
	int lc1 = std::tolower(static_cast(c1));
	int lc2 = std::tolower(static_cast(c2));
 
	if (lc1 < lc2) return -1;
	if (lc1 > lc2) return 1;
	return 0;
}
 
int ciStringCompareImpl(const std::string& s1, const std::string& s2)
{
	typedef std::pair PSCI;
	PSCI p = std::mismatch(s1.begin(), s1.end(), s2.begin(), std::not2(std::ptr_fun(ciCharCompare)));
 
	if (p.first == s1.end()) { // 如果为true,要么s1和s2相等,或者s1比s2短
		if (p.second == s2.end()) return 0;
		else return -1;
	}
 
	return ciCharCompare(*p.first, *p.second); // 字符串之间的关系和这两个不匹配的字符之间的关系相同
}
 
int ciStringCompare(const std::string& s1, const std::string& s2)
{
	// 把短的字符串作为第一个区间传入
	if (s1.size() <= s2.size()) return ciStringCompareImpl(s1, s2);
	else return -ciStringCompareImpl(s2, s1);
}
 
// 返回在忽略大小写的情况下,c1是否在c2之前
bool ciCharLess(char c1, char c2)
{
	return std::tolower(static_cast(c1)) <
		std::tolower(static_cast(c2));
}
 
bool ciStringCompare2(const std::string& s1, const std::string& s2)
{
	return std::lexicographical_compare(s1.begin(), s1.end(), s2.begin(), s2.end(), ciCharLess);
}
 
bool ciStringCompare3(const std::string& s1, const std::string& s2)
{
	// 前提:不考虑国际化支持,也确定字符串中不会包含内嵌的空字符
	return strcmp(s1.c_str(), s2.c_str());
}
 
int test_item_35()
{
	std::string str1{ "xxz" }, str2{ "xxx" };
	fprintf(stdout, "str1:str2: %d\n", ciStringCompare(str1, str2));
	fprintf(stdout, "str1:str2: %d\n", ciStringCompare2(str1, str2));
	fprintf(stdout, "str1:str2: %d\n", ciStringCompare3(str1, str2));
 
	return 0;
}

36. 理解copy_if算法的正确实现

C++11中增加了std::copy_if函数


bool valuecmp(int nvalue)
{
	return (nvalue % 2 == 1);
}

template
struct valuefunc
{
	bool operator()(T Value)
	{
		return (Value % 2 == 1);
	}
};

int test_item_36()
{
	std::vector v1{ 1, 2, 3, 4, 5 }, v2(v1.size());
	//auto it = std::copy_if(v1.begin(), v1.end(), v2.begin(), [](int i) { return (i % 2 == 1); });
	//auto it = std::copy_if(v1.begin(), v1.end(), v2.begin(), valuecmp);
	auto it = std::copy_if(v1.begin(), v1.end(), v2.begin(), valuefunc());

	v2.resize(std::distance(v2.begin(), it));

	for (const auto& v : v2)
		fprintf(stdout, "%d\n", v); // 1 3 5

	return 0;
}

37. 使用accumulate或者for_each进行区间统计

std::accumulate有两种形式:第一种形式有两个迭代器和一个初始值,它返回该初始值加上由迭代器标识的区间中的值的总和。

std::accumulate只要求输入迭代器,所以你可以使用std::istream_iterator和std::istreambuf_iterator。

std::accumulate的第二种形式带一个初始值和一个任意的统计函数。

std::for_each是另一个可被用来统计区间的算法,而且它不受accumulate的那些限制。如同accumulate一样,for_each也带两个参数:一个是区间,另一个是函数(通常是函数对象)----对区间中的每个元素都要调用这个函数,但是,传给for_each的这个函数只接收一个实参(即当前的区间元素)。for_each执行完毕后会返回它的函数。(实际上,它返回的是这个函数的一份拷贝。)重要的是,传给for_each的函数(以及后来返回的函数)可以有副作用。

std::for_each和std::accumulate在两个方面有所不同:首先,名字accumulate暗示着这个算法将会计算出一个区间的统计信息。而for_each听起来就好像是对一个区间的每个元素做一个操作。用for_each来统计一个区间是合法的,但是不如accumulate来得清晰。其次,accumulate直接返回我们所要的统计结果,而for_each却返回一个函数对象,我们必须从这个函数对象中提取出我们所要的统计信息。在C++中,这意味着我们必须在函数子类中 加入一个成员函数,以便获得我们想要的统计信息。


38. 遵循按值传递的原则来设计函数子类

无论是C还是C++,都不允许将一个函数作为参数传递给另一个函数,相反,你必须传递函数指针。C和C++的标准库函数都遵循这一规则:函数指针是按值传递的。

STL函数对象是函数指针的一种抽象和建模形式,所以,按照惯例,在STL中,函数对象在函数之间来回传递的时候也是按值传递(即被拷贝)的。标准库中一个最好的证明是for_each算法,它需要一个函数对象作为参数,同时其返回值也是一个函数对象,而且都是按值传递的。

由于函数对象往往会按值传递和返回,所以,你必须确保你编写的函数对象在经过了传递之后还能正常工作。这意味着两件事:首先,你的函数对象必须尽可能地小,否则拷贝的开销会非常昂贵;其次,函数对象必须是单态的(不是多态的),也就是说,它们不得使用虚函数。这是因为,如果参数的类型是基类类型,而实参是派生类对象,那么在传递过程中会产生剥离问题(slicing problem):在对象拷贝过程中,派生部分可能会被去掉,而仅保留了基类部分。

既允许函数对象可以很大并且/或者保留多态性,又可以与STL所采用的按值传递函数子的习惯保持一致的一种两全其美的办法:将所需的数据和虚函数从函数子类中分离出来,放到一个新的类中;然后在函数子类中包含一个指针,指向这个新类的对象。

class Widget38 {};
template class BPFC;
 
template
class BPFCImpl : public std::unary_function {
private:
	Widget38 w; // 原来BPFC中所有数据现在都放在这里
	int x;
	virtual ~BPFCImpl(); // 多态类需要虚析构函数
	virtual void operator()(const T& val) const;
 
	friend class BPFC; // 允许BPFC访问内部数据
};
 
template
class BPFC : public std::unary_function { // 新的BPFC类:短小、单态
private:
	BPFCImpl* pImpl; // BPFC唯一的数据成员
public:
	void operator()(const T& val) const // 现在这是一个非虚函数,将调用转到BPFCImpl中
	{
		pImpl->operator()(val);
	}
};

std::unary_function 是STL中基础仿函数,可以作为一个一元函数对象的基类。见:STL源码剖析之仿函数_小飞侠hello的博客-CSDN博客

39. 确保判别式是”纯函数”

一个判别式(predicate)是一个返回值为bool类型(或者可以隐式地转换为bool类型)的函数。在STL中,判别式有着广泛的用途。标准关联容器的比较函数就是判别式;对于像find_if以及各种与排序有关的算法,判别式往往也被作为参数来传递。

一个纯函数(pure function)是指返回值仅仅依赖于其参数的函数。在C++中,纯函数所能访问的数据应该仅局限参数以及常量(在函数生命期内不会被改变,自然地,这样的常量数据应该被声明为const)。如果一个纯函数需要访问那些可能在两次调用之间发生变化的数据,那么用相同的参数在不同的时刻调用该函数就有可能会得到不同的结果,这将与纯函数的定义相矛盾。

判别式类(predicate class)是一个函数的子类,它的operator()函数是一个判别式,也就是说,它的operator()返回true或者false。STL中凡是能接受判别式的地方,就既可以接受一个真正的判别式,也可以接受一个判别式类的对象。

template
class BP39 : public std::unary_function { // 新的BPFC类:短小、单态
public:
	bool operator()(const T& val) const // 现在这是一个非虚函数,将调用转到BPFCImpl中
	{
		static int nIndex = 0;
		return ++nIndex == 3;
	}
};
int test_item_39()
{
	vector w{1,4,5,7};
	w.erase(remove_if(w.begin(), w.end(), BP39()),w.end());
	return 0;
}

40. 若一个类是函数子,则应使它可配接

std::ptr_fun仅完成一些类型定义的工作,这些类型定义是std::not1所必须的。在C++11中已不推荐使用std::ptr_fun。

4个标准的函数配接器(not1、not2、bind1st、bind2nd,后两个,在C++11中已不推荐使用)都要求一些特殊的类型定义,那些非标准的、与STL兼容的配接器通常也是如此(例如,Boost提供的STL中就包含了这样的组件)。提供了这些必要的类型定义的函数对象被称为可配接的(adaptable)函数对象,反之,如果函数对象缺少这些类型定义,则称为不可配接的。可配接的函数对象能够与其它STL组件更为默契地协同工作,它们能够应用于更多的上下文环境中,因此你应当尽可能地使你编写的函数对象可以配接。

“这些特殊的类型定义”是argument_type、first_argument_type、second_argument_type以及result_type。不同种类的函数子类所需提供的类型定义也不尽相同,它们是这些名字的不同子集。提供这些类型定义最简便的办法是让函数子从特定的基类继承,或者更准确地说,从一个基结构继承。如果函数子类的operator()只有一个实参,那么它应该从std::unary_function继承;如果函数子类的operator()有两个实参,那么它应该从std::binary_function继承。C++11中已不推荐使用这两个函数。

STL函数对象是C++函数的一种抽象和建模形式,而每个C++函数只有一组确定的参数类型和一个返回类型。所以,STL总是假设每个函数子类只有一个operator()成员函数,并且其参数和返回类型应该吻合unary_function或binary_function的模板参数。

仿函数的更具体介绍见:STL源码剖析之仿函数_小飞侠hello的博客-CSDN博客

bool isInteresting(const std::string* pw) { return true; }
 
int test_item_40()
{
	std::list strs{ new std::string("xxx"), new std::string("yyy"), new std::string("zzz") };
	std::list::iterator it = std::find_if(strs.begin(), strs.end(), isInteresting);
	std::list::iterator it2 = std::find_if(strs.begin(), strs.end(), std::not1(std::ptr_fun(isInteresting)));
 
	return 0;
}

41. 理解ptr_fun、men_fun和mem_fun_ref的来由

class Widget41 {
public:
	void test() {}
};
 
void test(Widget41& w) {}
 
int test_item_41()
{
	std::vector vw;
 
	std::for_each(vw.begin(), vw.end(), test);
	std::for_each(vw.begin(), vw.end(), std::ptr_fun(test));
	std::for_each(vw.begin(), vw.end(), std::mem_fun_ref(&Widget41::test));
 
	std::list lpw;
	std::for_each(lpw.begin(), lpw.end(), std::mem_fun(&Widget41::test));
 
	return 0;
}

std::ptr_fun:将函数指针转换为函数对象。

std::mem_fun:将成员函数转换为函数对象(指针版本)。

std::mem_fun_ref:将成员函数转换为函数对象(引用版本)。

像mem_fun_t这样的类被称为函数对象配接器(function object adapter)。这些由mem_fun和mem_fun_ref产生的对象不仅使得STL组件可以通过同一种语法形式来调用所有的函数,而且它们还提供了一些重要的类型定义,就像fun_ptr所产生的对象一样。

如果你对什么时候该使用ptr_fun,什么时候不该使用ptr_fun感到困惑,那么你可以在每次将一个函数传递给一个STL组件的时候总是使用它。STL不会在意的,而且这样做也不会带来运行时的性能损失。另一种策略是,只有在迫不得已的时候才使用ptr_fun。如果你省略了那些必要的类型定义,编译器就会提醒你,然后你再回去把ptr_fun加上。

mem_fun和mem_fun_ref的情形则截然不同。每次在将一个成员函数传递给一个STL组件的时候,你就要使用它们。因为它们不仅仅引入了一些类型定义(可能是必要的,也可能不是必要的),而且它们还转换调用语法的形式来适应算法----它们将针对成员函数的调用语法转换为STL组件所使用的调用语法。

C++11中已不再推荐使用ptr_fun、mem_fun、mem_fun_ref等相关函数。

具体见:STL源码剖析之仿函数_小飞侠hello的博客-CSDN博客

42. 确保less与operator<具有相同的语义

应该尽量避免修改less的行为,因为这样做很可能会误导其他的程序员。如果你使用了less,无论是显式地或是隐式地,你都需要确保它与operator<具有相同的意义。如果你希望以一种特殊的方式来排序对象,那么最好创建一个特殊的函数子类,它的名字不能是less。

43. 算法调用优先于手写的循环

理由:(1).效率:算法通常比程序员自己写的循环效率更高。(2).正确性:自己写循环比使用算法更容易出错。(3).可维护性:使用算法的代码通常比手写循环的代码更加简洁明了。

如果你要做的工作与一个算法所实现的功能很相近,那么用算法调用更好。但是如果你的循环很简单,而若使用算法来实现的话,却要求混合使用绑定器和配接器或者要求一个单独的函数子类,那么,可能使用手写的循环更好。最后,如果你在循环中要做的工作很多,而且又很复杂,则最好使用算法调用。

44. 容器的成员函数优先于同名的算法

有些STL容器提供了一些与算法同名的成员函数。比如,关联容器提供了count、find、lower_bound、upper_bound和equal_range,而list则提供了remove、remove_if、unique、sort、merge和reverse。大多数情况下,你应该使用这些成员函数,而不是相应的STL算法。这里有两个理由:第一,成员函数往往速度快;第二,成员函数通常与容器(特别是关联容器)结合得更加紧密,这是算法所不能比的。原因在于,算法和成员函数虽然有同样的名称,但是它们所做的事情往往不完全相同。

对于标准的关联容器,选择成员函数而不选择对应的同名算法,这可以带来几方面的好处:

第一,你可以获得对数时间的性能,而不是线性时间的性能。如set、map的查找算法find

第二,你可以使用等价性来确定两个值是否”相同”,而等价性是关联容器的一个本质定义。

第三,你在使用map和multimap的时候,将很自然地只考虑元素的键部分,而不是完整的(key, value)对。

对于list

remove、remove_if、unique、sort、merge以及reverse这些算法无一例外地需要拷贝list容器中的对象,而专门为list容器量身定做的成员函数则无需任何对象拷贝,它们只是简单地维护好那些将list节点连接起来的指针。list成员函数的行为不同于与其同名的算法的行为。如果真的要从一个容器中删除对象的话,你在调用了remove、remove_if或者unique算法之后,必须紧接着再调用erase;而list的remove、remove_if和unique成员函数则实实在在地删除了元素,所以你无需再调用erase了。在sort算法与list的sort函数之间有一个很重要的区别是,前者根本不能被应用到list容器上,这是因为,list的迭代器是双向迭代器,而sort算法要求随机访问迭代器。在merge算法和list的merge函数之间也存在行为上的隔阂:merge算法是不允许修改其源区间的,而list::merge则总是在修改它所操作的链表。

45. 正确区分count、find、binary_search、lower_bound、upper_bound和equal_range

在选择具体的查找策略时,由迭代器指定的区间是否是排序的,这是一个至关重要的决定条件。如果区间是排序的,那么通过binary_search、lower_bound、upper_bound和equal_range,你可以获得更快的查找速度(通常是对数时间的效率)。如果迭代器并没有指定一个排序的区间,那么你的选择范围将局限于count、count_if、find以及find_if,而这些算法仅能提供线性时间的效率。

effective STL_第20张图片

46. 考虑使用函数对象而不是函数作为STL算法的参数

在stl算法中,函数对象比函数效率高很多。原因是函数对象的operator()被声明为内联,编译器对其进行了优化。在C/C++中并不能真正地将一个函数作为参数传递给另一个函数。如果我们试图将一个函数作为参数进行传递,则编译器会隐式地将它转换成一个指向该函数的指针,并将该指针传递过去。函数指针参数抑制了内联机制

以函数对象作为STL算法的参数,这种做法提供了包括效率在内的多种优势。从代码被编译器接受的程度而言,它们更加稳定可靠。当然,普通函数在C++中也是非常实用的,但是就有效使用STL而言,函数对象通常更加实用一些。

struct StringSize : public std::unary_function {
	std::string::size_type operator()(const std::string& s) const
	{
		return s.size();
	}
};
 
int test_item_46()
{
	std::set s{ "abc", "cde", "xyzw" };
	std::transform(s.begin(), s.end(), std::ostream_iterator(std::cout, "\n"), std::mem_fun_ref(&std::string::size)); // 3 3 4,普通函数
 
	std::transform(s.begin(), s.end(), std::ostream_iterator(std::cout, "\n"), StringSize()); // 3 3 4, 函数对象
 
	return 0;
}

47. 避免产生”直写型”(write-only)的代码

当你编写代码的时候,它看似非常直接和简捷,因为它是由某些基本想法(比如,erase-remove习惯用法加上在find中使用reverse_interator的概念)自然而形成的。然而,阅读代码的人却很难将最终的语句还原成它所依据的思路,这就是”直写型的代码”叫法的来历:虽然很容易编写,但是难以阅读和理解。一段代码是否是”直写型”取决于其读者的知识水平。

48. 总是包含(#include)正确的头文件

C++标准与C的标准有所不同,它没有规定标准库中的头文件之间的相互包含关系。

总结每个与STL有关的标准头文件中所包含的内容:

(1). 几乎所有的标准STL容器都被声明在与之同名的头文件中,比如vector被声明在中,list被声明在中,等等。但是是个例外,中声明了set和multiset,中声明了map和multimap。

(2). 除了4个STL算法以外,其它所有的算法都被声明在中,这4个算法使accumulate、inner_product、adjacent_difference和partial_sum,它们被声明在头文件中。

(3). 特殊类型的迭代器,包括istream_iterator和istreambuf_iterator,被声明在中。

(4). 标准的函数子(比如less)和函数子配接器(比如not1、bind2nd)被声明在头文件中。

任何时候如果你使用了某个头文件中的一个STL组件,那么你就一定要提供对应的#include指令,即使你正在使用的STL平台允许你省略#include指令,你也要将它们包含到你的代码中。当你需要将代码移植到其它平台上的时候,移植的压力就会减轻。


49. 学会分析与STL相关的编译器诊断信息

在一个被声明为const的成员函数内部,该类的所有非静态数据成员都自动被转变为相应的const类型。

一些技巧:

(1). vector和string的迭代器通常就是指针,所以当错误地使用了iterator的时候,编译器的诊断信息中可能会引用到指针类型。例如,如果源代码中引用了vector::iterator,那么编译器的诊断信息中极有可能就会提及double*指针。

(2). 如果诊断信息中提到了back_insert_iterator、front_insert_iterator或者insert_iterator,则几乎总是意味着你错误地调用了back_inserter、front_inserter或者inserter。如果你并没有直接调用这些函数,则一定是你所调用的某个函数直接或者间接地调用了这些函数。

(3). 类似地,如果诊断信息中提到了binder1st或者binder2nd,那么你可能是错误地使用了bind1st和bind2nd。

(4). 输出迭代器(如ostream_iterator、ostreambuf_iterator以及那些由back_inserter、front_inserter、front_inserter和inserter函数返回的迭代器)在赋值操作符内部完成其输出或者插入工作,所以,如果在使用这些迭代器的时候犯了错误,那么你所看到的错误消息中可能会提到与赋值操作符有关的内容。

(5). 如果你得到的错误消息来源于某一个STL算法的内部实现(例如,引起错误的源代码在中),那也许是你在调用算法的时候使用了错误的类型。例如,你可能使用了不恰当的迭代器类型。

(6). 如果你正在使用一个很常见的STL组件,比如vector、string或者for_each算法,但是从错误消息来看,编译器好像对此一无所知,那么可能是你没有包含相应的头文件。

50. 熟悉与STL相关的Web站点

书中介绍了SGI STL(已废弃)、STLport、Boost。

个人强烈推荐:http://www.cplusplus.com/ 尤其是其中的Reference(http://www.cplusplus.com/reference/),有时cplusplus网站会打不开,此时也可参考cppreference:https://en.cppreference.com/w/cpp
 

你可能感兴趣的:(STL,Effective,数据和算法,数据结构,c++)