0

0

c++ 左值引用与右值引用_c++值类别基础详解

穿越時空

穿越時空

发布时间:2026-01-17 16:57:19

|

831人浏览过

|

来源于php中文网

原创

c++ 左值引用与右值引用_c++值类别基础详解

左值引用只能绑定到左值,这是编译器强制的规则

当你写 int& r1 = x;x 是已命名变量),编译能过;但写 int& r2 = 42;int& r3 = std::move(x); 就会报错:「cannot bind non-const lvalue reference to an rvalue」。这不是设计缺陷,而是为了防止意外延长临时对象生命周期——左值引用本意是给已有对象起别名,不是接管临时值。

常见错误场景:

  • 试图用 std::vector& v_ref = get_temp_vector(); 接收函数返回的临时 std::vector,直接编译失败
  • 在模板推导中误以为 T& 能“自动适配”右值,结果函数根本无法实例化

解决办法只有两个:改用 const int&(允许隐式绑定右值,但只读),或改用右值引用。

右值引用 && 的本质是绑定到将亡值和纯右值

int&& r = 42; 合法,int&& r2 = std::move(x); 也合法,因为 std::move 返回的是 int&& 类型的将亡值。注意:&& 不代表“一定移动”,它只是个类型标签;是否真执行移动操作,取决于你是否在函数体内调用了移动构造/赋值。

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

关键细节:

Text-To-Song
Text-To-Song

免费的实时语音转换器和调制器

下载
  • 右值引用变量本身是左值(有名字、可取地址),所以 decltype(r)int&&,但 r 在表达式中是左值
  • 想再次触发移动,必须再套一层 std::move(r),否则会调用拷贝构造
  • 不能直接绑定到 const 右值,比如 const int&& cr = 42; 合法,但几乎没人这么写——const int& 更通用且安全
void foo(std::string&& s) {
    std::string s2 = s;        // ❌ 拷贝!s 是左值
    std::string s3 = std::move(s); // ✅ 移动
}

万能引用(转发引用)依赖模板参数推导,不是所有 && 都是右值引用

只有形如 template void f(T&&) 中的 T&& 才叫万能引用。它的类型由实参决定:传左值 → T 推为 U&T&& 折叠为 U&(左值引用);传右值 → T 推为 UT&& 保持为 U&&(右值引用)。这就是 std::forward 能保真转发的基础。

容易混淆的点:

  • void f(auto&&)(C++20)也是万能引用
  • void f(std::string&&) 是普通右值引用,不参与类型推导,永远只接受右值
  • 万能引用必须是「未加限定的模板参数 + &&」,写成 template void f(const T&&) 就失去万能性,变成纯右值引用

值类别判断比语法更依赖上下文,decltype 是唯一可靠手段

一个表达式是左值还是右值,不能光看有没有名字。比如 std::move(x) 有名字(函数调用),但它是右值;std::string().c_str() 返回 const char*,是右值;而 s.c_str()s 是变量)返回的指针却是左值(因为返回的是局部变量的地址?错——其实是函数返回的是内置类型指针,按 C++ 规则,内置类型纯右值表达式不能有地址,但这里返回的是左值,因为 c_str() 返回的是左值引用?也不对……)——这恰恰说明手动猜不可靠。

真正该做的是:

  • 对任意表达式 e,用 decltype((e)) 判断其值类别:decltype((e)) 带括号 → 总是返回引用类型(左值返回 T&,右值返回 T&&
  • 不带括号的 decltype(e) 返回声明类型,忽略值类别(decltype(std::move(x))int&&,但 decltype(x)int
  • 调试时直接打印 std::is_lvalue_reference_v 最稳妥

值类别不是对象属性,是表达式属性;同一个变量名,在不同上下文中可能产生不同值类别的表达式。这点一旦忽略,模板转发和重载解析就会出乎意料地失败。

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
string转int
string转int

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

317

2023.08.02

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

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

524

2023.09.20

string转int
string转int

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

317

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

538

2024.08.29

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

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

52

2025.08.29

C++中int的含义
C++中int的含义

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

197

2025.08.29

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

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

175

2023.11.23

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

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

97

2025.11.27

高德地图升级方法汇总
高德地图升级方法汇总

本专题整合了高德地图升级相关教程,阅读专题下面的文章了解更多详细内容。

27

2026.01.16

热门下载

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

精品课程

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

共94课时 | 6.9万人学习

C 教程
C 教程

共75课时 | 4.1万人学习

C++教程
C++教程

共115课时 | 12.5万人学习

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

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