iter_swap (std::counted_iterator)

Tauscht die Objekte, auf die von zwei zugrundeliegenden Iteratoren gezeigt wird. Das Verhalten ist undefiniert, falls entweder x. count ( ) oder y. count ( ) gleich ​ 0 ​ ist.

Der Funktionsrumpf entspricht: ranges:: iter_swap ( x. base ( ) , y. base ( ) ) ; .

Diese Funktionsvorlage ist für gewöhnliches unqualified oder qualified lookup nicht sichtbar und kann nur durch argument-dependent lookup gefunden werden, wenn std:: counted_iterator < I > eine assoziierte Klasse der Argumente ist.

#include <iostream>
#include <iterator>
#include <list>
#include <vector>
int main()
{
    std::vector p{1, 2, 3, 4},
                q{5, 6, 7, 8};
    std::counted_iterator<std::vector<int>::iterator> ip{p.begin(), 2};
    std::counted_iterator<std::vector<int>::iterator> iq{q.begin(), 3};
    std::cout << *ip << ' ' << *iq << '\n';
    iter_swap(ip, iq); // ADL
    std::cout << *ip << ' ' << *iq << '\n';
    std::list x{0, 1, 3};
    std::counted_iterator<std::list<int>::iterator> ix{x.begin(), 2};
//  iter_swap(ip, ix); // error: not indirectly swappable
}

1 5
5 1