• 左值：赋值操作符左边的值，是可以被赋值的，通常是一个变量

  • 右值：赋值操作符右边的值，是一个常数、表达式、函数调用

    1
    2
    3
    4
    5
    6
    7
    int x = 5;
    int & y = x; // 可以把左值绑定在非const的引用上
    int & z = 5; 
    // 不可以把右值绑定在非const的引用上，因为右值通常是临时变量，不能
    // 修改临时变量的值，很可能已经被销毁了
    const int &u = 5; // 可以把右值绑定在常量引用上
    const int &u = x;

    右值引用可以绑定在右值上，不可以绑定在左值上。拷贝的代价很高

    1
    2
    3
    4
    string generate(){
        return string("test")
    }
    string S = generate(); // 返回的是右值，无法进行拷贝构造函数

    移动构造函数

    1
    2
    3
    4
    5
    6
    7
    string::string(string && s):p(s.p){
    	s.p = nullptr;
    }
    // 直接将s的指针赋值给当前对象的指针，在将原来s的指针置为空指针。因为不是
    // 多个s指向同一个指针，所以避免了二次释放的问题
    // 移动完后，指针要置为nullptr，不需要重新创建对象，也不需要进行
    // 拷贝，提高了效率
    1
    2
    3
    4
    string && s = generate();
    // 右值可以直接绑定到右值引用上
    // 引用就是变量的别名，持有了对这块内存的访问权限，可以对右值进行修改
    // 编译器保证持有该引用时，变量不会消亡

  • 没有自定义拷贝构造函数、拷贝赋值和析构函数时，会提供默认移动构造函数、移动赋值函数

  • 移动构造函数是为了降低拷贝的代价，一旦自定义了拷贝构造，就认为有些拷贝行为需要特殊处理，不能默认。

  • 定义了析构函数，意味着申请了额外的资源，需要如何拷贝、如何移动，编译器不知道，是不会提供默认的