Espacios de nombres
Variantes

std::same_as

De cppreference.com
<tbody> </tbody>
Definido en el archivo de encabezado <concepts>
template <typename T, typename U> concept same_as = /* ver abajo */;
(desde C++20)

El concepto same_as<T, U> se satisface si y solo si T y U denotan el mismo tipo.

std::same_as<T, U> subsume a std::same_as<U, T> y viceversa.

Implementación posible

namespace detail {
    template<typename T, typename U>
    concept SameHelper = std::is_same_v<T, U>;
}

template<typename T, typename U>
concept same_as = detail::SameHelper<T, U> && detail::SameHelper<U, T>;

Véase también

(C++11)
Comprueba si dos tipos son los mismos
(plantilla de clase) [editar]