std::experimental::ranges::Relation

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

 

范围

概念

通用工具

迭代器

范围

算法

 

概念库

核心语言概念
Same 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 =   ranges::Predicate<R, T, T> &&   ranges::Predicate<R, U, U> &&   ranges::CommonReference<     const std::remove_reference_t<T>&,     const std::remove_reference_t<U>&> &&   ranges::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>&>> &&   ranges::Predicate<R, T, U> &&   ranges::Predicate<R, U, T>;	(1)	(范围 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)))

才得到满足