std::is_move_assignable, std::is_trivially_move_assignable, std::is_nothrow_move_assignable

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)

1) Checks whether a type is MoveAssignable, i.e. has an accessible explicit or implicit move assignment operator. If the requirement is met, a member constant value equal true is provided, otherwise value is false.

2) same as 1), but evaluation of the move-assignment expression will not call any operation that is not trivial.

3) same as 1), but the evaluation of the move-assignment expression will not call any operation that is not noexcept.

Inherited from std::integral_constant

Member constants

value

[static]

true if T is move-assignable, false otherwise
(public static member constant)

Member functions

operator bool

converts the object to bool, returns value
(public member function)

Member types

Type	Definition
`value_type`	`bool`
`type`	std::integral_constant<bool, value>

[edit] Possible implementation

template< class T>
struct is_move_assignable
    : std::is_assignable< typename std::add_lvalue_reference<T>::type,
                          typename std::add_rvalue_reference<T>::type> {};
 
template< class T>
struct is_trivially_move_assignable
    : std::is_trivially_assignable< typename std::add_lvalue_reference<T>::type,
                                    typename std::add_rvalue_reference<T>::type> {};
 
template< class T>
struct is_nothrow_move_assignable
    : std::is_nothrow_assignable< typename std::add_lvalue_reference<T>::type,
                                  typename std::add_rvalue_reference<T>::type> {};

[edit] Example

Run this code

#include <iostream>
#include <string>
#include <type_traits>
struct Foo { int n; };
int main() {
    std::cout << std::boolalpha
              << "std::string is nothrow move-assignable? "
              << std::is_nothrow_move_assignable<std::string>::value << '\n'
              << "int[2] is move-assignable? "
              << std::is_move_assignable<int[2]>::value << '\n'
              << "Foo is trivally move-assignable? "
              << std::is_trivially_move_assignable<Foo>::value << '\n';
}

Output:

std::string is nothrow move-assignable? true
int[2] is move-assignable? false
Foo is trivially move-assignable? true

[edit] See also

is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)	checks if a type has a assignment operator for a specific argument (class template)
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)	checks if a type has a copy assignment operator (class template)

Language
Standard library headers
Concepts
Utilities library
Strings library
Containers library
Algorithms library
Iterators library
Numerics library
Input/output library
Localizations library
Regular expressions library (C++11)
Atomic operations library (C++11)
Thread support library (C++11)

Type support (basic types, RTTI, type traits)
Dynamic memory management
Error handling
Program utilities
Variadic functions
Date and time
Function objects
initializer_list (C++11)
bitset
hash (C++11)
Relational operators
rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=
Pairs and tuples
pair
tuple (C++11)
piecewise_construct_t (C++11)
piecewise_construct (C++11)
Swap, forward and move
swap
forward (C++11)
move (C++11)
move_if_noexcept (C++11)
declval (C++11)