- 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体系结构中，仿函数要选择适当的类进行进行继承。类除了能继承函数外，还能继承类型别名。
一个仿函数的可适配条件是它能回答一些问题，如first_argument_type是什么类型，所以这个仿函数除了要完成操作符()的重载外，还要继承例如binary_function的类来实现回答问题的功能，例如：
image.png
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中对操作符=的重载实现具体功能。
