std::experimental::ranges:: Same
| Technical Specification | ||||
| Filesystem library (filesystem TS) | ||||
| Library fundamentals (library fundamentals TS) | ||||
| Library fundamentals 2 (library fundamentals TS v2) | ||||
| Library fundamentals 3 (library fundamentals TS v3) | ||||
| Extensions for parallelism (parallelism TS) | ||||
| Extensions for parallelism 2 (parallelism TS v2) | ||||
| Extensions for concurrency (concurrency TS) | ||||
| Extensions for concurrency 2 (concurrency TS v2) | ||||
| Concepts (concepts TS) | ||||
| Ranges (ranges TS) | ||||
| Reflection (reflection TS) | ||||
| Mathematical special functions (special functions TR) | ||||
| Experimental Non-TS | ||||
| Pattern Matching | ||||
| Linear Algebra | ||||
| std::execution | ||||
| Contracts | ||||
| 2D Graphics |
| Core language concepts | ||||||||||||||||||
|
||||||||||||||||||
| Object concepts | ||||||||||||||||||
| Comparison concepts | ||||||||||||||||||
| Callable concepts | ||||||||||||||||||
| URNG concept | ||||||||||||||||||
|
Определено в заголовочном файле
<experimental/ranges/concepts>
|
||
|
template
<
class
T,
class
U
>
concept bool Same = std:: is_same < T, U > :: value ; // см. ниже |
(ranges TS) | |
Концепт
Same<T, U>
выполняется тогда и только тогда, когда
T
и
U
обозначают один и тот же тип.
Несмотря на то, что указано с его использованием, между Same < T, U > и std:: is_same < T, U > :: value не обязательно должно существовать отношение включения.
Для целей проверки ограничений, Same < T, U > подразумевает Same < U, T > .
Примечания
Дополнительное требование к проверке ограничений отличает
Same
от
std::is_same
.
Смотрите также
|
(C++11)
|
проверяет, являются ли два типа одинаковыми
(шаблон класса) |