std::equal_to, not_equal_to, less, greater, less_equal, greater_equal(std::experimental::propagate_const)

 

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 圖形

 

庫基礎 v2

experimental::propagate_const

experimental::not_fn

experimental::observer_ptr

experimental::make_array

experimental::to_array

experimental::ostream_joiner

experimental::gcd

experimental::lcm

experimental::source_location

experimental::randint

檢測慣用法

統一容器擦除

邏輯運算子型別特徵

 

std::experimental::propagate_const

成員函式

propagate_const::propagate_const

propagate_const::operator=

propagate_const::swap

觀察器

propagate_const::get

propagate_const::operator bool

propagate_const::operator*propagate_const::operator->

propagate_const::operator element_type*propagate_const::operator const element_type*

非成員函式

operator==operator!=operator<operator>operator<=operator>operator>=

swap

get_underlying

輔助類

std::hash

std::equal_tostd::not_equal_tostd::lessstd::greaterstd::less_equalstd::greater_equal

 

定義於標頭檔案 <experimental/propagate_const>
template< class T > struct equal_to<std::experimental::propagate_const<T>>;		(庫基礎 TS v2)
template< class T > struct not_equal_to<std::experimental::propagate_const<T>>;		(庫基礎 TS v2)
template< class T > struct less<std::experimental::propagate_const<T>>;		(庫基礎 TS v2)
template< class T > struct greater<std::experimental::propagate_const<T>>;		(庫基礎 TS v2)
template< class T > struct less_equal<std::experimental::propagate_const<T>>;		(庫基礎 TS v2)
template< class T > struct greater_equal<std::experimental::propagate_const<T>>;		(庫基礎 TS v2)

標準比較函式物件針對 std::experimental::propagate_const<T> 進行了部分特化。

令 p.t_ 表示由 std::experimental::propagate_const<T> p 包裝的類指標物件，那麼給定型別為 std::experimental::propagate_const<T> 的物件 p 和 q，應滿足以下條件：

• std::equal_to<std::experimental::propagate_const<T>>()(p, q) == std::equal_to<T>()(p.t_, q.t_)
• std::not_equal_to<std::experimental::propagate_const<T>>()(p, q) == std::not_equal_to<T>()(p.t_, q.t_)
• std::less<std::experimental::propagate_const<T>>()(p, q) == std::less<T>()(p.t_, q.t_)
• std::greater<std::experimental::propagate_const<T>>()(p, q) == std::greater<T>()(p.t_, q.t_)
• std::less_equal<std::experimental::propagate_const<T>>()(p, q) == std::less_equal<T>()(p.t_, q.t_)
• std::greater_equal<std::experimental::propagate_const<T>>()(p, q) == std::greater_equal<T>()(p.t_, q.t_)

注意

這些特化確保當 T 是指標型別時，這些類模板對 std::experimental::propagate_const<T> 的特化會產生一個全序關係，即使相應的內建運算子不產生全序關係。

參閱

equal_to	實現 x == y 的函式物件 (類模板)
not_equal_to	實現 x != y 的函式物件 (類模板)
less	實現 x < y 的函式物件 (類模板)
greater	實現 x > y 的函式物件 (類模板)
less_equal	實現 x <= y 的函式物件 (類模板)
greater_equal	實現 x >= y 的函式物件 (類模板)