c/c++的左值、右值与移动/拷贝语义

用户84718105419
10 阅读5分钟

本文按“基础概念→引用类型→资源语义→工具实现→实战验证”的逻辑，整合左值、右值、左值引用、右值引用、拷贝语义、移动语义的核心知识点，例子均采用新手友好的极简形式。

一、基础区分：左值（lvalue）vs 右值（rvalue）

这是理解所有后续概念的前提，核心是区分“有名字的对象”和“临时对象”：

类型通俗比喻核心特征例子
左值有房产证的房子有名字、能取地址、生命周期可控std::vector<int> tools_ = {1,2,3};（tools_是左值）
int a = 10;（a是左值）
右值没房产证的临时棚屋无名字、不能取地址、用完销毁10;（字面量是右值）
tools_ + std::vector<int>{4};（临时vector是右值）
std::move(tools_);（强制转成右值）

⚠️ 关键误区：左值存储的“值”可能是右值（比如a存储10），但左值的“身份”不变——编译器只看“身份”，不看存储的内容。

int a = 10; // a是左值（身份），存储的值是10（右值）
int b = a;  // 这里a是“左值身份”参与赋值，编译器按左值处理（拷贝）
int c = 10; // 10是纯右值，编译器按右值处理
  • a 存储的 10 是右值，但 a 本身是左值——编译器不会因为“存储的是右值”就把 a 当成右值；
  • 同理，tools_ 存储的 {1,2,3} 是右值，但 tools_ 本身是左值，编译器默认按左值处理。

二、引用类型：左值引用（T&）vs 右值引用（T&&）

引用是“变量的别名”，C++11按绑定对象类型分为两类，只能绑定对应类型的对象：

引用类型语法绑定对象通俗理解示例（正确/错误）
左值引用T&只能绑定左值给有房产证的房子起别名✅ std::vector<int>& ref1 = tools_;（绑定左值tools_）
❌ std::vector<int>& ref3 = std::move(tools_);（不能绑定右值）
右值引用T&&只能绑定右值给临时棚屋起别名✅ std::vector<int>&& ref2 = std::move(tools_);（绑定右值）
❌ std::vector<int>&& ref4 = tools_;（不能绑定左值）

三、资源传递：拷贝语义 vs 移动语义

这是左值/右值、引用类型的核心应用，对比两种资源传递逻辑：

语义类型逻辑成本原对象状态示例
拷贝语义为新对象“复制一份资源”（新建同款房子）高（拷贝大容器时极慢）原对象不变std::vector<int> copy_tools = tools_;（copy_tools和tools_各有一份{1,2,3}）
移动语义把原对象的资源“过户”给新对象（房产证改名）低（仅改指针，无数据复制）原对象变“空”std::vector<int> move_tools = std::move(tools_);（move_tools持有{1,2,3}，tools_变空）

四、关键工具：std::move的本质

std::move 是触发移动语义的关键，但它不移动任何数据：

  1. 本质：一个类型转换函数，仅把左值强制转换成右值引用（T&&）；
  2. 作用：“告诉编译器：这个左值现在可以被移动了”（原房主授权过户）；
  3. 注意：真正的“资源过户”由对象的移动构造函数完成，而非std::move本身。

五、核心实现：移动构造函数

每个支持移动语义的类型（如STL容器），都有接收右值引用参数的移动构造函数，是“资源过户”的执行者。 简化的vector移动构造函数示例：

template <class T>
class vector {
public:
    // 移动构造函数：接收右值引用参数
    vector(vector&& other) noexcept {
        // 把other的资源“过户”给当前对象
        this->data_ = other.data_; 
        this->size_ = other.size_;

        // 把other置为空（避免析构时重复释放资源）
        other.data_ = nullptr;
        other.size_ = 0;
    }

private:
    T* data_; // 指向堆内存的指针
    size_t size_;
};
  • 参数必须是 T&&（右值引用），因为只有右值才“允许被移动”；
  • 核心逻辑：转移资源指针 + 清空原对象，无数据复制，效率极高。

六、编译器匹配规则：何时拷贝？何时移动？

赋值/构造时，编译器按“参数匹配优先级”选择语义：

等号右侧的“身份”匹配的构造函数触发语义
左值（如 tools_）拷贝构造（T(const T&)）拷贝
右值（如 std::move(tools_)、临时对象）移动构造（T(T&&)）移动

七、实战对比：加&& vs 不加&&的区别

核心结论：加&/&&是“起别名”，不加&是“创建新对象”

写法变量类型是否调用移动构造资源归属tools_ 状态备份资源目的是否达成
auto original_tools = std::move(tools_);普通左值（vector）✅ 调用original_tools 持有空✅ 达成
auto&& original_tools = std::move(tools_);右值引用（vector&&）❌ 不调用tools_ 仍持有不变❌ 失败

极简验证例子：

std::vector<int> tools_ = {1,2,3}; // 左值（有名字）

// 1. 起别名（加&/&&）：共享同一个对象，不创建新东西
std::vector<int>& ref1 = tools_;       // 左值别名：ref1和tools_是同一个对象
std::vector<int>&& ref2 = std::move(tools_); // 右值别名：ref2是“可移动的tools_”的别名

// 2. 创建新对象（不加&）：
std::vector<int> copy_tools = tools_;      // 右是左值 → 拷贝（新对象，复制内容）
std::vector<int> move_tools = std::move(tools_); // 右是右值 → 移动（新对象，过户资源）

总结（核心规则简记）

  1. 身份决定行为：左值（有名字）触发拷贝，右值（临时/ std::move转换）触发移动，编译器只看“身份”不看存储内容；
  2. 引用是别名：左值引用（&）绑定左值，右值引用（&&）绑定右值，加&/&&仅起别名，不创建新对象；
  3. 无引用则新建：不加&时，右值“过户”资源给新对象（移动），左值“复制”资源给新对象（拷贝）。
avatar
文章
阅读
粉丝