移动构造函数

类 T 的移动构造函数是非模板构造函数，其首参数是 T&& 、 const T&& 、 volatile T&& 或 const volatile T&& ，且无其他参数，或剩余参数均有默认值。

典型的移动构造函数“窃取”参数曾所保有的资源（例如指向动态分配对象的指针、文件描述符、 TCP 接头、 I/O 流、运行的线程等），而非复制它们，并令参数在某个合法但不确定的状态。例如，从 std::string 或从 std::vector 移动可以导致参数被置为空。然而不应依赖此行为。对于某些类型，例如 std::unique_ptr ，移动来源的状态是完全指定的。

[编辑] 隐式声明的移动构造函数

若不对类类型（ struct 、 class 或 union ）提供用户定义的移动构造函数，且下列所有为真：

无用户声明的复制构造函数；
无用户声明的复制赋值运算符；
无用户声明的移动赋值运算符；
无用户声明的析构函数；

隐式声明的移动构造函数不因详述于下一节的条件而定义为被删除，

(C++14 前)

则编译器将声明移动构造函数为其类的非 explicit 的 inline public 成员，带签名 T::T(T&&) 。

类能拥有多个移动构造函数，例如 T::T(const T&&) 和 T::T(T&&) 。若存在用户定义的移动构造函数，则用户仍可用关键词 default 强制编译器生成隐式声明的移动构造函数。

隐式声明（或在其首声明设为默认）的移动构造函数拥有描述于动态异常规定 (C++17 前)异常规定 (C++17 起)的异常规定。

[编辑] 被删除的隐式声明的移动构造函数

若下列任何为真，则定义类 T 的隐式声明或设为默认的移动构造函数为被删除：

T 有不能移动（有被删除、不可访问或有歧义的移动构造函数）的非静态数据成员；
T 有不能移动（有被删除、不可访问或有歧义的移动构造函数）的直接或虚基类；
T 有直接或虚基类，带被删除或不可访问的析构函数；
T 是类联合类，且拥有带非平凡移动构造函数的变体成员；

T 有数据成员或直接或虚基类，它不可平凡复制且无移动构造函数。

(C++14 前)

被删除的隐式声明的移动构造函数为重载决议所忽略（否则它会阻止从右值复制构造）。

(C++14 起)

[编辑] 平凡移动构造函数

若下列所有为真，则类 T 移动构造函数为平凡：

它不是用户提供的（表示是隐式定义或设为默认的）；
T 无虚成员函数；
T 无虚基类；
为 T 每个直接基类选择的移动构造函数为平凡；
为 T 的每个类类型（或类类型数组）非静态成员选择的移动构造函数为平凡；

T 无 volatile 限定类型的非静态数据成员。

(C++14 起)

平凡移动构造函数是进行与平凡复制构造函数相同动作的构造函数，即它进行如同用 std::memmove 的对象表示复制。所有与 C 兼容的数据类型（ POD 类型）是可平凡移动的。

[编辑] 隐式定义的移动构造函数

若隐式声明的移动构造函数既非被删除亦非平凡，则若被odr 使用，则它为编译器所定义（生成并编译函数体）。对于 union 类型，隐式定义的移动构造函数复制对象表示（如用 std::memmove ）。对于非联合类类型（ class 与 struct ），移动构造函数用以亡值参数执行的直接初始化，以其初始化顺序，进行基类和非静态成员的逐对象成员复制。

[编辑] 注意

为令强异常保证可行，用户定义的移动构造函数不应抛异常。例如， std::vector 在需要重新放置元素时，依赖 std::move_if_noexcept 在移动和复制间选择。

若一同提供复制和移动构造函数，则若参数是右值（如无名临时量的纯右值或如 std::move 结果的亡值），则重载决议选择移动构造函数，而若参数是左值（具名对象或返回左值引用的函数/运算符），则重载决议选择复制构造函数。若只提供复制构造函数，则所有参数类别都选择它（只要它接收到 const 的引用，因为右值能绑定到 const 引用，这使得在移动不可用时，复制为移动的备选。

许多情况下，移动赋值构造函数会被优化掉，即使它们会生成可观测副效应，见复制消除。

当接收右值引用为参数时，构造函数被称作‘移动构造函数’。它没有义务移动任何内容，不要求类拥有要被移动的资源，可允许‘移动构造函数’可能无法移动资源（尽管可能无意义）的情况是参数为 const 右值引用 (const T&&) 。

[编辑] 示例

运行此代码

#include <string>
#include <iostream>
#include <iomanip>
#include <utility>
 
struct A
{
    std::string s;
    A() : s("test") { }
    A(const A& o) : s(o.s) { std::cout << "move failed!\n"; }
    A(A&& o) noexcept : s(std::move(o.s)) { }
};
 
A f(A a)
{
    return a;
}
 
struct B : A
{
    std::string s2;
    int n;
    // 隐式移动构造函数 B::(B&&)
    // 调用 A 的移动构造函数
    // 调用 s2 的移动构造函数并进行 n 的逐位复制
};
 
struct C : B
{
    ~C() { } // 析构函数阻止隐式移动构造函数 C::(C&&)
};
 
struct D : B
{
    D() { }
    ~D() { }          // 析构函数会禁止隐式的移动构造函数 D::(D&&)
    D(D&&) = default; // 无论如何强制生成移动构造函数
};
 
int main()
{
    std::cout << "Trying to move A\n";
    A a1 = f(A()); // 从右值临时量移动构造
    A a2 = std::move(a1); // 从亡值移动构造
 
    std::cout << "Trying to move B\n";
    B b1;
    std::cout << "Before move, b1.s = " << std::quoted(b1.s) << "\n";
    B b2 = std::move(b1); // calls implicit move constructor
    std::cout << "After move, b1.s = " << std::quoted(b1.s) << "\n";
 
    std::cout << "Trying to move C\n";
    C c1;
    C c2 = std::move(c1); // 调用复制构造函数
 
    std::cout << "Trying to move D\n";
    D d1;
    D d2 = std::move(d1);
}

输出：

Trying to move A
Trying to move B
Before move, b1.s = "test"
After move, b1.s = ""
Trying to move C
move failed!
Trying to move D

语言
标准库头文件
概念
工具库
字符串库
容器库
算法库
迭代器库
数值库
输入/输出库
本地化库
正则表达式库 (C++11)
原子操作库 (C++11)
线程支持库 (C++11)
文件系统库 (C++17)
技术规范

概述
综述
class/struct 类型
union 类型
成员
数据成员
静态成员
`this` 指针
嵌套类
成员模板
位域
using 声明
成员函数
成员访问指定符
构造函数与成员初始化器列表
默认成员初始化器(C++11)
`friend` 指定符
`explicit` 指定符
转换构造函数
特殊成员函数
默认构造函数
复制构造函数
移动构造函数(C++11)
复制赋值运算符
移动赋值运算符(C++11)
析构函数
继承
基与导出类
虚成员函数
override(C++11)
final(C++11)
纯虚函数与抽象类


class_name ( class_name `&&` )	(1)	(C++11 起)

class_name ( class_name `&&` ) = default;	(2)	(C++11 起)

class_name ( class_name `&&` ) = delete;	(3)	(C++11 起)

cppreference.com

搜索

名字空间

变换

查看

操作