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.

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

См. также