std::is_move_constructible, std::is_trivially_move_constructible, std::is_nothrow_move_constructible

Defined in header `<type_traits>`
template< class T > struct is_move_constructible;	(1)	(since C++11)
template< class T > struct is_trivially_move_constructible;	(2)	(since C++11)
template< class T > struct is_nothrow_move_constructible;	(3)	(since C++11)

1) Checks whether a type is MoveConstructible, that is, can be constructed from rvalue argument. If the requirement is met, a member constant value equal to true is provided; otherwise the value is false.

2) Same as 1), but the move constructor expression does not call any operation that is not trivial.

3) Same as 1), but the move constructor expression is noexcept.

Inherited from std::integral_constant

Member constants

value

[static]

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

Member functions

operator bool	converts the object to bool, returns `value` (public member function)
operator() (C++14)	returns `value` (public member function)

Member types

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

[edit] Notes

Types without a move constructor, but with a copy constructor that accepts const T& arguments, satisfy std::is_move_constructible.

Move constructors are usually noexcept, since otherwise they are unusable in any code that provides strong exception guarantee.

[edit] Possible implementation

template<class T>
struct is_move_constructible :
      std::is_constructible<T, typename std::add_rvalue_reference<T>::type> {};
 
template<class T>
struct is_trivially_move_constructible :
     std::is_trivially_constructible<T, typename std::add_rvalue_reference<T>::type> {};
 
template<class T>
struct is_nothrow_move_constructible :
     std::is_nothrow_constructible<T, typename std::add_rvalue_reference<T>::type> {};

[edit] Example

Run this code

#include <iostream>
#include <type_traits>
 
struct Ex1 {
    std::string str; // member has a non-trivial but non-throwing move ctor
};
struct Ex2 {
    int n;
    Ex2(Ex2&&) = default; // trivial and non-throwing
};
struct NoMove {
    // prevents implicit declaration of default move constructor
    // however, the class is still move-constructible because its
    // copy constructor can bind to an rvalue argument
    NoMove(const NoMove&) {}
};
 
int main() {
    std::cout << std::boolalpha << "Ex1 is move-constructible? "
              << std::is_move_constructible<Ex1>::value << '\n'
              << "Ex1 is trivially move-constructible? "
              << std::is_trivially_move_constructible<Ex1>::value << '\n'
              << "Ex1 is nothrow move-constructible? "
              << std::is_nothrow_move_constructible<Ex1>::value << '\n'
              << "Ex2 is trivially move-constructible? "
              << std::is_trivially_move_constructible<Ex2>::value << '\n'
              << "Ex2 is nothrow move-constructible? "
              << std::is_nothrow_move_constructible<Ex2>::value << '\n';
 
    std::cout << std::boolalpha
              << "NoMove is move-constructible? "
              << std::is_move_constructible<NoMove>::value << '\n'
              << "NoMove is nothrow move-constructible? "
              << std::is_nothrow_move_constructible<NoMove>::value << '\n';
}

Output:

Ex1 is move-constructible? true
Ex1 is trivially move-constructible? false
Ex1 is nothrow move-constructible? true
Ex2 is trivially move-constructible? true
Ex2 is nothrow move-constructible? true
NoMove is move-constructible? true
NoMove is nothrow move-constructible? false

[edit] See also

is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)	checks if a type has a constructor for specific arguments (class template)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)	checks if a type has a default constructor (class template)
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)	checks if a type has a copy constructor (class template)
move_if_noexcept (C++11)	obtains an rvalue reference if the move constructor does not throw (function template)
std::experimental::is_move_constructible_v (library fundamentals TS)	variable template alias of `std::is_move_constructible::value` (variable template)
std::experimental::is_trivially_move_constructible_v (library fundamentals TS)	variable template alias of `std::is_trivially_move_constructible::value` (variable template)
std::experimental::is_nothrow_move_constructible_v (library fundamentals TS)	variable template alias of `std::is_nothrow_move_constructible::value` (variable 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)
Technical Specifications

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)
integer_sequence (C++14)
Swap, forward and move
swap
exchange (C++14)
forward (C++11)
move (C++11)
move_if_noexcept (C++11)
declval (C++11)