std::is_swappable_with, std::is_swappable, std::is_nothrow_swappable_with, std::is_nothrow_swappable
提供: cppreference.com
| ヘッダ <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; 後の未評価文脈で well-formed であれば (Swappable を参照)、 true に等しいメンバ定数
value が提供されます。 そうでなければ、 value は false です。 アクセスチェックはいずれの型とも無関係な文脈からであるかのように行われます。2)
T が参照可能な型でなければ (つまり、 void、 cv 修飾された void、 cv-qualifier-seq または ref-qualifier 付きの関数型)、 false に等しいメンバ定数 value が提供されます。 そうでなければ、 std::is_swappable_with<T&, T&>::value に等しいメンバ定数 value が提供されます。3) (1) と同じですが、 (1) 内の両方の式の評価は例外を投げないと判明しています。
4) (2) と同じですが、 is_nothrow_swappable_with が使用されます。
T および U はいずれも完全型 (またはその cv 修飾された型)、 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 [静的] |
T が U と swap 可能ならば true、そうでなければ 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 はコンパイルできないことがあります。
[編集] 例
| This section is incomplete Reason: no example |
[編集] 関連項目
| 2つのオブジェクトの値を入れ替えます (関数テンプレート) | |
| (C++11)(C++11)(C++11) |
型がムーブ代入演算子を持っているかどうか調べます (クラステンプレート) |
