0

0

C++ 右值引用(Rvalue Reference)是什么?(如何实现高效的资源转移)

穿越時空

穿越時空

发布时间:2026-02-28 13:00:50

|

529人浏览过

|

来源于php中文网

原创

右值引用(&&)是c++11引入的绑定将亡值和纯右值的引用类型,用于实现移动语义;它非语法位置概念,而是语义上标识可窃取资源的临时对象,需配合std::move()转换、显式定义移动操作并置空源对象以避免double-free。

c++ 右值引用(rvalue reference)是什么?(如何实现高效的资源转移)

右值引用不是“右边的引用”,而是绑定临时对象的引用类型

右值引用(&&)本质是 C++11 引入的一种新引用类型,专门用来绑定**将亡值(xvalue)和纯右值(prvalue)**,比如函数返回的临时对象、字面量、std::move() 转换后的结果。它不是语法位置上的“右边”,而是语义上的“即将销毁、可被窃取资源”的对象。

常见错误现象:T&& x = 42; 合法,但 T&& x = y;(其中 y 是具名变量)会编译失败——因为具名变量默认是左值,哪怕类型是 T&&,它本身也是左值(有名字、有身份)。这就是为什么需要 std::move() 来显式转换。

  • 使用场景:实现移动构造函数、移动赋值运算符;配合 std::forward 实现完美转发
  • 参数差异:void f(T&) 只接受左值,void f(const T&) 接受左/右值但只读,void f(T&&) 只接受右值(且允许修改)
  • 性能影响:避免深拷贝,直接接管资源(如指针、文件句柄),移动后原对象处于有效但未定义状态(通常置空)

移动构造函数里必须“掏空”源对象,否则就是浅拷贝漏洞

写移动构造函数时,光把资源指针赋值过去还不够,必须把源对象的对应成员清零或重置,否则析构时会 double-free。

class Buffer {
    char* data_;
    size_t size_;
public:
    Buffer(Buffer&& other) noexcept
        : data_(other.data_), size_(other.size_) {
        other.data_ = nullptr;  // 关键!不置空就危险
        other.size_ = 0;
    }
};
  • 常见错误现象:没置空 other.data_ → 析构时两次 delete[] data_ → UB
  • 必须加 noexcept:否则容器(如 std::vector)在扩容时可能退回到拷贝,失去移动意义
  • 兼容性影响:若移动构造函数抛异常,标准容器会拒绝使用它,改用拷贝构造

std::move() 不移动任何东西,它只是类型转换工具

std::move() 的唯一作用是把一个左值强制转成右值引用类型,让编译器允许调用移动语义的重载。它不触发任何内存操作,也不保证后续一定发生移动——是否真移动,取决于目标函数有没有实现对应的 T&& 重载。

立即学习C++免费学习笔记(深入)”;

  • 使用场景:传参给移动构造函数、移动赋值;在泛型代码中配合 std::forward 做转发
  • 容易踩的坑:std::move(x) 后继续用 x ——虽然语法合法,但行为未定义(除非你手动重置过)
  • 性能影响:零开销转换,但滥用会导致可读性下降,甚至掩盖本该用拷贝的逻辑

移动语义不会自动启用,类必须显式声明移动操作

编译器不会自动生成移动构造函数或移动赋值运算符,除非你显式写出来,或者用 = default。而且一旦你声明了任何拷贝/移动操作(包括析构函数),编译器就不再生成移动操作(C++11 规则)。

  • 常见错误现象:类有指针成员,但只写了拷贝构造,没写移动构造 → 所有“看起来该移动”的地方都走拷贝 → 性能掉档
  • 正确做法:Buffer(Buffer&&) = default; 在满足条件(成员都支持移动)时安全高效;否则手写并确保资源转移干净
  • 兼容性影响:移动操作未声明 + 成员含不可移动类型(如 std::mutex)→ 移动失效,回退到拷贝或编译失败

最常被忽略的一点:移动后对象的状态不是“无效”,而是“有效但未指定”——你可以安全调用其析构函数或赋值,但不能假设它的任何成员还保留原值。这意味着,所有移动操作的实现,必须让目标对象进入一个可析构、可赋值、可忽略的中间态,而不是简单地 memcpy。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1560

2023.10.24

Go语言中的运算符有哪些
Go语言中的运算符有哪些

Go语言中的运算符有:1、加法运算符;2、减法运算符;3、乘法运算符;4、除法运算符;5、取余运算符;6、比较运算符;7、位运算符;8、按位与运算符;9、按位或运算符;10、按位异或运算符等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

240

2024.02.23

php三元运算符用法
php三元运算符用法

本专题整合了php三元运算符相关教程,阅读专题下面的文章了解更多详细内容。

128

2025.10.17

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

556

2023.09.20

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

294

2025.08.29

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

105

2025.10.23

javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

185

2023.11.23

java中void的含义
java中void的含义

本专题整合了Java中void的相关内容,阅读专题下面的文章了解更多详细内容。

125

2025.11.27

Golang 测试体系与代码质量保障:工程级可靠性建设
Golang 测试体系与代码质量保障:工程级可靠性建设

Go语言测试体系与代码质量保障聚焦于构建工程级可靠性系统。本专题深入解析Go的测试工具链(如go test)、单元测试、集成测试及端到端测试实践,结合代码覆盖率分析、静态代码扫描(如go vet)和动态分析工具,建立全链路质量监控机制。通过自动化测试框架、持续集成(CI)流水线配置及代码审查规范,实现测试用例管理、缺陷追踪与质量门禁控制,确保代码健壮性与可维护性,为高可靠性工程系统提供质量保障。

0

2026.02.28

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 10.3万人学习

C 教程
C 教程

共75课时 | 5万人学习

C++教程
C++教程

共115课时 | 19.7万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号