std::experimental::ranges::Common

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (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

契约

二维图形

 

范围

概念

通用实用程序

迭代器

范围

算法

 

概念库

核心语言概念
相同 派生自 可转换为	公共引用 公共	整数 带符号整数 无符号整数	可分配 可交换可与交换
对象概念
可销毁 可构造 默认可构造	可移动构造 可复制构造	可移动 可复制	半正则 正则
比较概念
布尔值	弱相等可比较	相等可比较与相等可比较	严格全序与严格全序
可调用概念
可调用正则可调用	谓词	关系	严格弱序
URNG 概念
均匀随机数生成器

 

定义在头文件 <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>>>;		(范围 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	确定一组类型的公共引用类型 (类模板)
公共引用	指定两种类型共享一个公共引用类型 (概念)