一个众所周知的危险错误是,函数返回了一个局部变量的指针或引用。一旦函数栈被销毁,这个指针就成为了野指针,导致未定义行为。而左值(lvalue)和右值(rvalue)的概念,本质上,是理解“程序员可以放心使用的变量”。
空泛的讨论先到这里,先看一段会报错的代码:
#include
using std::cout;
using std::endl;
int foo(int &a) {
return a;
}
int main() {
int a = 1;
cout << &a << endl;
int *p = &foo(a);
}
这里,对foo(a)取地址会引起错误: "lvalue required as left operand of assignment".字面理解是,&取地址运算符只能获取左值的地址。
毫无疑问的是,foo(a)的值是存在的,是数值1。之所以报错,是因为编译器认为它不是左值,不允许程序员获取它存放的地址。
我对这点标准的理解是:
获取一个临时空间的地址通常意味着要对这块内存赋值。在C++程序中,临时空间的销毁时机是不确定(undefined)的,它随时被用于其他临时空间的存储。于是程序员不允许使用这块空间。联系之前总结的堆栈概念,可以对C++中的变量存储有更深的理解。
在堆栈概念一文,我小结了C++程序中数据可以存在三个地方:
1. 函数栈,在函数体内的定义的变量
2. 堆,特别指使用new,malloc获取的内存空间
3. 静态数据区,即.data 和.bss
对于lvalue的通俗描述,是“具有确定地址的非临时对象”,而不满足lvalue定义的值均被认为是rvalue。换句话说,C++程序里面出现的值,非左即右。下面我们分析一下这三个存放数据的区域里面可以被使用的值的情况:
堆
堆的空间上的变量完全由程序员申请和管理的,所以它们都有明确的地址,是可以放心使用的左值。
静态数据区
对于静态数据区,尽管存放的位置是固定的,但里面的数据并不能认为都是左值。主要是因为里面有“字面值”,包括const所实现的常量,即静态存储而不能被修改的值。
函数栈
当函数调用发生的时候,系统会创建函数栈,保留上下文,函数调用结束的时候,函数栈内的变量会被销毁。函数体里面定义的变量是左值,而临时变量是右值。
拓展
C++ 11标准,为了更好地利用临时变量,提出Rvalue Reference,对应的的实现是move semantics (转移语意)和Perfect Forwarding(完美转发)。对这些新特性还不了解,暂时不写。
理解C++ lvalue与rvalue
发表于:2017-08-08
作者:Kinsang
来源:
 相关文章
指针变量在C/C++中的内存占用 C++ Module详解:模块化编程终极指南 深入学习 C++编程,数据结构与算法关系 C++编程入门!五个学习阶段让你从新手... 掌握C/C++中的静态变量与静态成员! C++函数式编程:提高代码表达力和可维护性- 周排行
- 月排行
- 评论排行
-   高效IT:如何利用零代码开发平台快速...
-   生成式人工智能在软件开发过程现代化...
-   一体化好好的,为什么要前后端分离?
-   13种最佳App设计不止有设计美感,更跟...
-   12张图带你彻底理解分布式事务产生的...
-   2023 年 Java 发展趋势
-   Web3应和Web2一样用JavaScript构建
-   系统设计 | 应用、微服务、流程、规则编排
-   值得一试的五大AI编程助手
-   高效IT:如何利用零代码开发平台快速...
-   生成式人工智能在软件开发过程现代化...
-   一体化好好的,为什么要前后端分离?
-   衡量开发人员工作效率的五个技巧
-   2018年最全的App设计资源(工具+模板...
-   从软件出发,非功能测试思考总结
-   展望2017,谁是网络技术头牌?
-   C/C++单元测试工具Visual Unit 4 介绍
-   国内外最好用的6款Bug跟踪管理系统
-   性能测试指标评估必读
-   百度软件测试方案模板
-   38张史上最全的IT工程师技能图谱
-   C/C++单元测试工具Visual Unit 4 介绍
-   2019年,你会选哪些安全测试工具?
-   十款Web服务器性能压力测试工具
-   软件测试入门指南:周期、模型和文档化
-   记自动化测试成神学习之路
-   软件测试全景图 -最全的思维导图