STL与泛型编程 第四周 博览网
2017-06-13 本文已影响0人
我要飞翔_2520
- algorithm是一个函数模板,他看不见container,对其一无所知,所以他需要的一切信息都必须从iterators取得,而iterator必须能够回答algorithm的所有提问,体能搭配algorithm的所有操作。
- 在typeinfo头文件中的typeid操作符获得一个对象,对这个对象调用name()可以获得它的类型名称。
- iteator的分类 iterator_category
共分为五类,iterator的分类直接影响算法的效率。
image.png
以copy()算法为例
image.png - 对于count,count_if,find,find_if对于关联容器和无序关联容器有专门的成员函数。
- 对于sort对于list,forward_list有专门的成员函数。
- 算法binary_search必须作用一个排序后的容器。
- 仿函数就是一种类,它没有别的东西,只有一个重载的运算符(),仿函数主要服务于算法,用于传递给算法运算准则,因为它的功能类似与函数,所以叫他仿函数。
- 对于一个类型名后面直接加一个(),则表示创建一个类型为这个类的临时变量,此用法多用向算法传入运算规则的仿函数。例如:
sort(a.begin(),b.end(),less<int>())
/*
less<int>为一个类,它是一个仿函数,less<int>()表示创建一个less<int>类型的临时变量传入到srot中
*/
-
在STL体系结构中,仿函数要选择适当的类进行进行继承。类除了能继承函数外,还能继承类型别名。
image.png
一个仿函数的可适配条件是它能回答一些问题,如first_argument_type是什么类型,所以这个仿函数除了要完成操作符()的重载外,还要继承例如binary_function的类来实现回答问题的功能,例如:
image.png
image.png
myclass类不能回答类似first_argument_type是什么类型这种问题。 -
多重adapters
adapter即定义类型别名,或者改变函数名等等。
image.png -
新型适配器bind
image.png
1.using namespace std::placeholder;//可以使用占位符_1 ,_2......表示第一第二个参数......
2.my_divide也可以是一个仿函数(function objects)
3.bind<int>表示确定返回值类型为int型
4.绑定成员函数和成员变量时,有一个默认的参数this -
通过编写适配器可以改变已有算法的行为。例如:
image.png
copy本来的行为是直接覆盖插入点后的数据,而且也不检查复制行为是否越界,通过编写inserter迭代器适配器来改变copy中*result=*first
中操作符=的行为,从而得到类似插入的操作。inserter为一个辅助函数,insert_iterator为实现功能的主要适配器。insert_iterator中的protected成员变量为需要保存的类型信息。insert_iterator中对操作符=的重载实现具体功能。