0

0

c++怎么使用右值引用_c++ 移动语义与std::move性能提升【详解】

冰火之心

冰火之心

发布时间:2026-01-09 17:00:02

|

481人浏览过

|

来源于php中文网

原创

右值引用用T&&声明,仅绑定临时对象或std::move转换的右值;其核心是启用移动语义,非高效const引用;auto&&是万能引用;std::move仅类型转换;移动构造/赋值须noexcept;返回局部变量禁用std::move以防破坏RVO;移动后对象仅保证可析构、可赋值。

c++怎么使用右值引用_c++ 移动语义与std::move性能提升【详解】

右值引用必须用 && 声明,且只能绑定到临时对象或显式转换的右值

右值引用不是“更高效的 const 引用”,它本质是启用移动语义的语法开关。声明形式固定为 T&&,比如 std::string&& s = std::string("hello"); 合法,但 std::string&& s = str;str 是左值)直接编译失败。

常见错误是误以为 auto&& 总是右值引用——其实它是万能引用(universal reference),类型推导后可能是 T&T&&,取决于初始化表达式。真正想强制触发移动,得靠 std::move

  • std::move 不移动任何东西,只是把左值强制转成右值引用类型(static_cast
  • 函数参数用 T&& 时,若接受左值实参,需在调用处加 std::move,否则匹配不到该重载
  • 对已定义的右值引用变量(如 auto&& x = std::string("a");),再次使用 x 仍是左值,要再移就得 std::move(x)

移动构造函数和移动赋值运算符必须标记 noexcept,否则容器扩容可能退化为拷贝

标准容器(如 std::vector)在 push_backresize 时,若元素类型有 noexcept 移动构造函数,会优先选择移动;否则回退到拷贝构造——这直接废掉移动语义的性能收益。

典型错误写法:

MyClass(MyClass&& other) { /* 忘记 noexcept */ }
正确写法必须显式声明:
MyClass(MyClass&& other) noexcept : data_(other.data_) { other.data_ = nullptr; }

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

  • 所有资源转移操作(指针交换、句柄接管)必须确保不抛异常,才能加 noexcept
  • 若移动过程中可能抛异常(例如分配内存),宁可不提供移动函数,也不要加 noexcept 导致未定义行为
  • static_assert(std::is_nothrow_move_constructible_v); 在编译期验证

std::move 不等于“零成本”,滥用反而破坏返回值优化(RVO)

在函数返回局部对象时,写 return std::move(local_obj); 是反模式。现代编译器在满足 RVO 条件下会直接构造目标对象,跳过任何拷贝/移动;而加 std::move 会禁用 RVO,强制调用移动构造函数——多一次函数调用开销,还可能因移动构造体本身不内联而更慢。

Speech Studio
Speech Studio

微软语音服务,提供语音到文本、文本到语音和语音翻译功能。

下载

只有两种情况该用 std::move 返回:

  • 返回的是函数参数(形参是右值引用,且确定要交出所有权):
    T func(T&& arg) { return std::move(arg); }
  • 返回的是成员变量,且该成员明确要被清空:
    T get_data() { return std::move(data_); }
  • 其他所有返回局部变量的场景,直接 return local_var;

移动后对象处于有效但未指定状态,不可再读取其值(除非文档明确保证)

C++ 标准只要求移动后的对象可析构、可赋值,不要求保留原值。比如 std::vector 移动后通常为空,但这是实现细节,不是契约。试图访问移动后的 data()size() 可能崩溃或返回垃圾值。

容易踩的坑:

  • 移动后继续用 if (vec.size() > 0) 判断——行为未定义
  • 把移动过的对象放进容器(如 std::vector.push_back(std::move(x))),然后又去访问 x
  • 自定义类中移动构造函数只转移指针却不置空源对象,后续析构两次释放同一内存

安全做法:移动后立即将源对象置为“显然无效”的状态(如指针设 nullptr,整数设 -1),并在文档里写明。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

315

2023.08.02

java基础知识汇总
java基础知识汇总

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

1463

2023.10.24

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

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

228

2024.02.23

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

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

85

2025.10.17

if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

723

2023.08.22

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

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

520

2023.09.20

C++类型转换方式
C++类型转换方式

本专题整合了C++类型转换相关内容,想了解更多相关内容,请阅读专题下面的文章。

294

2025.07.15

Golang 分布式缓存与高可用架构
Golang 分布式缓存与高可用架构

本专题系统讲解 Golang 在分布式缓存与高可用系统中的应用,涵盖缓存设计原理、Redis/Etcd集成、数据一致性与过期策略、分布式锁、缓存穿透/雪崩/击穿解决方案,以及高可用架构设计。通过实战案例,帮助开发者掌握 如何使用 Go 构建稳定、高性能的分布式缓存系统,提升大型系统的响应速度与可靠性。

60

2026.01.09

java学习网站推荐汇总
java学习网站推荐汇总

本专题整合了java学习网站相关内容,阅读专题下面的文章了解更多详细内容。

61

2026.01.08

热门下载

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

精品课程

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

共94课时 | 6.3万人学习

C 教程
C 教程

共75课时 | 3.9万人学习

C++教程
C++教程

共115课时 | 11.6万人学习

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

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