operator- (std::counted_iterator)

Berechnet den Abstand zwischen zwei Iterator-Adaptoren.

Das Verhalten ist undefiniert, falls x und y nicht auf Elemente derselben Sequenz zeigen. Das heißt, es muss ein n existieren, sodass std:: next ( x. base ( ) , x. count ( ) + n ) und std:: next ( y. base ( ) , y. count ( ) + n ) auf dasselbe Element verweisen.

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.

Parameter

Rückgabewert

y. count ( ) - x. count ( )

Hinweise

Da die Länge abwärts zählt, nicht aufwärts, ist die Reihenfolge der Argumente des operator - im zugrundeliegenden Ausdruck umgekehrt, d.h. y ist lhs und x ist rhs .

Beispiel

#include <initializer_list>
#include <iterator>
int main()
{
    static constexpr auto v = {1, 2, 3, 4, 5, 6};
    constexpr std::counted_iterator<std::initializer_list<int>::iterator>
        it1{v.begin(), 5},
        it2{it1 + 3},
        it3{v.begin(), 2};
    static_assert(it1 - it2 == -3);
    static_assert(it2 - it1 == +3);
//  static_assert(it1 - it3 == -3); // UB: Operanden von operator- beziehen sich nicht auf
                                    // Elemente derselben Sequenz
}

Siehe auch