std:: is_assignable, std:: is_trivially_assignable, std:: is_nothrow_assignable
|
ヘッダーで定義
<type_traits>
|
||
|
template
<
class
T,
class
U
>
struct is_assignable ; |
(1) | (C++11以降) |
|
template
<
class
T,
class
U
>
struct is_trivially_assignable ; |
(2) | (C++11以降) |
|
template
<
class
T,
class
U
>
struct is_nothrow_assignable ; |
(3) | (C++11以降) |
T
または
U
が完全型でない場合、(possibly cv-qualified)
void
または不明な境界の配列である場合、動作は未定義です。
上記のテンプレートのインスタンス化が、直接的または間接的に不完全型に依存しており、その型が仮に完全化された場合に異なる結果をもたらす可能性がある場合、その動作は未定義です。
プログラムがこのページで説明されているテンプレートのいずれかに対する特殊化を追加する場合、動作は未定義です。
目次 |
ヘルパー変数テンプレート
|
template
<
class
T,
class
U
>
constexpr bool is_assignable_v = is_assignable < T, U > :: value ; |
(C++17以降) | |
|
template
<
class
T,
class
U
>
constexpr bool is_trivially_assignable_v = is_trivially_assignable < T, U > :: value ; |
(C++17以降) | |
|
template
<
class
T,
class
U
>
constexpr bool is_nothrow_assignable_v = is_nothrow_assignable < T, U > :: 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 > |
注記
この特性は代入式の直接的なコンテキスト外のチェックは行いません：
T
または
U
の使用がテンプレートの特殊化、暗黙的に定義される特殊メンバ関数の生成などを引き起こし、それらにエラーがある場合、
std
::
is_assignable
<
T,U
>
::
value
がコンパイルされ
true
と評価される場合でも、実際の代入はコンパイルに失敗する可能性があります。
例
#include <iostream> #include <string> #include <type_traits> struct Ex1 { int n; }; int main() { std::cout << std::boolalpha << "int is assignable from int? " << std::is_assignable<int, int>::value << '\n' // 1 = 1; wouldn't compile << "int& is assignable from int? " << std::is_assignable<int&, int>::value << '\n' // int a; a = 1; works << "int is assignable from double? " << std::is_assignable<int, double>::value << '\n' << "int& is nothrow assignable from double? " << std::is_nothrow_assignable<int&, double>::value << '\n' << "string is assignable from double? " << std::is_assignable<std::string, double>::value << '\n' << "Ex1& is trivially assignable from const Ex1&? " << std::is_trivially_assignable<Ex1&, const Ex1&>::value << '\n'; }
出力:
int is assignable from int? false int& is assignable from int? true int is assignable from double? false int& is nothrow assignable from double? true string is assignable from double? true Ex1& is trivially assignable from const Ex1&? true
関連項目
|
(C++11)
(C++11)
(C++11)
|
型がコピー代入演算子を持つかどうかをチェックする
(クラステンプレート) |
|
(C++11)
(C++11)
(C++11)
|
型がムーブ代入演算子を持つかどうかをチェックする
(クラステンプレート) |
|
(C++20)
|
型が他の型から代入可能であることを指定する
(コンセプト) |