迭代器库-迭代器原语
迭代器库提供了五种迭代器的定义,同时还提供了迭代器特征、适配器及相关的工具函数。
迭代器分类
迭代器共有五 (C++17 前)六 (C++17 起)种:遗留输入迭代器 (LegacyInputIterator) 、遗留输出迭代器 (LegacyOutputIterator) 、遗留向前迭代器 (LegacyForwardIterator) 、遗留双向迭代器 (LegacyBidirectionalIterator) 、遗留随机访问迭代器 (LegacyRandomAccessIterator) ,及 遗留连续迭代器 (LegacyContiguousIterator) (C++17 起)。
迭代器的分类的依据并不是迭代器的类型,而是迭代器所支持的操作。换句话说,某个类型只要支持相应的操作,就可以作为迭代器使用。例如,完整对象类型指针支持所有遗留随机访问迭代器 (LegacyRandomAccessIterator) 要求的操作,于是任何需要遗留随机访问迭代器 (LegacyRandomAccessIterator) 的地方都可以使用指针。
迭代器的所有类别(除了遗留输出迭代器 (LegacyOutputIterator) 和遗留连续迭代器 (LegacyContiguousIterator) )能组织到层级中,其中更强力的迭代器类别(如遗留随机访问迭代器 (LegacyRandomAccessIterator) )支持较不强力的类别(例如遗留输入迭代器 (LegacyInputIterator) )的所有操作。若迭代器落入这些类别之一且亦满足遗留输出迭代器 (LegacyOutputIterator) 的要求,则称之为可变 迭代器并且支持输入还有输出。称非可变迭代器为常迭代器。
解引用结果为右值引用的迭代器适配器
std::move_iterator
template< class Iter > | (C++11 起) |
std::move_iterator
是准确表现为底层迭代器(必须至少是一个遗留输入迭代器 (LegacyInputIterator) )的迭代器适配器,除了解引用会将底层迭代器返回的值转换为右值。若此迭代器用作输入迭代器,则效果是值被移动,而非复制。
成员类型
成员类型 | 定义 | ||||||
iterator_type | Iter | ||||||
iterator_category |
| ||||||
iterator_concept (C++20 起) | std::input_iterator_tag | ||||||
value_type |
| ||||||
difference_type |
| ||||||
pointer | Iter | ||||||
reference |
|
成员函数
(构造函数) | 构造新的迭代器适配器 (公开成员函数) |
operator= | 赋值另一迭代器 (公开成员函数) |
base | 访问底层迭代器 (公开成员函数) |
operator*operator-> (C++20 中弃用) | 访问指向的元素 (公开成员函数) |
operator[] | 按索引访问元素 (公开成员函数) |
operator++operator++(int)operator+=operator+operator--operator--(int)operator-=operator- | 推进或回退迭代器 (公开成员函数) |
成员对象
成员名称 | 定义 |
current (私有成员对象) | base() 迭代器的副本,名称仅为说明 |
非成员函数
operator==operator!=operator<operator<=operator>operator>= | 比较底层迭代器 (函数模板) |
operator==(std::move_sentinel)operator!=(std::move_sentinel) (C++20) | 比较底层迭代器与底层哨位 (函数模板) |
operator+ | 令迭代器前进 (函数模板) |
operator- | 计算两个迭代器适配器间的距离 (函数模板) |
operator-(std::move_sentinel) (C++20) | 计算底层迭代器与底层哨位间的距离 (函数模板) |
(C++20) | 转型解引用底层迭代器的结果为其所关联的右值引用类型 (函数模板) |
(C++20) | 交换二个底层迭代器所指向的对象 (函数模板) |
调用示例
#include <iostream>
#include <algorithm>
#include <iostream>
#include <string>
#include <iterator>
#include <deque>
#include <vector>
#include <algorithm>
#include <typeinfo>
#include <time.h>
#include <typeinfo>
template< class BDIter >
void alg(BDIter, BDIter, std::input_iterator_tag)
{
//遗留输入迭代器
std::cout << "alg() called for input iterator" << std::endl;
}
template< class BDIter >
void alg(BDIter, BDIter, std::output_iterator_tag)
{
//遗留输出迭代器
std::cout << "alg() called for output iterator" << std::endl;
}
template< class BDIter >
void alg(BDIter, BDIter, std::forward_iterator_tag)
{
//遗留向前迭代器
std::cout << "alg() called for forward iterator" << std::endl;
}
template< class BDIter >
void alg(BDIter, BDIter, std::bidirectional_iterator_tag)
{
//遗留双向迭代器
std::cout << "alg() called for bidirectional iterator" << std::endl;
}
template <class RAIter>
void alg(RAIter, RAIter, std::random_access_iterator_tag)
{
//遗留随机访问迭代器
std::cout << "alg() called for random-access iterator" << std::endl;
}
template< class Iter >
void alg(Iter first, Iter last)
{
alg(first, last,
typename std::iterator_traits<Iter>::iterator_category());
}
int main()
{
std::vector<std::string> vector{"this", "is", "an", "example"};
std::cout << "Old contents of the vector: ";
for (auto& string : vector)
{
std::cout << '"' << string << "\" ";
}
std::cout << std::endl;
typedef std::vector<std::string>::iterator iterator_t;
std::cout << typeid(std::move_iterator<iterator_t>).name() << std::endl;
alg(std::move_iterator<iterator_t>(vector.begin()), std::move_iterator<iterator_t>(vector.end()));
std::string concat = std::accumulate(
std::move_iterator<iterator_t>(vector.begin()),
std::move_iterator<iterator_t>(vector.end()),
std::string()); // 可用 std::make_move_iterator 简化
std::cout << "Concatenated as string: " << concat << std::endl
<< "New contents of the vector: ";
for (auto& string : vector)
{
std::cout << '"' << string << "\" ";
}
std::cout << std::endl;
return 0;
}
输出
Old contents of the vector: "this" "is" "an" "example"
St13move_iteratorIN9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS7_SaIS7_EEEEE
alg() called for random-access iterator
Concatenated as string: thisisanexample
New contents of the vector: "" "" "" ""