类模板
<type_traits>
std::is_move_constructible
template <class T> struct is_move_constructible;
可移动构造 (Is move constructible)
用于识别T是可移动构造 (move constructible) 的类型。
可移动构造类型 (move constructible type) 是可以从其类型的右值引用构造的类型。这包括 标量类型 (scalar types) 和可移动构造类 (move constructible classes)。
可移动构造类 (move constructible class) 是具有移动构造函数(隐式或自定义)或者其复制构造函数会为右值引用被调用的类(除非类具有被删除的移动构造函数 (move constructor),否则这些构造函数总是被调用)。
请注意,这意味着所有可复制构造 (copy-constructible) 的类型也都是可移动构造 (move-constructible) 的。
要放回的字符的is_move_constructible类继承自integral_constant,其值为true_type或false_type,取决于T可移动构造。
模板参数
- T
- 一个完整类型,或者void(可能带 cv 限定),或者一个未知边界的数组。
示例
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
|
// is_move_constructible example
#include <iostream>
#include <type_traits>
struct A { };
struct B { B(B&&) = delete; };
int main() {
std::cout << std::boolalpha;
std::cout << "is_move_constructible:" << std::endl;
std::cout << "int: " << std::is_move_constructible<int>::value << std::endl;
std::cout << "A: " << std::is_move_constructible<A>::value << std::endl;
std::cout << "B: " << std::is_move_constructible<B>::value << std::endl;
return 0;
}
|
输出
is_move_constructible:
int: true
A: true
B: false
|