掌握 C++ 中的 右值引用

特点：

• 不可取地址（&5 是非法的）
• 只能出现在表达式右侧
• 无法被赋值

// 纯右值示例
int x = 5;        // 5是纯右值
int y = x + 10;   // x+10是纯右值
int z = max(a,b); // max(a,b)返回值是纯右值
auto p = new int; // new int返回的指针是纯右值

特点：

• 表示资源即将释放
• 可以被移动构造/赋值
• 通常由std::move产生

// 亡值示例
std::string str = "hello";
std::string&& r = std::move(str); // std::move(str)是亡值
auto v = std::vector{1, 2, 3};
processVector(std::move(v));      // std::move(v)是亡值

移动构造函数示例

class MyString {
private:
    char* data;
    size_t length;

public:
    // 构造函数
    MyString(const char* str) {
        length = strlen(str);
        data = new char[length + 1];
        memcpy(data, str, length + 1);
    }

    // 拷贝构造函数
    MyString(const MyString& other) {
        length = other.length;
        data = new char[length + 1];
        memcpy(data, other.data, length + 1);
        std::cout << "拷贝构造" << std::endl;
    }

    // 移动构造函数
    MyString(MyString&& other) noexcept {
        // 窃取资源
        data = other.data;
        length = other.length;
        
        // 将源对象置为安全状态
        other.data = nullptr;
        other.length = 0;
        
        std::cout << "移动构造" << std::endl;
    }

    // 析构函数
    ~MyString() {
        delete[] data;
    }
};

// 使用移动语义
MyString createString() {
    MyString temp("Temporary String");
    return temp;  // 这里会触发移动而非复制
}

int main() {
    MyString a("Hello");
    
    // 拷贝构造
    MyString b(a);
    
    // 移动构造
    MyString c(std::move(a));  // a现在处于有效但未指定的状态
    
    // 从函数返回值进行移动构造
    MyString d(createString());
    
    // 不要再使用a的值
    // a.data现在是nullptr
    
    return 0;
}

C++17之前，返回值优化(RVO)是编译器的可选优化。C++17保证了某些情况下的复制/移动消除：

// C++17保证这种情况不会发生复制或移动
class Widget {
public:
    Widget() { std::cout << "构造器" << std::endl; }
    Widget(const Widget&) { std::cout << "拷贝" << std::endl; }
    Widget(Widget&&) { std::cout << "移动" << std::endl; }
};

Widget createWidget() {
    return Widget();  // 不会调用移动构造函数
}

Widget createNamedWidget() {
    Widget w;
    return w;  // 在C++17中保证不会调用移动构造函数
}

int main() {
    Widget w = createWidget();  // 只调用一次构造函数
    return 0;
}