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

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

コンテナライブラリ

シーケンス

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

連想

set

multiset

map

multimap

非順序連想

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

アダプタ

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

表示

span (C++20)

mdspan (C++23)

表

イテレータの無効化

メンバ関数テーブル

非メンバ関数テーブル

 

std::forward_list

メンバ関数
forward_list::forward_list forward_list::~forward_list forward_list::operator= forward_list::assign forward_list::assign_range (C++23)   forward_list::get_allocator 要素アクセス forward_list::front イテレータ forward_list::before_beginforward_list::cbefore_begin forward_list::beginforward_list::cbegin forward_list::endforward_list::cend 容量 forward_list::empty forward_list::max_size	変更 forward_list::clear forward_list::emplace_front forward_list::push_front forward_list::insert_after forward_list::emplace_after forward_list::erase_after forward_list::insert_range_after (C++23) forward_list::prepend_range (C++23) forward_list::pop_front forward_list::resize forward_list::swap 操作 forward_list::merge forward_list::splice_after forward_list::removeforward_list::remove_if forward_list::reverse forward_list::unique forward_list::sort
非メンバ関数
operator==operator<=> (C++20) swap(std::forward_list) erase(std::forward_list)erase_if(std::forward_list) (C++20)(C++20)	operator!=operator<operator>operator<=operator>= (C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20まで)
推論ガイド (C++17)

 

ヘッダ <forward_list> で定義
template< class T, class Alloc > bool operator==( const std::forward_list<T, Alloc>& lhs,                  const std::forward_list<T, Alloc>& rhs );	(1)	(C++11以降)
template< class T, class Alloc > bool operator!=( const std::forward_list<T, Alloc>& lhs,                  const std::forward_list<T, Alloc>& rhs );	(2)	(C++11以降) (C++20まで)
template< class T, class Alloc > bool operator<( const std::forward_list<T, Alloc>& lhs,                 const std::forward_list<T, Alloc>& rhs );	(3)	(C++11以降) (C++20まで)
template< class T, class Alloc > bool operator<=( const std::forward_list<T, Alloc>& lhs,                  const std::forward_list<T, Alloc>& rhs );	(4)	(C++11以降) (C++20まで)
template< class T, class Alloc > bool operator>( const std::forward_list<T, Alloc>& lhs,                 const std::forward_list<T, Alloc>& rhs );	(5)	(C++11以降) (C++20まで)
template< class T, class Alloc > bool operator>=( const std::forward_list<T, Alloc>& lhs,                  const std::forward_list<T, Alloc>& rhs );	(6)	(C++11以降) (C++20まで)
template< class T, class Alloc > synth-three-way-result<T>     operator<=>( const std::forward_list<T, Alloc>& lhs,                  const std::forward_list<T, Alloc>& rhs );	(7)	(C++20以降)

2つのforward_listの要素を比較します。

1,2) lhsとrhsの内容が等しいか、すなわち、要素数が同じで、lhsの各要素がrhsの同じ位置の要素と等しいかを確認します。

3-6) lhsとrhsの内容を辞書的に比較します。比較はstd::lexicographical_compareと同等の関数によって実行されます。

7) lhs と rhs の要素を辞書順に比較します。比較は std::lexicographical_compare_three_way(lhs.begin(), lhs.end(),
                                       rhs.begin(), rhs.end(), synth-three-way) を呼び出すかのように実行されます。

戻り値の型はsynth-three-wayの戻り値の型（つまり、synth-three-way-result <T>）です。

以下の条件のいずれも満たされない場合、動作は未定義です

• Tはthree_way_comparableのモデルです。
• 型（おそらくconst修飾された）Tの値に対して<が定義されており、<は全順序関係です。

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

(C++20以降)

パラメータ

lhs, rhs	-	比較するforward_list
- オーバーロード(1,2)を使用するには、TはEqualityComparableの要件を満たす必要があります。
- オーバーロード(3-6)を使用するには、TはLessThanComparableの要件を満たす必要があります。順序関係は全順序を確立する必要があります。

戻り値

1) 2つのforward_listの要素が等しい場合は true、それ以外の場合は false。

2) 2つのforward_listの要素が等しくない場合は true、それ以外の場合は false。

3) lhsの内容がrhsの内容よりも辞書的に小さい場合はtrue、そうでない場合はfalse。

4) lhsの内容がrhsの内容よりも辞書的に小さいか等しい場合はtrue、そうでない場合はfalse。

5) lhsの内容がrhsの内容よりも辞書的に大きい場合はtrue、そうでない場合はfalse。

6) lhsの内容がrhsの内容よりも辞書的に大きいか等しい場合はtrue、そうでない場合はfalse。

7) lhsとrhsに非等価な要素の最初のペアが存在する場合はその相対順序、それ以外の場合はlhs.size() <=> rhs.size()。

計算量

forward_listのサイズに線形。

備考

関係演算子は、要素型のoperator<を介して定義されます。	(C++20まで)
関係演算子はsynth-three-wayを介して定義されます。synth-three-wayは、可能であればoperator<=>を使用し、そうでなければoperator<を使用します。 特に、要素自身がoperator<=>を提供しないが、三方比較可能な型に暗黙的に変換できる場合、その変換がoperator<の代わりに使用されます。	(C++20以降)

例

このコードを実行

#include <cassert>
#include <compare>
#include <forward_list>
 
int main()
{
    const std::forward_list
        a{1, 2, 3},
        b{1, 2, 3},
        c{7, 8, 9, 10};
 
    assert
    (""
        "Compare equal containers:" &&
        (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 &&
 
        "Compare non equal containers:" &&
        (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のモデルとするために	要求するようになった