std::experimental::ranges::Relation

 

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 (concurrency TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

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

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

Ranges

概念

通用工具

迭代器

Ranges

演算法

 

概念庫

核心語言概念
相同 DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
物件概念
Destructible（可析構） Constructible DefaultConstructible（可預設構造）	MoveConstructible（可移動構造） CopyConstructible（可複製構造）	Movable Copyable	Semiregular Regular
比較概念
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
可呼叫概念
InvocableRegularInvocable	Predicate（謂詞）	Relation	StrictWeakOrder
URNG 概念
UniformRandomNumberGenerator

 

定義於標頭檔案 <experimental/ranges/concepts>
template< class R, class T, class U > concept bool Relation =     Predicate<R, T, T> &&     Predicate<R, U, U> &&     CommonReference<         const std::remove_reference_t<T>&,         const std::remove_reference_t<U>&> &&     Predicate<R,         ranges::common_reference_t<             const std::remove_reference_t<T>&,             const std::remove_reference_t<U>&>,         ranges::common_reference_t<             const std::remove_reference_t<T>&,             const std::remove_reference_t<U>&>> &&     Predicate<R, T, U> &&     Predicate<R, U, T>;	(1)	(ranges TS)

概念 Relation<R, T, U> 指定 R 定義了在其型別和值類別由 T 或 U 編碼的表示式集合上的二元關係。

給定

• r 是一個表示式，其 decltype((r)) 為 R，
• t 是一個表示式，其 decltype((t)) 為 T，
• u 是一個表示式，其 decltype((u)) 為 U，

並且令 C 為 ranges::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&>，

則 Relation<R, T, U> 僅在以下條件滿足時成立：

• bool(r(t, u)) == bool(r(C(t), C(u))) 和
• bool(r(u, t)) == bool(r(C(u), C(t))).