Namespaces
Variants

std:: is_swappable_with, std:: is_swappable, std:: is_nothrow_swappable_with, std:: is_nothrow_swappable

From cppreference.net
C++
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Type properties
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Type trait constants
(C++11) (C++17) (C++11) (C++11)
Metafunctions
(C++17)
(C++17)
(C++17)
Supported operations
(C++11) (C++11) (C++11)
(C++11) (C++11) (C++11)
(C++11) (C++11) (C++11)
(C++11)
is_swappable_with is_swappable is_nothrow_swappable_with is_nothrow_swappable
(C++17) (C++17) (C++17) (C++17)

Relationships and property queries
Type modifications
Type transformations
(C++11) (deprecated in C++23)
(C++11) (deprecated in C++23)
(C++11)
(C++20)
(C++11) ( until C++20* ) (C++17)

Compile-time rational arithmetic
Compile-time integer sequences
(C++14)
ヘッダーで定義 <type_traits>
template < class T, class U >
struct is_swappable_with ;
(1) (C++17以降)
template < class T >
struct is_swappable ;
(2) (C++17以降)
template < class T, class U >
struct is_nothrow_swappable_with ;
(3) (C++17以降)
template < class T >
struct is_nothrow_swappable ;
(4) (C++17以降)
1) 式 swap ( std:: declval < T > ( ) , std:: declval < U > ( ) ) および swap ( std:: declval < U > ( ) , std:: declval < T > ( ) ) が両方とも未評価文脈において using std:: swap ; の後（ Swappable を参照）で適正な形式である場合、メンバー定数 value を true に設定する。そうでない場合、 value は false となる。
Access checks は、いずれの型にも関連しないコンテキストからの場合と同様に実行されます。
3) (1) と同様ですが、 (1) の両方の式の評価が例外を投げないことが既知である場合です。
型特性 メンバ定数 value の値
T が 参照可能な型 の場合 T が参照可能な型でない場合
(2) std :: is_swappable_with < T & , T & > :: value false
(4) std :: is_nothrow_swappable_with < T & , T & > :: value

T または U が完全型でない場合、(possibly cv-qualified) void または不明な境界の配列である場合、動作は未定義です。

上記のテンプレートのインスタンス化が、直接的または間接的に不完全型に依存しており、その型が仮に完全化された場合に異なる結果をもたらす可能性がある場合、その動作は未定義です。

プログラムがこのページで説明されているテンプレートのいずれかに対する特殊化を追加する場合、動作は未定義です。

目次

ヘルパー変数テンプレート

template < class T, class U >
inline constexpr bool is_swappable_with_v = is_swappable_with < T, U > :: value ;
(C++17以降)
template < class T >
inline constexpr bool is_swappable_v = is_swappable < T > :: value ;
(C++17以降)
template < class T, class U >

inline constexpr bool is_nothrow_swappable_with_v =

is_nothrow_swappable_with < T, U > :: value ;
(C++17以降)
template < class T >

inline constexpr bool is_nothrow_swappable_v =

is_nothrow_swappable < T > :: value ;
(C++17以降)

std:: integral_constant から継承

メンバ定数

value
[static]
true （ T が U と交換可能な場合）、 false （それ以外の場合）
(公開静的メンバ定数)

メンバ関数

operator bool
オブジェクトを bool に変換し、 value を返す
(公開メンバ関数)
operator()
(C++14)
value を返す
(公開メンバ関数)

メンバ型

型 定義
value_type bool
type std:: integral_constant < bool , value >

注記

この特性は、swap式の直接的なコンテキスト外の内容をチェックしません： T または U の使用がテンプレート特殊化、暗黙的に定義される特殊メンバ関数の生成などをトリガーし、それらにエラーがある場合、 std :: is_swappable_with < T, U > :: value がコンパイルされ true と評価される場合でも、実際のswapはコンパイルに失敗する可能性があります。

例

このセクションは不完全です
理由: 例がありません

関連項目

2つのオブジェクトの値を交換する
(関数テンプレート)
(C++11) (C++11) (C++11)
型がムーブ代入演算子を持つかどうかをチェックする
(クラステンプレート)
(C++20)
型が交換可能であるか、または2つの型が互いに交換可能であることを指定する
(コンセプト)