std::experimental::ranges::greater

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 TS)

庫基礎 (庫基礎 TS)

庫基礎 2 (庫基礎 TS v2)

庫基礎 3 (庫基礎 TS v3)

並行性擴充套件 (並行性 TS)

並行性擴充套件 2 (並行性 TS v2)

併發性擴充套件 (併發性 TS)

併發擴充套件 2 (併發 TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

數學特殊函式 (特殊函式 TR)

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

Ranges

概念

通用工具

迭代器

Ranges

演算法

 

通用工具庫

實用元件
swap	exchange
函式物件
invoke identity	equal_to not_equal_to	greater less	greater_equal less_equal
超程式設計和型別特徵
is_swappable_withis_swappable	is_nothrow_swappable_withis_nothrow_swappable	common_reference common_type
帶標籤的對和元組
TagSpecifier TaggedType	tagged tag specifiers	tagged_pair make_tagged_pair	tagged_tuple make_tagged_tuple

 

定義於標頭檔案 <experimental/ranges/functional>
template< class T = void >     requires StrictTotallyOrdered<T> ||              Same<T, void> ||              /* < 對兩個 const T 左值呼叫內建的指標比較運算子 */ struct greater;		(Ranges TS)
template<> struct greater<void>;		(Ranges TS)

用於執行比較的函式物件。主模板以反轉的引數順序呼叫型別為 T 的 const 左值的 operator<。特化 greater<void> 從引數推導函式呼叫運算子的引數型別（但不是返回型別）。

所有 greater 的特化都是 Semiregular。

成員型別

成員型別	定義
is_transparent (僅 greater<void> 特化的成員)	/* 未指定 */

成員函式

operator()

檢查第一個引數是否“大於”第二個引數 (公開成員函式)

std::experimental::ranges::greater::operator()

constexpr bool operator()(const T& x, const T& y) const;	(1)	(僅主 greater<T> 模板的成員)
template< class T, class U >     requires StrictTotallyOrderedWith<T, U> ||              /* std::declval<T>() < std::declval<U>() 解析為                 內建的指標比較運算子 */ constexpr bool operator()(T&& t, U&& u) const;	(2)	(僅 greater<void> 特化的成員)

1) 比較 x 和 y。等價於 return ranges::less<>{}(y, x);。

2) 比較 t 和 u。等價於 return ranges::less<>{}(std::forward<U>(u), std::forward<T>(t));。

註解

與 std::greater 不同，ranges::greater 要求所有六個比較運算子 <、<=、>、>=、== 和 != 都有效（透過 StrictTotallyOrdered 和 StrictTotallyOrderedWith 約束），並且完全是根據 ranges::less 定義的。然而，實現可以自由地直接使用 operator>，因為這些概念要求比較運算子的結果是一致的。

參閱

greater

實現 x > y 的函式物件 (類模板)