C++ 命名要求： MoveConstructible (自 C++11 起)
来自 cppreference.cn
指定类型的实例可以从右值参数构造。
目录 |
[编辑] 要求
如果类型 T 满足 MoveConstructible 要求，则
给定
-
rv，类型T的右值表达式， -
u，任意标识符。
以下表达式必须有效并具有指定的效果。
| 表达式 | 后置条件 |
|---|---|
| T u = rv; | u 的值等价于初始化前 rv 的值。
|
| T(rv) | T(rv) 的值等价于初始化前 rv 的值。
|
[编辑] 注解
类不必实现移动构造函数来满足此类型要求：接受 const T& 参数的复制构造函数可以绑定右值表达式。
如果 MoveConstructible 类实现了移动构造函数，它也可以实现移动语义，以利用构造后 rv 的值未指定这一事实。
| 扩展内容 |
|---|
|
成为 MoveConstructible 类意味着 std::is_move_constructible，但反之不然，因为 std::is_move_constructible 只会检查是否能够使用正确的参数调用构造函数，而不是后置条件值。 运行此代码 #include <iostream> struct S { int n; S(int in) : n{in} {} S(S&& other) { n = other.n + 1; } }; static_assert(std::is_move_constructible_v<S>); int main() { S v{1}; std::cout << "v.n = " << v.n << '\n'; S u = std::move(v); // Class `S` doesn't satisfy a MoveConstructible requirement // The value of `u` is NOT equivalent to the value of `v` before the `u` initialization std::cout << "u.n = " << u.n << '\n'; } 输出 v.n = 1 u.n = 2 |
[编辑] 参考
| 扩展内容 |
|---|
|
[编辑] 参见
| (C++11)(C++11)(C++11) |
检查类型是否可以从右值引用构造 (类模板) |
| (C++20) |
指定类型的对象可以被移动构造 (概念) |
