Namespaces
Variants

operator==,!=,<,<=,>,>=,<=> (std::reverse_iterator)

From cppreference.net
C++
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
(C++17)
(C++17)
std::reverse_iterator
（注：このHTML要素には翻訳対象のテキストコンテンツが含まれていないため、元の構造をそのまま保持しています）
定義済みヘッダー <iterator>
template < class Iter1, class Iter2 >

bool operator == ( const std:: reverse_iterator < Iter1 > & lhs,

const std:: reverse_iterator < Iter2 > & rhs ) ;
(1) (constexpr since C++17)
template < class Iter1, class Iter2 >

bool operator ! = ( const std:: reverse_iterator < Iter1 > & lhs,

const std:: reverse_iterator < Iter2 > & rhs ) ;
(2) (C++17以降 constexpr)
template < class Iter1, class Iter2 >

bool operator < ( const std:: reverse_iterator < Iter1 > & lhs,

const std:: reverse_iterator < Iter2 > & rhs ) ;
(3) (constexpr since C++17)
template < class Iter1, class Iter2 >

bool operator <= ( const std:: reverse_iterator < Iter1 > & lhs,

const std:: reverse_iterator < Iter2 > & rhs ) ;
(4) (C++17以降 constexpr)
template < class Iter1, class Iter2 >

bool operator > ( const std:: reverse_iterator < Iter1 > & lhs,

const std:: reverse_iterator < Iter2 > & rhs ) ;
(5) (C++17以降 constexpr)
template < class Iter1, class Iter2 >

bool operator >= ( const std:: reverse_iterator < Iter1 > & lhs,

const std:: reverse_iterator < Iter2 > & rhs ) ;
(6) (constexpr since C++17)
template < class Iter1, std:: three_way_comparable_with < Iter1 > Iter2 >

constexpr std:: compare_three_way_result_t < Iter1, Iter2 >
operator <=> ( const std:: reverse_iterator < Iter1 > & lhs,

const std:: reverse_iterator < Iter2 > & rhs ) ;
(7) (C++20以降)

lhs と rhs の基盤となるイテレータを比較します。

  • 等価比較の結果は保持される（すなわち、等しい基盤となるイテレータは等しい逆イテレータを意味する）。
  • 関係比較の結果は逆転される（すなわち、より大きい基盤となるイテレータはより小さい逆イテレータを意味する）。
1) このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： lhs. base ( ) == rhs. base ( ) が適切に形成され、かつ bool に変換可能である場合。
2) このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： lhs. base ( ) ! = rhs. base ( ) が適切に形成され、かつ bool に変換可能である場合。
3) このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： lhs. base ( ) > rhs. base ( ) が適切に形成され、かつ bool に変換可能である場合。
4) このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： lhs. base ( ) >= rhs. base ( ) が適切に形成され、かつ bool に変換可能である場合。
5) このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： lhs. base ( ) < rhs. base ( ) が適切に形成され、かつ bool に変換可能である場合。
6) このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： lhs. base ( ) <= rhs. base ( ) が適切に形成され、かつ bool に変換可能である場合。
(C++20以降)


目次

パラメータ

lhs, rhs - 比較を行うイテレータアダプタ

戻り値

1) lhs. base ( ) == rhs. base ( )
2) lhs. base ( ) ! = rhs. base ( )
3) lhs. base ( ) > rhs. base ( )
4) lhs. base ( ) >= rhs. base ( )
5) lhs. base ( ) < rhs. base ( )
6) lhs. base ( ) <= rhs. base ( )
7) rhs. base ( ) <=> lhs. base ( )

注記

operator <=> は rhs. base ( ) <=> lhs. base ( ) を返し、 lhs. base ( ) <=> rhs. base ( ) ではありません。これはリバースイテレータであるためです。

例

このコードを実行 
#include <cassert>
#include <iterator>
int main()
{
    int a[]{0, 1, 2, 3};
    //            ↑  └───── x, y
    //            └──────── z
    // 「x」と「y」は等しいが、「x」は「z」より小さい（逆順の場合）
    std::reverse_iterator<int*>
        x{std::rend(a) - std::size(a)},
        y{std::rend(a) - std::size(a)},
        z{std::rbegin(a) + 1};
    // 二項比較
    assert(  x == y );
    assert(!(x != y));
    assert(!(x <  y));
    assert(  x <= y );
    assert(!(x == z));
    assert(  x != z );
    assert(  x <  z );
    assert(  x <= z );
    // 三項比較
    assert(  x <=> y == 0 );
    assert(!(x <=> y <  0));
    assert(!(x <=> y >  0));
    assert(!(x <=> z == 0));
    assert(  x <=> z <  0 );
    assert(!(x <=> z >  0));
}

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR Applied to Behavior as published Correct behavior
LWG 280 C++98 異種代入は許可されていなかった 許可される