std::experimental::ranges::Common

定义于头文件 `<experimental/ranges/concepts>`
template< class T, class U > 概念 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 计算得出），它们都可以转换为该类型。

仅当给定表达式 t 和 u，使得 decltype((t)) 为 T 且 decltype((u)) 为 U 时，Common<T, 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 是一个保等式表达式。

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

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

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

技术规范
文件系统库 (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图形