STL与泛型编程 第四周 博览网

• 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())
/*
less为一个类，它是一个仿函数，less()表示创建一个less类型的临时变量传入到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型
  4.绑定成员函数和成员变量时，有一个默认的参数this

• 通过编写适配器可以改变已有算法的行为。例如：
  

  

  image.png
  
  copy本来的行为是直接覆盖插入点后的数据，而且也不检查复制行为是否越界，通过编写inserter迭代器适配器来改变copy中*result=*first中操作符=的行为，从而得到类似插入的操作。inserter为一个辅助函数，insert_iterator为实现功能的主要适配器。insert_iterator中的protected成员变量为需要保存的类型信息。insert_iterator中对操作符=的重载实现具体功能。