conceptcommon__with.html

template<typename T1, typename T2>

concept common_with =

        requires {

            typename common_type_t<T1, T2>;

            typename common_type_t<T2, T1>;

        } && same_as<common_type_t<T1, T2>, common_type_t<T2, T1>> &&

        requires {

            static_cast<common_type_t<T1, T2>>(_NEFORCE declval<T1>());

            static_cast<common_type_t<T1, T2>>(_NEFORCE declval<T2>());

        } && common_reference_with<add_lvalue_reference_t<const T1>, add_lvalue_reference_t<const T2>> &&

        common_reference_with<add_lvalue_reference_t<common_type_t<T1, T2>>,

                              common_reference_t<add_lvalue_reference_t<const T1>, add_lvalue_reference_t<const T2>>>

common_reference_with
检查两个类型是否有公共引用类型
定义 concepts.hpp:45

common_with
检查两个类型是否有公共类型
定义 concepts.hpp:65

same_as
检查两个类型是否完全相同
定义 concepts.hpp:31

add_lvalue_reference_t
typename add_reference< T >::lvalue add_lvalue_reference_t
add_lvalue_reference的便捷别名
定义 type_traits.hpp:1095

declval
add_rvalue_reference_t< T > declval() noexcept
获取类型的右值引用，仅用于非求值上下文

common_type_t
typename common_type< Types... >::type common_type_t
common_type的便捷别名
定义 type_traits.hpp:3633

common_reference_t
typename common_reference< Types... >::type common_reference_t
common_reference的便捷别名
定义 type_traits.hpp:3665