一、C++标准库的算法是什么东西?
template<typename Iterator>
Algorithm(Iterator itr1,Iterator itr2)
{
.....
}
template<typename Iterator,typename Cmp>
Algorithm(Iterator itr1,Iterator itr2,typename Cmp)
{
.....
}
algorithm问iterator:“你到哪了?你那个地方有什么东西?”
iterator回答:“我到vector的begin()了,里面并没有任何东西”
以上两个都是算法实现的模板,后者较前者就加入到Functors,所以仿函数也是一个class template。
从语言层面:
容器(container)、迭代器(iterator)、仿函数(Functor)、适配器(Adapter)、分配器(Allocator)都是class template
算法(algorithm)是function template
小结:Algorithm看不见container,对其一无所知;所以它所需要的一切信息都必须从iterators中取得,而iterators(由container提供)必须能够回答Algorithm的所有提问,才能搭配该Algorithm的所有操作。
也就是容器是一个火车,迭代器是火车上的餐车,餐车进行附着在上面爬,从而找到算法需要的东西。
五种iterator category:
#include
typeid().name 是一个操作符,可以得到type名称
array:迭代器是可以跳的,
vector:迭代器是可以跳的
deque:是分段连续,假的连续,但是也是连续,也是可以跳的
list:不能跳,不连续空间迭代器是不能跳的.可以一个一个走
Forward_list:不能跳,不连续空间迭代器是不能跳的.可以一个一个走
set/multiset:红黑树做出来的东西,都是双向的,
unordered container:例如hashtable
Q1:两个特别的iterator,istream_iterator和ostream_iterator?
A1:后面专门讲,这个是标准库,继承可以直接用他的父类的 模板类,这两个可以看做适配器,形式上就很独特。
iterator_category | 显示容器的迭代器类型 |
---|---|
形式:struct input_iterator_tag{}; | 打印类型:_display_category(container::iterator()) |
output_iterator_tag这是一个单独的 | ostream |
input_iterator_tag从这里开始,下面的继承上面的父类 | istream |
farward_iterator_tag | Forward_list、、unordered_multimap、unordered_map、unordered_set、unordered_multiset |
bidirectional_iterator_tag | set/multiset、list、map/multimap |
random_access_iterator_tag | array、vector、deque |
红黑树迭代器是双向的;
二、iterator_category对算法的影响
Q1:如何计算两个迭代器的距离?
A1:按照常理就是将两个迭代器相减,但是要注意容器是否是连续的内存,两个指针的距离用什么来表现,当不知道用什么表现是就要问该iterator的适配器
template <class InputIterator>
inline iterator_traits<InputIterator>::difference_type//这里就是问适配器我们应该有什么类型的作为距离呢,然后把这一部分作为类型
distance(InputIterator first,InputIterator last){
typedef typename
iterator_traits<InputIterator>::iterator_category category;
return _distance(first,last,category());
}
通过函数advance算法传入iterator_category仿函数来判断该迭代器的类型,并判断迭代器是跳还是走。
注:关于继承,例如,B继承A,可写为B is a A(B是一种A)
泛化:generalization
特化:specialization
强化:refinement