std::is_move_constructible、std::is_trivially_move_constructible、std::is_nothrow_move_constructible
来自 cppreference.com
| 定义在头文件 <type_traits> 中 |
||
| template< class T > struct is_move_constructible; |
(1) | (自 C++11 起) |
| template< class T > struct is_trivially_move_constructible; |
(2) | (自 C++11 起) |
| template< class T > struct is_nothrow_move_constructible; |
(3) | (自 C++11 起) |
| 类型特征 | 成员常量 value 的值 | |
|---|---|---|
T 是一个 可引用类型 |
T 不是一个可引用类型 | |
| (1) | std::is_constructible<T, T&&>::value | false |
| (2) | std::is_trivially_constructible<T, T&&>::value | |
| (3) | std::is_nothrow_constructible<T, T&&>::value | |
如果 T 不是一个完整类型，（可能具有 cv 限定符）void，或一个未知大小的数组，则行为是未定义的。
如果上面的模板实例化直接或间接依赖于一个不完整类型，并且如果该类型假设已完成，该实例化会产生不同的结果，则行为是未定义的。
如果程序为本页上描述的任何模板添加了特化，则行为是未定义的。
内容 |
[编辑] 辅助变量模板
| template< class T > inline constexpr bool is_move_constructible_v = |
(自 C++17 起) | |
| template< class T > inline constexpr bool is_trivially_move_constructible_v = |
(自 C++17 起) | |
| template< class T > inline constexpr bool is_nothrow_move_constructible_v = |
(自 C++17 起) | |
继承自 std::integral_constant
成员常量
| value [静态] |
true 如果 T 可移动构造，否则为 false(公共静态成员常量) |
成员函数
| operator bool |
将对象转换为 bool，返回 value (公共成员函数) |
| operator() (C++14) |
返回 value (公共成员函数) |
成员类型
| 类型 | 定义 |
value_type
|
bool |
type
|
std::integral_constant<bool, value> |
[编辑] 可能的实现
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> {}; |
[编辑] 注释
没有移动构造函数，但有接受 const T& 参数的复制构造函数的类型满足 std::is_move_constructible。
移动构造函数通常是 noexcept，因为否则它们在提供强异常保证的任何代码中都不可用。
在许多实现中，std::is_nothrow_move_constructible 还检查析构函数是否抛出异常，因为它实际上是 noexcept(T(arg))。同样适用于 std::is_trivially_move_constructible，在这些实现中，它也要求析构函数是平凡的：GCC 错误 51452，LWG 错误 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() {}
[编辑] 另请参见
| (C++11)(C++11)(C++11) |
检查类型是否具有针对特定参数的构造函数 (类模板) |
| 检查类型是否具有默认构造函数 (类模板) | |
| (C++11)(C++11)(C++11) |
检查类型是否具有复制构造函数 (类模板) |
| (C++20) |
指定类型对象可以进行移动构造 (概念) |
| (C++11) |
将参数转换为右值 (函数模板) |
| (C++11) |
如果移动构造函数不抛出异常，则将参数转换为右值 (函数模板) |
