std::common_reference_with
De cppreference.com
<tbody>
</tbody>
| Definido en el archivo de encabezado <concepts>
|
||
template <typename T, typename 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>>; |
(desde C++20) | |
El concepto common_reference_with<T, U> especifica que dos tipos T y U comparten un tipo común de referencia (computado por std::common_reference_t) al que ambos pueden ser convertidos.
T y U modelan common_reference_with<T, U> solamente si, dadas las expresiones conservadoras de igualdad t1, t2, u1 y u2 tales que decltype((t1)) y decltype((t2)) son ambas T y decltype((u1)) y decltype((u2)) son ambas U,
std::common_reference_t<T, U>(t1)es igual astd::common_reference_t<T, U>(