迭代器库-迭代器原语
迭代器库提供了五种迭代器的定义,同时还提供了迭代器特征、适配器及相关的工具函数。
迭代器分类
迭代器共有五 (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) )的迭代器适配器,除了解引用会将底层迭代器返回的值转换为右值。若此迭代器用作输入迭代器,则效果是值被移动,而非复制。
访问指向的元素
std::move_iterator<Iter>::operator*,
std::move_iterator<Iter>::operator->
reference operator* () const; | (1) | (C++17 前) |
constexpr reference operator* () const; | (C++17 起) | |
pointer operator->() const; | (2) | (C++17 前) |
constexpr pointer operator->() const; | (C++17 起) (C++20 中弃用) |
返回到当前元素的右值引用或指针。
1) 等价于 std::move(*base()) ; | (C++17 前) |
1) 等价于 static_cast<reference>(*base()) ; | (C++17 起) |
2) 等价于 base()
。
参数
(无)
返回值
到当前元素的右值引用或指针。
注意
注意 (2) 返回指针。解引用指针时,返回值是左值。这可能导致非有意的行为。
按索引访问元素
std::move_iterator<Iter>::operator[]
/*unspecified*/ operator[]( difference_type n ) const; | (C++11 起) (C++17 前) | |
constexpr /*unspecified*/ operator[]( difference_type n ) const; | (C++17 起) |
返回在指定相相对位置的引用。
参数
n | - | 相对于当前位置的位置。 |
返回值
到在相对位置元素的右值引用,即 std::move(base()[n]) 。
推进或回退迭代器
std::move_iterator<Iter>::operator++,
std::move_iterator<Iter>::operator+,
std::move_iterator<Iter>::operator+=,
std::move_iterator<Iter>::operator--,
std::move_iterator<Iter>::operator-,
std::move_iterator<Iter>::operator-=
move_iterator& operator++(); | (1) | (C++17 前) |
constexpr move_iterator& operator++(); | (C++17 起) | |
move_iterator& operator--(); | (2) | (C++17 前) |
constexpr move_iterator& operator--(); | (C++17 起) | |
move_iterator operator++( int ); | (3) | (C++17 前) |
constexpr move_iterator operator++( int ); | (C++17 起) | |
move_iterator operator--( int ); | (4) | (C++17 前) |
constexpr move_iterator operator--( int ); | (C++17 起) | |
move_iterator operator+( difference_type n ) const; | (5) | (C++17 前) |
constexpr move_iterator operator+( difference_type n ) const; | (C++17 起) | |
move_iterator operator-( difference_type n ) const; | (6) | (C++17 前) |
constexpr move_iterator operator-( difference_type n ) const; | (C++17 起) | |
move_iterator& operator+=( difference_type n ); | (7) | (C++17 前) |
constexpr move_iterator& operator+=( difference_type n ); | (C++17 起) | |
move_iterator& operator-=( difference_type n ); | (8) | (C++17 前) |
constexpr move_iterator& operator-=( difference_type n ); | (C++17 起) |
自增或自减迭代器。
1-2) 分别前自增或前自减一。
3-4) 分别后自增或后自减一。
5-6) 分别返回前进 n
或 -n
个位置的迭代器。
7-8) 分别令迭代器前进 n
或 -n
个位置。
返回值
1-2) *this
3-4) *this 修改前的副本
5-6) 分别为 move_iterator(base()+n) 或 move_iterator(base()-n) 。
7-8) *this
调用示例
#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::vector<std::string> vector2(vector);
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::move_iterator<iterator_t> move_iterator_begin2(vector2.begin());
std::move_iterator<iterator_t> move_iterator_end2(vector2.end());
//访问底层迭代器
for (std::move_iterator<iterator_t>::iterator_type it
= move_iterator_begin2.base(); it != move_iterator_end2.base(); it++)
{
std::cout << *it << " ";
}
std::cout << std::endl;
//对底层迭代器赋 other 的底层迭代器的值,即 other.base() 。
std::move_iterator<iterator_t> move_iterator_begin3 = move_iterator_begin2;
std::move_iterator<iterator_t> move_iterator_end3 = move_iterator_end2;
//访问底层迭代器
for (std::move_iterator<iterator_t>::iterator_type it
= move_iterator_begin3.base(); it != move_iterator_end3.base(); it++)
{
//返回到当前元素的右值引用或指针。
std::cout << *it << " ";
}
std::cout << std::endl;
std::move_iterator<iterator_t> move_iterator = move_iterator_end2 - 1;
//1-2) 分别前自增或前自减一。
--move_iterator;
std::cout << "--move_iterator: " << std::endl;
std::cout << typeid(move_iterator.base()).name() << " : " << *(move_iterator.base()) << std::endl;
++move_iterator;
std::cout << "++move_iterator: " << std::endl;
std::cout << typeid(move_iterator.base()).name() << " : " << *(move_iterator.base()) << std::endl;
//3-4) 分别后自增或后自减一。
move_iterator--;
std::cout << "move_iterator--: " << std::endl;
std::cout << typeid(move_iterator.base()).name() << " : " << *(move_iterator.base()) << std::endl;
move_iterator++;
std::cout << "move_iterator++: " << std::endl;
std::cout << typeid(move_iterator.base()).name() << " : " << *(move_iterator.base()) << std::endl;
//5-6) 分别返回前进 n 或 -n 个位置的迭代器。
std::cout << "reverse_iterator operator-( difference_type n ) const;: " << std::endl;
std::cout << typeid(move_iterator.base()).name() << " : " << *(move_iterator_begin2.base() + 2) << std::endl;
std::cout << "reverse_iterator operator+( difference_type n ) const;: " << std::endl;
std::cout << typeid(move_iterator.base()).name() << " : " << *(move_iterator_end2.base() - 2) << std::endl;
//7-8) 分别令迭代器前进 n 或 -n 个位置。
move_iterator -= 2;
std::cout << "move_iterator -= 2: " << std::endl;
std::cout << typeid(move_iterator.base()).name() << " : " << *(move_iterator.base()) << std::endl;
move_iterator += 2;
std::cout << "move_iterator += 2: " << std::endl;
std::cout << typeid(move_iterator.base()).name() << " : " << *(move_iterator.base()) << std::endl;
return 0;
}
输出
St13move_iteratorIN9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS7_SaIS7_EEEEE
alg() called for random-access iterator
this is an example
this is an example
--move_iterator:
N9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEE : an
++move_iterator:
N9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEE : example
move_iterator--:
N9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEE : an
move_iterator++:
N9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEE : example
reverse_iterator operator-( difference_type n ) const;:
N9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEE : an
reverse_iterator operator+( difference_type n ) const;:
N9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEE : an
move_iterator -= 2:
N9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEE : is
move_iterator += 2:
N9__gnu_cxx17__normal_iteratorIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEE : example