< cpp‎ | iterator
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
Iterator adaptors
Stream iterators
Iterator customization points
Iterator operations
Range access
Defined in header <iterator>
template< class Iter >
class move_iterator;
(since C++11)

std::move_iterator is an iterator adaptor which behaves exactly like the underlying iterator (which must be at least a LegacyInputIterator or model input_iterator(since C++20), or stronger iterator concept(since C++23)), except that dereferencing converts the value returned by the underlying iterator into an rvalue. If this iterator is used as an input iterator, the effect is that the values are moved from, rather than copied from.


[edit] Member types

Member type Definition
iterator_type Iter


(until C++20)

If std::iterator_traits<Iter>::iterator_category is valid and denotes a type:

Otherwise, there is no member iterator_category.

(since C++20)


(since C++20)
(until C++23)
(since C++23)


(until C++20)


(since C++20)


(until C++20)


(since C++20)
pointer Iter

If std::iterator_traits<Iter>::reference is a reference, this is the rvalue reference version of the same type. Otherwise (such as if the wrapped iterator returns by value), this is std::iterator_traits<Iter>::reference unchanged.

(until C++20)


(since C++20)

[edit] Member objects

Member name Definition
current (private) the underlying iterator from which base() copies or moves(since C++20)
(exposition-only member object*)

[edit] Member functions

constructs a new iterator adaptor
(public member function) [edit]
assigns another iterator adaptor
(public member function) [edit]
accesses the underlying iterator
(public member function) [edit]
(C++11)(C++11)(deprecated in C++20)
accesses the pointed-to element
(public member function) [edit]
accesses an element by index
(public member function) [edit]
advances or decrements the iterator
(public member function) [edit]

[edit] Non-member functions

(C++11)(C++11)(removed in C++20)(C++11)(C++11)(C++11)(C++11)(C++20)
compares the underlying iterators
(function template) [edit]
compares the underlying iterator and the underlying sentinel
(function template) [edit]
advances the iterator
(function template) [edit]
computes the distance between two iterator adaptors
(function template) [edit]
computes the distance between the underlying iterator and the underlying sentinel
(function template) [edit]
casts the result of dereferencing the underlying iterator to its associated rvalue reference type
(function) [edit]
swaps the objects pointed to by two underlying iterators
(function template) [edit]
creates a std::move_iterator of type inferred from the argument
(function template) [edit]

[edit] Helper templates

template< class Iterator1, class Iterator2 >

    requires (!std::sized_sentinel_for<Iterator1, Iterator2>)
constexpr bool disable_sized_sentinel_for<

    std::move_iterator<Iterator2>> = true;
(since C++20)

This partial specialization of std::disable_sized_sentinel_for prevents specializations of move_iterator from satisfying sized_sentinel_for if their underlying iterators do not satisfy the concept.

[edit] Notes

Feature-test macro Value Std Feature
__cpp_lib_move_iterator_concept 202207L (C++23) Make std::move_iterator<T*> a random access iterator

[edit] Example

#include <algorithm>
#include <iomanip>
#include <iostream>
#include <iterator>
#include <numeric>
#include <string>
#include <vector>
int main()
    std::vector<std::string> v{"this", "_", "is", "_", "an", "_", "example"};
    auto print_v = [&](auto const rem)
        std::cout << rem;
        for (const auto& s : v)
            std::cout << std::quoted(s) << ' ';
        std::cout << '\n';
    print_v("Old contents of the vector: ");
    std::string concat = std::accumulate(std::make_move_iterator(v.begin()),
    // An alternative that uses std::move_iterator directly could be:
    // using moviter_t = std::move_iterator<std::vector<std::string>::iterator>;
    // std::string concat = std::accumulate(moviter_t(v.begin()),
    //                                      moviter_t(v.end()),
    //                                      std::string());
    // Starting from C++17, which introduced class template argument deduction,
    // the constructor of std::move_iterator can be used directly without
    // template parameters in most cases:
    // std::string concat = std::accumulate(std::move_iterator(v.begin()),
    //                                      std::move_iterator(v.end()),
    //                                      std::string());
    print_v("New contents of the vector: ");
    std::cout << "Concatenated as string: " << std::quoted(concat) << '\n';

Possible output:

Old contents of the vector: "this" "_" "is" "_" "an" "_" "example"
New contents of the vector: "" "" "" "" "" "" ""
Concatenated as string: "this_is_an_example"

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
LWG 2106 C++11 dereferencing a move_iterator could return a dangling reference
if the dereferencing the underlying iterator returns a prvalue
returns the object instead
LWG 3736 C++20 move_iterator is missing disable_sized_sentinel_for specialization added
P2259R1 C++20 member iterator_category was always defined defined only if
std::iterator_traits<Iter>::iterator_category exists

[edit] See also

creates a std::move_iterator of type inferred from the argument
(function template) [edit]
sentinel adaptor for use with std::move_iterator
(class template) [edit]