common_reference_with 概念参考

检查两个类型是否有公共引用类型 更多...

#include <concepts.hpp>

概念定义

template<typename T1, typename T2>
concept common_reference_with =
        requires {
            typename common_reference_t<T1, T2>;
            typename common_reference_t<T2, T1>;
        } && same_as<common_reference_t<T1, T2>, common_reference_t<T2, T1>> &&
        convertible_to<T1, common_reference_t<T1, T2>> && convertible_to<T2, common_reference_t<T1, T2>>

详细描述

检查两个类型是否有公共引用类型

模板参数

T1	第一个类型
T2	第二个类型

要求：

1. T1和T2有公共引用类型
2. 公共引用类型对称
3. T1和T2都可以转换为公共引用类型

在文件 concepts.hpp 第 45 行定义.