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

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

数组 (C++11)

向量

vector<bool>

就地向量 (C++26)

双端队列

前向列表 (C++11)

列表

关联

集合

多重集合

映射

多重映射

无序关联

无序集合 (C++11)

无序多重集合 (C++11)

无序映射 (C++11)

无序多重映射 (C++11)

适配器

堆栈

队列

优先队列

扁平集合 (C++23)

扁平多重集合 (C++23)

扁平映射 (C++23)

扁平多重映射 (C++23)

视图

跨度 (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 起)

比较两个 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
- T 必须满足 EqualityComparable 的要求，才能使用重载 (1,2)。
- T 必须满足 LessThanComparable 的要求，才能使用重载 (3-6)。排序关系必须建立完全排序。

返回值

1) 如果 forward_list 的内容相等，则为 true，否则为 false。

2) 如果 forward_list 的内容不相等，则为 true，否则为 false。

3) 如果 lhs 的内容按字典顺序小于rhs 的内容，则为 true，否则为 false。

4) true 如果 lhs 的内容在字典序上 小于 或 等于 rhs 的内容，否则为 false。

5) true 如果 lhs 的内容在字典序上 大于 rhs 的内容，否则为 false。

6) true 如果 lhs 的内容在字典序上 大于 或 等于 rhs 的内容，否则为 false。

7) 如果存在这样的元素，则 lhs 和 rhs 中第一对不相等元素的相对顺序；否则为 lhs.size() <=> rhs.size()。

复杂度

与 forward_list 的大小线性相关。

注释

关系运算符是根据元素类型的 operator< 定义的。	(直到 C++20)
关系运算符是根据 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	需要