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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

容器库

node-handle (C++17)

序列容器

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::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)	(C++26 起为 constexpr)
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 > /* 见下文 */     operator<=>( const std::deque<T, Alloc>& lhs,                  const std::deque<T, Alloc>& rhs );	(7)	(C++20 起) (C++26 起为 constexpr)

比较两个 deque 的内容。

设 value_type 为 deque 的值类型（即 typename deque::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());。

如果满足以下任意条件，那么行为未定义：

• value_type 不可小于比较 (LessThanComparable) 。
• operator< 未建立全序。

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。
• 没有为（可有 const 限定的）value_type 类型的值定义 operator<。
• operator< 未建立全序。

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

(C++20 起)

参数

lhs, rhs

-

要比较内容的 deque

返回值

运算符	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 的大小不同时是常数，否则与 deque 的大小成线性。

3-7) 与 deque 的大小成线性。

注解

各关系运算符是基于 value_type 的 operator< 定义的。	(C++20 前)
不定义关系运算符。此时重载决议会选择重写候选 operator<=>。 operator<=> 在有可能时会使用 value_type 的 operator<=>，否则使用 value_type 的 operator<。要注意，如果 value_type 自身不提供 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
    (""
        "比较相等的容器：" &&
        (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++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 3431	C++20	operator<=> 不需要 T 实现 three_way_comparable	需要