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

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

容器庫

序列

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::array

成員型別
成員函式
元素訪問 array::at array::operator[]    array::front array::back array::data 操作 array::fill array::swap	迭代器 array::beginarray::cbegin array::endarray::cend array::rbeginarray::crbegin    array::rendarray::crend	容量 array::empty array::size array::max_size
非成員函式
operator==operator<=> (C++20 起) get(std::array) swap(std::array) to_array (C++20)	operator|=operator<operator>operator<=operator>= (直至 C++20)(直至 C++20)(直至 C++20)(直至 C++20)(直至 C++20)
輔助類
tuple_size<std::array>
tuple_element<std::array>
推導指引 (C++17 起)

 

定義於標頭檔案 <array>
template< class T, std::size_t N > bool operator==( const std::array<T, N>& lhs,                  const std::array<T, N>& rhs );	(1)	(C++11 起) (C++20 起為 constexpr)
template< class T, std::size_t N > bool operator!=( const std::array<T, N>& lhs,                  const std::array<T, N>& rhs );	(2)	(C++11 起) (C++20 前)
template< class T, std::size_t N > bool operator<( const std::array<T, N>& lhs,                 const std::array<T, N>& rhs );	(3)	(C++11 起) (C++20 前)
template< class T, std::size_t N > bool operator<=( const std::array<T, N>& lhs,                  const std::array<T, N>& rhs );	(4)	(C++11 起) (C++20 前)
template< class T, std::size_t N > bool operator>( const std::array<T, N>& lhs,                 const std::array<T, N>& rhs );	(5)	(C++11 起) (C++20 前)
template< class T, std::size_t N > bool operator>=( const std::array<T, N>& lhs,                  const std::array<T, N>& rhs );	(6)	(C++11 起) (C++20 前)
template< class T, std::size_t N > constexpr synth-three-way-result<T>     operator<=>( const std::array<T, N>& lhs,                  const std::array<T, N>& rhs );	(7)	(C++20 起)

比較兩個 array 的內容。

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	-	要比較內容的 array
- 為了使用過載 (1,2)，T 必須滿足 EqualityComparable 的要求。
- 為了使用過載 (3-6)，T 必須滿足 LessThanComparable 的要求。排序關係必須建立全序。

返回值

1) 如果 array 的內容相等，則為 true，否則為 false。

2) 如果 array 的內容不相等，則為 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()。

複雜度

與 array 的大小呈線性關係。

註解

關係運算符是根據元素型別的 operator< 定義的。	(C++20 前)
關係運算符是根據 synth-three-way 定義的，它儘可能使用 operator<=>，否則使用 operator<。 值得注意的是，如果元素本身不提供 operator<=>，但可以隱式轉換為三向可比較型別，則將使用該轉換而不是 operator<。	(C++20 起)

示例

執行此程式碼

#include <cassert>
#include <compare>
#include <array>
 
int main()
{
    const std::array
        a{1, 2, 3},
        b{1, 2, 3},
        c{7, 8, 9};
 
    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++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 3431	C++20	operator<=> 未要求 T 滿足 three_way_comparable	要求