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

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

数组 (C++11)

向量

vector<bool>

inplace_vector (C++26)

双端队列

前向列表 (C++11)

列表

关联

集合

多重集合

映射

多重映射

无序关联

无序集合 (C++11)

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

无序映射 (C++11)

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

适配器

栈

队列

优先队列

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

跨度 (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表

非成员函数表

 

std::deque

成员类型
成员函数
deque::deque deque::~deque deque::operator= deque::assign deque::assign_range (C++23)   deque::get_allocator 元素访问 deque::at deque::operator[] deque::front deque::back 迭代器 deque::begindeque::cbegin (C++11) deque::enddeque::cend (C++11) deque::rbegindeque::crbegin (C++11) deque::renddeque::crend (C++11)	容量 deque::empty deque::size deque::max_size deque::shrink_to_fit (DR*) 修饰符 deque::clear deque::insert deque::insert_range (C++23) deque::emplace deque::erase deque::push_front deque::emplace_front (C++11) deque::prepend_range (C++23) deque::pop_front deque::push_back deque::emplace_back (C++11) deque::append_range (C++23) deque::pop_back deque::resize deque::swap
非成员函数
operator==operator<=> (C++20) swap(std::deque) erase(std::deque)erase_if(std::deque) (C++20)(C++20)	operator!=operator<operator>operator<=operator>= (直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)
推导指南(C++17)

 

定义在头文件 <deque> 中
template< class T, class Alloc > bool operator==( const std::deque<T, Alloc>& lhs,                  const std::deque<T, Alloc>& rhs );	(1)
template< class T, class Alloc > bool operator!=( const std::deque<T, Alloc>& lhs,                  const std::deque<T, Alloc>& rhs );	(2)	(直到 C++20)
template< class T, class Alloc > bool operator<( const std::deque<T, Alloc>& lhs,                 const std::deque<T, Alloc>& rhs );	(3)	(直到 C++20)
template< class T, class Alloc > bool operator<=( const std::deque<T, Alloc>& lhs,                  const std::deque<T, Alloc>& rhs );	(4)	(直到 C++20)
template< class T, class Alloc > bool operator>( const std::deque<T, Alloc>& lhs,                 const std::deque<T, Alloc>& rhs );	(5)	(直到 C++20)
template< class T, class Alloc > bool operator>=( const std::deque<T, Alloc>& lhs,                  const std::deque<T, Alloc>& rhs );	(6)	(直到 C++20)
template< class T, class Alloc > synth-three-way-result<T>     operator<=>( const std::deque<T, Alloc>& lhs,                  const std::deque<T, Alloc>& rhs );	(7)	(自 C++20)

比较两个 deque 的内容。

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。
• < 为类型（可能限定为常量）T 的值定义，并且 < 是一个全序关系。

<、<=、>、>= 和 != 运算符分别从 operator<=> 和 operator== 合成。

(自 C++20)

参数

lhs, rhs	-	要比较其内容的 deque
- 为了使用重载 (1,2)，T 必须满足 EqualityComparable 的要求。
- 为了使用重载 (3-6)，T 必须满足 LessThanComparable 的要求。排序关系必须建立全序。

返回值

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

2) 如果 deque 的内容不相等，则为 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()。

复杂度

1,2) 如果 lhs 和 rhs 的大小不同，则为常数时间；否则为 deque 大小的线性时间。

3-7) 为 deque 大小的线性时间。

注释

关系运算符是根据元素类型的 operator< 定义的。	(直到 C++20)
关系运算符是根据 synth-three-way 定义的，如果可能，它使用 operator<=>，否则使用 operator<。 值得注意的是，如果元素本身没有提供 operator<=>，但可以隐式转换为三元可比较类型，则将使用该转换而不是 operator<。	(自 C++20)

示例

运行此代码

#include <cassert>
#include <compare>
#include <deque>
 
int main()
{
    const std::deque
        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	需要