std::common_reference_with

template< class T, class U >
concept common_reference_with =
    std::same_as<std::common_reference_t<T, U>, std::common_reference_t<U, T>> &&
    std::convertible_to<T, std::common_reference_t<T, U>> &&
    std::convertible_to<U, std::common_reference_t<T, U>>;

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

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

T и U моделируют std::common_reference_with<T,U> только если для сохраняющих равенство выражений t1, t2, u1 и u2, таких что decltype((t1)) и decltype((t2)) являются T и decltype((u1)), а decltype((u2)) и 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]
• Стандарт C++20 (ISO/IEC 14882:2020):
• 18.4.5 Концепт common_reference_with [concept.commonref]

См. также