[concept.same] (original) (raw)

18 Concepts library [concepts]

18.4.2 Concept same_as [concept.same]

🔗

template<class T, class U> concept [_same-as-impl_](#concept:same-as-impl "18.4.2 Concept same_­as [concept.same]") = [is_same_v](meta.type.synop#lib:is%5Fsame%5Fv "21.3.3 Header <type_­traits> synopsis [meta.type.synop]")<T, U>; // _exposition only_ template<class T, class U> concept [same_as](#concept:same%5Fas "18.4.2 Concept same_­as [concept.same]") = [_same-as-impl_](#concept:same-as-impl "18.4.2 Concept same_­as [concept.same]")<T, U> && [_same-as-impl_](#concept:same-as-impl "18.4.2 Concept same_­as [concept.same]")<U, T>;

1

#

[Note 1:

same_as<T, U> subsumes same_as<U, T> and vice versa.

— _end note_]