| Type traits | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time rational arithmetic | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time integer sequences | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(C++14) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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) |
| Type trait | The value of the member constantvalue | |
|---|---|---|
T is areferenceable type | T is not a referenceable type | |
| (1) | std::is_constructible<T, T&&>::value | false |
| (2) | std::is_trivially_constructible<T, T&&>::value | |
| (3) | std::is_nothrow_constructible<T, T&&>::value | |
IfT 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 |
template<class T> inlineconstexprbool is_move_constructible_v= | (since C++17) | |
template<class T> inlineconstexprbool is_trivially_move_constructible_v= | (since C++17) | |
template<class T> inlineconstexprbool is_nothrow_move_constructible_v= | (since C++17) | |
value [static] | true ifT is move-constructible,false otherwise(public static member constant) |
operator bool | converts the object tobool, returnsvalue (public member function) |
operator() (C++14) | returnsvalue (public member function) |
| Type | Definition |
value_type | bool |
type | std::integral_constant<bool, value> |
template<class T>struct is_move_constructible:std::is_constructible<T,typenamestd::add_rvalue_reference<T>::type>{}; template<class T>struct is_trivially_move_constructible:std::is_trivially_constructible<T,typenamestd::add_rvalue_reference<T>::type>{}; template<class T>struct is_nothrow_move_constructible:std::is_nothrow_constructible<T,typenamestd::add_rvalue_reference<T>::type>{}; |
Types without a move constructor, but with a copy constructor that acceptsconst T& arguments, satisfystd::is_move_constructible.
Move constructors are usually noexcept, since otherwise they are unusable in any code that provides strong exception guarantee.
In many implementations,std::is_nothrow_move_constructible also checks if the destructor throws because it is effectivelynoexcept(T(arg)). Same applies tostd::is_trivially_move_constructible, which, in these implementations, also requires that the destructor is trivial:GCC bug 51452,LWG issue 2116.
#include <string>#include <type_traits> struct Ex1{std::string str;// member has a non-trivial but non-throwing move constructor};static_assert(std::is_move_constructible_v<Ex1>);static_assert(!std::is_trivially_move_constructible_v<Ex1>);static_assert(std::is_nothrow_move_constructible_v<Ex1>); struct Ex2{int n; Ex2(Ex2&&)=default;// trivial and non-throwing};static_assert(std::is_move_constructible_v<Ex2>);static_assert(std::is_trivially_move_constructible_v<Ex2>);static_assert(std::is_nothrow_move_constructible_v<Ex2>); struct NoMove1{// prevents implicit declaration of default move constructor;// however, the class is still move-constructible because its// copy constructor can bind to an rvalue argument NoMove1(const NoMove1&){}};static_assert(std::is_move_constructible_v<NoMove1>);static_assert(!std::is_trivially_move_constructible_v<NoMove1>);static_assert(!std::is_nothrow_move_constructible_v<NoMove1>); struct NoMove2{// Not move-constructible since the lvalue reference// can't bind to the rvalue argument NoMove2(NoMove2&){}};static_assert(!std::is_move_constructible_v<NoMove2>);static_assert(!std::is_trivially_move_constructible_v<NoMove2>);static_assert(!std::is_nothrow_move_constructible_v<NoMove2>); int main(){}
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 2196 | C++11 | the behavior was unclear ifT&& cannot be formed | the value produced isfalse in this case |
(C++11)(C++11)(C++11) | checks if a type has a constructor for specific arguments (class template)[edit] |
| checks if a type has a default constructor (class template)[edit] | |
(C++11)(C++11)(C++11) | checks if a type has a copy constructor (class template)[edit] |
(C++20) | specifies that an object of a type can be move constructed (concept)[edit] |
(C++11) | converts the argument to an xvalue (function template)[edit] |
(C++11) | converts the argument to an xvalue if the move constructor does not throw (function template)[edit] |
