std::is_move_assignable, std::is_trivially_move_assignable, std::is_nothrow_move_assignable
From cppreference.com
Defined in header <type_traits>
|
||
template< class T > struct is_move_assignable; |
(1) | (since C++11) |
template< class T > struct is_trivially_move_assignable; |
(2) | (since C++11) |
template< class T > struct is_nothrow_move_assignable; |
(3) | (since C++11) |
Type trait | The value of the member constant value
| |
---|---|---|
T is a referenceable type
|
T is not a referenceable type
| |
(1) | std::is_assignable<T&, T&&>::value | false |
(2) | std::is_trivially_assignable<T&, T&&>::value | |
(3) | std::is_nothrow_assignable<T&, T&&>::value |
If T
is not a complete type, (possibly cv-qualified) void, or an array of unknown bound, the behavior is undefined.
If an instantiation of a template above depends, directly or indirectly, on an incomplete type, and that instantiation could yield a different result if that type were hypothetically completed, the behavior is undefined.
If the program adds specializations for any of the templates described on this page, the behavior is undefined.
Contents |
[edit] Helper variable templates
template< class T > inline constexpr bool is_move_assignable_v = |
(since C++17) | |
template< class T > inline constexpr bool is_trivially_move_assignable_v = |
(since C++17) | |
template< class T > inline constexpr bool is_nothrow_move_assignable_v = |
(since C++17) | |