C++标准模板（STL）- 迭代器库-迭代器适配器 - 解引用结果为右值引用的迭代器适配器（二）

迭代器库-迭代器原语

迭代器库提供了五种迭代器的定义，同时还提供了迭代器特征、适配器及相关的工具函数。

迭代器分类

迭代器共有五 (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 > class move_iterator;

(C++11 起)

std::move_iterator 是准确表现为底层迭代器（必须至少是一个遗留输入迭代器 (LegacyInputIterator) ）的迭代器适配器，除了解引用会将底层迭代器返回的值转换为右值。若此迭代器用作输入迭代器，则效果是值被移动，而非复制。

构造新的迭代器适配器

std::move_iterator<Iter>::move_iterator

构造新的迭代器适配器。

1) 默认构造函数。值初始化底层迭代器。若且唯若值初始化的底层迭代器有受定义行为，产生的迭代器上的操作才一样有受定义行为。

2) 初始化底层迭代器为 x 。

3) 以 other 的底层迭代器初始化底层迭代器。

参数

x	-	要适配的迭代器
other	-	要复制的迭代器适配器

赋值另一迭代器

std::move_iterator<Iter>::operator=

template< class U > move_iterator& operator=( const move_iterator<U>& other );		(C++17 前)
template< class U > constexpr move_iterator& operator=( const move_iterator<U>& other );		(C++17 起)

对底层迭代器赋 other 的底层迭代器的值，即 other.base() 。

参数

other

-

要赋值的迭代器适配器

返回值

*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);

    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::move_iterator<iterator_t> move_iterator_begin(vector.begin());
    std::move_iterator<iterator_t> move_iterator_end(vector.end());

    std::string concat = std::accumulate(move_iterator_begin,
                                         move_iterator_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;

    //构造新的迭代器适配器。
    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;

    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: "" "" "" ""
this is an example
this is an example