std::common_reference_with (自 C++20 起)
来自 cppreference.com
在头文件 <concepts> 中定义 |
||
template< class T, class U > concept common_reference_with = |
(自 C++20 起) | |
概念 common_reference_with<T, U>
指定两个类型 T
和 U
共享一个公共引用类型(如 std::common_reference_t 计算的那样),这两个类型都可以转换为该类型。
[编辑] 语义要求
只有当给定 保持相等 的表达式 t1
、t2
、u1
和 u2
,使得 decltype((t1)) 和 decltype((t2)) 都是 T
,并且 decltype((u1)) 和 decltype((u2)) 都是 U
时,T
和 U
才符合 std::common_reference_with<T, 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
。
换句话说,转换为公共引用类型必须保持相等。
[编辑] 参考文献
- C++23 标准(ISO/IEC 14882:2024)
- 18.4.5 概念
common_reference_with
[concept.commonref]
- 18.4.5 概念
- C++20 标准(ISO/IEC 14882:2020)
- 18.4.5 概念
common_reference_with
[concept.commonref]
- 18.4.5 概念
[编辑] 另请参阅
确定一组类型的公共引用类型 (类模板) | |
(C++20) |
指定两个类型共享一个公共类型 (概念) |
(C++11) |
确定一组类型的公共类型 (类模板) |