std::experimental::ranges::CommonReference

定义于头文件 `<experimental/ranges/concepts>`
template< class T, class U > concept bool CommonReference = Same<ranges::common_reference_t<T, U>, ranges::common_reference_t<U, T>> && ConvertibleTo<T, ranges::common_reference_t<T, U>> && ConvertibleTo<U, ranges::common_reference_t<T, U>>;		(ranges TS)

概念 CommonReference<T, U> 规定了两种类型 T 和 U 共享一个共同引用类型 (由 ranges::common_reference_t 计算得出)，它们都可以转换为该类型。

只有当给定表达式 t 和 u，使得 decltype((t)) 为 T 且 decltype((u)) 为 U 时，CommonReference<T, U> 才满足：

ranges::common_reference_t<T, U>(t) 等于 ranges::common_reference_t<T, U>(t) 当且仅当 t 是一个保等表达式；并且
ranges::common_reference_t<T, U>(u) 等于 ranges::common_reference_t<T, U>(u) 当且仅当 u 是一个保等表达式。

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

如果一个表达式在给定相等输入时产生相等输出，则该表达式是保等的。

每个需要保等的表达式都进一步要求是稳定的：在没有任何显式干预修改这些输入对象的情况下，使用相同的输入对象对这样的表达式进行两次求值必须具有相等的输出。

技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行扩展 (parallelism TS)
并行扩展 2 (parallelism TS v2)
并发扩展 (concurrency TS)
并发扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非TS
模式匹配
线性代数
std::execution
契约
2D图形