Namespaces
Variants

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

From cppreference.net

C++
Containers library
std::map
Member functions
Non-member functions
operator== operator<=>
(C++20)
(C++20)

operator!= operator< operator> operator<= operator>=
(until C++20) (until C++20) (until C++20) (until C++20) (until C++20)
Deduction guides (C++17)
（注：指定されたテキストブロックには翻訳対象の自然言語テキストが含まれていないため、HTML構造はそのまま保持されています）
定義済みヘッダー <map>
template < class Key, class T, class Compare, class Alloc >

bool operator == ( const std:: map < Key, T, Compare, Alloc > & lhs,

const std:: map < Key, T, Compare, Alloc > & rhs ) ;
(1) (C++26以降constexpr)
template < class Key, class T, class Compare, class Alloc >

bool operator ! = ( const std:: map < Key, T, Compare, Alloc > & lhs,

const std:: map < Key, T, Compare, Alloc > & rhs ) ;
(2) (C++20まで)
template < class Key, class T, class Compare, class Alloc >

bool operator < ( const std:: map < Key, T, Compare, Alloc > & lhs,

const std:: map < Key, T, Compare, Alloc > & rhs ) ;
(3) (C++20まで)
template < class Key, class T, class Compare, class Alloc >

bool operator <= ( const std:: map < Key, T, Compare, Alloc > & lhs,

const std:: map < Key, T, Compare, Alloc > & rhs ) ;
(4) (C++20まで)
template < class Key, class T, class Compare, class Alloc >

bool operator > ( const std:: map < Key, T, Compare, Alloc > & lhs,

const std:: map < Key, T, Compare, Alloc > & rhs ) ;
(5) (C++20まで)
template < class Key, class T, class Compare, class Alloc >

bool operator >= ( const std:: map < Key, T, Compare, Alloc > & lhs,

const std:: map < Key, T, Compare, Alloc > & rhs ) ;
(6) (C++20まで)
template < class Key, class T, class Compare, class Alloc >

/* 詳細は後述 */
operator <=> ( const std:: map < Key, T, Compare, Alloc > & lhs,

const std:: map < Key, T, Compare, Alloc > & rhs ) ;
(7) (C++20以降)
(C++26以降 constexpr)

2つの map の内容を比較します。

value_type を map の値型（すなわち、 typename map :: value_type ）とします：

1,2) lhs と rhs の内容が等しいかどうか、つまり同じ数の要素を持ち、 lhs の各要素が rhs の同じ位置にある要素と等しいかどうかをチェックします。
次と等価：

return std:: distance ( lhs. begin ( ) , lhs. end ( ) )
== std:: distance ( rhs. begin ( ) , rhs. end ( ) )
&& std:: equal ( lhs. begin ( ) , lhs. end ( ) , rhs. begin ( ) ) ;

(C++14まで)

return std:: equal ( lhs. begin ( ) , lhs. end ( ) , rhs. begin ( ) , rhs. end ( ) ) ;

(C++14から)
value_type が EqualityComparable でない場合、動作は未定義です。
3-7) lhs と rhs の内容を辞書順に比較します。
3-6) 次と等価： return std:: lexicographical_compare ( lhs. begin ( ) , lhs. end ( ) ,
rhs. begin ( ) , rhs. end ( ) ) ; 。
以下のいずれかの条件が満たされる場合、動作は未定義です：
7) 次と等価： return std:: lexicographical_compare_three_way ( lhs. begin ( ) , lhs. end ( ) ,
rhs. begin ( ) , rhs. end ( ) ,
synth-three-way ) .
戻り値の型は synth-three-way の戻り値の型（すなわち、 synth-three-way-result  < value_type > ）です。
以下のいずれかの条件が満たされる場合、動作は未定義です：
  • T が three_way_comparable をモデルにしていない。
  • operator < が（const修飾された可能性のある） value_type 型の値に対して定義されていない。
  • operator < が 全順序 を確立しない。

< 、 <= 、 > 、 >= 、および != 演算子は、それぞれ 合成されます operator <=> および operator == から。

(C++20以降)

目次

パラメータ

lhs, rhs - map を比較する内容を持つ

戻り値

演算子 lhs と rhs
が等しい場合 		lhs が
辞書順で大きい場合 		rhs が
辞書順で大きい場合
operator == true false
operator ! = false true
operator < false false true
operator <= true
operator > false true false
operator >= true
operator <=> 0に等しい値 0より大きい値 0より小さい値

計算量

1,2) lhs と rhs のサイズが異なる場合は定数時間、それ以外の場合は map のサイズに対して線形時間。
3-7) map のサイズに対して線形。

注記

関係演算子は value_type の operator < によって定義されます。

(C++20まで)

関係演算子は定義されません。書き換え候補である operator <=> がオーバーロード解決によって選択されます。

operator <=> は可能な場合 value_type の operator <=> を使用し、そうでない場合は value_type の operator < を使用します。特に、 value_type 自体が operator <=> を提供していないが、三方比較可能な型に暗黙変換可能な場合、その変換が operator < の代わりに使用されます。

(C++20以降)

これらの非メンバ比較演算子は、要素を比較するために Compare を使用しません。

例

このコードを実行 
#include <cassert>
#include <compare>
#include <map>
int main()
{
    std::map<int, char> a{{1, 'a'}, {2, 'b'}, {3, 'c'}};
    std::map<int, char> b{{1, 'a'}, {2, 'b'}, {3, 'c'}};
    std::map<int, char> c{{7, 'Z'}, {8, 'Y'}, {9, 'X'}, {10, 'W'}};
    assert
    (""
        "等しいコンテナの比較:" &&
        (a != b) == false &&
        (a == b) == true &&
        (a < b) == false &&
        (a <= b) == true &&
        (a > b) == false &&
        (a >= b) == true &&
        (a <=> b) != std::weak_ordering::less &&
        (a <=> b) != std::weak_ordering::greater &&
        (a <=> b) == std::weak_ordering::equivalent &&
        (a <=> b) >= 0 &&
        (a <=> b) <= 0 &&
        (a <=> b) == 0 &&
        "等しくないコンテナの比較:" &&
        (a != c) == true &&
        (a == c) == false &&
        (a < c) == true &&
        (a <= c) == true &&
        (a > c) == false &&
        (a >= c) == false &&
        (a <=> c) == std::weak_ordering::less &&
        (a <=> c) != std::weak_ordering::equivalent &&
        (a <=> c) != std::weak_ordering::greater &&
        (a <=> c) < 0 &&
        (a <=> c) != 0 &&
        (a <=> c) <= 0 &&
    "");
}

不具合報告

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

DR 適用対象 公開時の動作 正しい動作
LWG 3431 C++20 operator <=> が T
に three_way_comparable のモデル要件を要求していなかった 		要求する