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)
|
2つの型が同じかどうかをチェックする
(クラステンプレート) |