std::common_with

template< class T, class U >
concept common_with =
    std::same_as<std::common_type_t<T, U>, std::common_type_t<U, T>> &&
    requires {
        static_cast<std::common_type_t<T, U>>(std::declval<T>());
        static_cast<std::common_type_t<T, U>>(std::declval<U>());
    } &&
    std::common_reference_with<
        std::add_lvalue_reference_t<const T>,
        std::add_lvalue_reference_t<const U>> &&
    std::common_reference_with<
        std::add_lvalue_reference_t<std::common_type_t<T, U>>,
        std::common_reference_t<
            std::add_lvalue_reference_t<const T>,
            std::add_lvalue_reference_t<const U>>>;

Концепция common_with<T, U> указывает, что два типа T и U имеют общий тип (вычисленный с помощью std::common_type_t), в который оба могут быть преобразованы.

Семантические требования

Тип T и U моделирует std::common_with<T, U> только если, учитывая сохраняющие равенство выражения t1, t2, u1 и u2, такие что decltype((t1)) и decltype((t2)) оба являются T и decltype((u1)) и decltype((u2)) оба являются U,

• std::common_type_t<T, U>(t1) равно std::common_type_t<T, U>(t2) тогда и только тогда, когда t1 равно t2; и
• std::common_type_t<T, U>(u1) равно std::common_type_t<T, U>(u2) тогда и только тогда, когда u1 равно u2.

Другими словами, преобразование к общему типу должно сохранять равенство.

Сохранение равенства

Выражения, объявленные в выражениях requires концепций стандартной библиотеки, должны быть сохраняющими равенство (за исключением случаев, когда указано иначе).

См. также