std::experimental::ranges:: Same
|
Défini dans l'en-tête
<experimental/ranges/concepts>
|
||
|
template
<
class
T,
class
U
>
concept bool Same = std:: is_same < T, U > :: value ; // voir ci-dessous |
(ranges TS) | |
Le concept
Same<T, U>
est satisfait si et seulement si
T
et
U
désignent le même type.
Bien qu'il soit spécifié en l'utilisant, il n'est pas nécessaire qu'il y ait une relation de subsomption entre Same < T, U > et std:: is_same < T, U > :: value .
Pour les besoins de la vérification des contraintes, Same < T, U > implique Same < U, T > .
Notes
L'exigence supplémentaire concernant la vérification des contraintes différencie
Same
de
std::is_same
.
Voir aussi
|
(C++11)
|
vérifie si deux types sont identiques
(modèle de classe) |