std::same_as

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

コンセプトライブラリ

コア言語のコンセプト same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

比較のコンセプト equality_comparableequality_comparable_with totally_orderedtotally_ordered_with オブジェクトのコンセプト movable copyable semiregular regular 呼び出し可能のコンセプト invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

ヘッダ <concepts> で定義
template<class T, class U > concept same_as =/* see below */;		(C++20以上)

コンセプト same_as<T, U> は、 T と U が同じ型を表す場合に限り、満たされます。

std::same_as<T, U> は std::same_as<U, T> を含み、逆も同様です。

実装例

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

関連項目

is_same (C++11)

2つの型が同じかどうか調べます (クラステンプレート)