std::experimental::ranges::Common

 

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

算法

 

概念库

核心语言概念
相同 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 T, class U > concept bool Common =     Same<ranges::common_type_t<T, U>, ranges::common_type_t<U, T>> &&     ConvertibleTo<T, ranges::common_type_t<T, U>> &&     ConvertibleTo<U, ranges::common_type_t<T, U>> &&     CommonReference<         std::add_lvalue_reference_t<const T>,         std::add_lvalue_reference_t<const U>> &&     CommonReference<         std::add_lvalue_reference_t<ranges::common_type_t<T, U>>,         ranges::common_reference_t<             std::add_lvalue_reference_t<const T>,             std::add_lvalue_reference_t<const U>>>;		(ranges TS)

概念 Common<T, U> 指定了两个类型 T 和 U 共享一个共同类型（由 ranges::common_type_t 计算），并且两者都可以转换为该共同类型。

Common<T, U> 仅当给定表达式 t 和 u 满足 decltype((t)) 是 T 且 decltype((u)) 是 U 时才满足：

• ranges::common_type_t<T, U>(t) 等于 ranges::common_type_t<T, U>(t) 当且仅当 t 是一个保持相等性的表达式；并且
• ranges::common_type_t<T, U>(u) 等于 ranges::common_type_t<T, U>(u) 当且仅当 u 是一个保持相等性的表达式。

换句话说，转换为共同类型不应改变原始表达式的相等性保持属性。

相等性保持

如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。

• 表达式的输入由其操作数组成。
• 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。

所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。

参阅

common_type	确定一组类型的公共类型 (类模板)
common_reference	确定一组类型的公共引用类型 (类模板)
CommonReference	指定两种类型共享一个共同的引用类型 (概念)