std::experimental::ranges::Common

 

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)

实验性非 TS 功能特性

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用工具

迭代器

范围

算法

 

概念库

核心语言概念
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 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，

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

换言之，到公共类型的转换必须不改变原表达式的相等性保持属性。

相等性保持

若表达式对给定的相等输入产生相等输出，则它保持相等性。

• 表达式的输入由其操作数组成。
• 表达式的输出由其结果和表达式所修改的所有操作数（若存在）组成。

每个要求保持相等性的表达式还进一步要求是稳定的：以相同输入对象对这种表达式进行两次求值必须拥有相等的输出，而无任何对这些输入对象的显式中间修改。

参阅

common_type	确定类型集合的公共类型 (类模板)
common_reference	确定类型集合的公共引用类型 (类模板)
CommonReference	指定两个类型共有一个公共引用类型 (概念)