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-выражениях концептов стандартной библиотеки, должны сохранять равенство (за исключением случаев, когда указано иное).

Ссылки

• Стандарт C++23 (ISO/IEC 14882:2024):
• 18.4.6 Концепт common_with [concept.common]
• Стандарт C++20 (ISO/IEC 14882:2020):
• 18.4.6 Концепт common_with [concept.common]

См. также