std::common_reference_with_C++中文网
| template < class T, class U > concept common_reference_with = |
(C++20 起) | |
概念 common_reference_with<T, U> 指定二个类型 T 与 U 共享均能转换到的共用引用类型（以 std::common_reference_t 计算）。
语义要求
T 与 U 实现 common_reference_with<T, U> ，仅若给定保持相等性的表达式 t1 、 t2 、 u1 及 u2 ，且它们满足 decltype((t1)) 与 decltype((t2)) 均为 T 而 decltype((u1)) 与 decltype((u2)) 均为 U ，且
- std::common_reference_t<T, U>(t1) 等于 std::common_reference_t<T, U>(t2) 当且仅当
t1等于t2；而 - std::common_reference_t<T, U>(u1) 等于 std::common_reference_t<T, U>(u2) 当且仅当
u1等于u2。
换言之，转换到共用引用类型必须保持相等性。
相等性保持
若表达式对给定的相等输入产生相等输出，则它保持相等性。
- 表达式的输入由其运算数组成。
- 表达式的输出由其结果和表达式所修改的所有运算数（若存在）组成。
进一步要求每个要求保持相等性的表达式都稳定：这种表达式带相同输入对象的二次求值必须拥有相等的输出，而无任何对这些输入对象的显式中间修改。