左值与右值是C语言就有的概念,但C语言并没有给出严格的区分方式,一般认为,可以放在赋值符号左边的值就是左值,只能放在赋值符号右边的值就是右值。
int main()
{
// 下面a、b都是左值
int a = 10;
double b = 1.0;
// 下面a+b、10都是右值
a + b;
10;
return 0;
}
然而,这种区分方式不是完全正确,存在一些矛盾的地方,比如下面的例子,变量b可以在赋值符号左边,也可以在赋值符号右边,但变量b并不是右值而是左值。
int main()
{
// 下面a、b都是左值
int a = 10;
double b = 1.0;
// b在赋值符号右边
a = b;
return 0;
}
所以,区分左值和右值最好的方式就是看这个值(或者表达式)可不可以取地址,如果可以取地址那就是左值,不可以取地址那就是右值。
左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址,也可以对它进行赋值,左值可以出现在赋值符号左边,也可以出现在赋值符号右边。这里有一个特例就是const修饰的变量,我们虽然不能对它进行赋值,但是我们可以获取它的地址,所以const修饰的变量也是左值。
int main()
{
// 以下的指针变量p、指针变量的解引用*p、b和c都是左值
int* p = new int(1);
int b = 0;
const int c = 1;
return 0;
}
右值也是一个表示数据的表达式,比如字面常量、表达式返回值、函数返回值(这个返回值不能是左值引用返回,必须是传值返回,因为传值返回会生成临时变量)等等,右值只能出现在赋值符号的右边,不能出现在赋值符号的左边。右值不能取地址。
int Add(int a, int b)
{
return a + b;
}
int main()
{
int x = 1, y = 2;
// 以下几个就是常见的右值
10;// 字面常量
x + y;// 表达式返回值
Add(x, y);// 函数传值返回的返回值
return 0;
}
左值引用就是对左值取别名,右值引用就是对右值取别名。
int Add(int a, int b)
{
return a + b;
}
int main()
{
// 以下的指针变量p、指针变量的解引用*p、b和c都是左值
int* p = new int(1);
int b = 0;
const int c = 1;
// 左值引用
int*& rp = p;
int& rb = b;
const int& rc = c;
int& rpValue = *p;
int x = 1, y = 2;
// 以下几个就是常见的右值
10;// 字面常量
x + y;// 表达式返回值
Add(x, y);// 函数传值返回的返回值
// 右值引用
int&& rr1 = 10;
int&& rr2 = (x + y);
int&& rr3 = Add(x, y);
return 0;
}
需要注意右值引用还有一个特性,右值是不能够取地址的,但是给右值取别名以后,会导致右值被存储到了特定的位置,就可以取地址了。比如上面代码中的字面常量10是不能取地址的,但是rr1引用了之后,就可以对rr1取地址了,也可以修改rr1的值。如果不想rr1被修改,就要将rr1设置成const右值引用。
左值引用只能引用左值,不能引用右值,但这里也有一个例外,const的左值引用既可以引用左值,也可以引用右值。这也是我们在设计函数参数的时候尽量设计成const左值引用的原因,因为无论是左值还是右值都可以传递进去。
int main()
{
// 左值引用只能引用左值,不能引用右值
int a = 10;
int& ra = a;
//int& rb = 10;// 编译报错,不能引用右值
// const左值引用可以引用左值
const int& ra1 = a;
// const左值引用也可以引用右值
const int& ra2 = 10;
return 0;
}
右值引用只能引用右值,不能引用左值。但是右值引用可以引用move之后的左值。
int main()
{
// 右值引用只能引用右值,不能引用左值
int&& r1 = 10;
int a = 10;
// int&& r2 = a;// 编译报错,右值引用不能引用左值
// 右值引用可以引用move之后的左值
int&& r3 = move(a);
return 0;
}
右值引用的提出就是为了弥补左值引用的不足,我们以模拟实现string类为例,来研究一下左值引用存在哪些不足之处。
例如在模拟实现string类的时候,我们模拟实现to_string函数时,如果没有右值引用的话,我们只能用左值引用来解决深拷贝问题。
然而to_string函数在实现时定义了str这个临时变量,最后要返回str这个临时变量。所以我们没办法在这个地方使用左值引用,因为str这个临时变量出了作用域就会销毁,如果我们取它的别名返回,就会出现野指针错误。
所以在这个地方不得不使用传值返回。传值返回就会带来深拷贝的问题,并且在这个地方,str在被销毁之前编译器会创建一个临时变量来存储str的内容,然后再销毁str,最后返回的是临时变量的对象。这里就会存在多次深拷贝问题,效率是非常低的。
要解决这个问题我们可以采用移动构造,即再提供一个右值引用版本的拷贝构造函数。
string(string &&s)
: _str(nullptr), _size(0), _capacity(0)
{
swap(s);
}
移动构造的本质就是参数s是右值,将右值的资源直接交换给this,占为己有,那么就不用做深拷贝了,所以它叫作移动构造,就是将别人的资源移动过来构造自己。
这里就会有一个问题:为什么一定要右值引用才可以这样呢?原来左值引用版本的拷贝构造函数为什么不可以直接将this对象与s对象做交换呢?
这里我们将左值引用版本的拷贝构造函数和右值引用版本的拷贝构造函数拿出来做一个对比:左值引用版本的拷贝构造函数,它的参数必须是const修饰的,所以s是一个左值引用,如果我们直接让swap(s)交换,swap函数的参数就必须设置成const修饰的,否则就是权限放大编译会报错。
但是swap函数的参数设置成const修饰的话又不能对s进行修改了,也就无法完成交换了,所以左值引用版本的拷贝构造函数必须先使用构造出一个tmp对象,再让tmp对象与this进行交换。
我们首先来看一下如果没有移动构造,只提供左值引用版本的拷贝构造函数,调用to_string函数会怎么样?
我们在左值引用版本的拷贝构造中输出一些信息方便我们查看调试:
我们可以先来猜测一下:to_string函数的返回值str是一个左值,它出了函数作用域就会被销毁,所以它先会拷贝构造给一个临时变量,临时变量是一个右值,它会拷贝构造给ret变量,所以应该要进行两次拷贝构造。
我们再运行代码测试一下:结果显示只有一次深拷贝,并没有像我们猜测的那样进行两次深拷贝。
这里的原因是编译器进行了优化,由于str、临时变量、ret都具有相同的内容,但各自却拥有不同的空间,所以这样是很浪费内存空间的,编译器优化了之后是直接一次拷贝构造将str深拷贝给ret。
我们再来看一下提供了移动构造之后,调用to_string函数又会怎么样?
同样的,我们也在右值引用版本的拷贝构造中输出一些信息方便我们查看调试:
我们可以再猜测一下:to_string函数的返回值str是一个左值,临时变量是一个右值,所以str会拷贝构造给临时变量,临时变量再移动构造给ret。最后应该会先调用一次拷贝构造,再调用一次移动构造。
我们运行代码测试一下:结果又不是像我们猜测的那样,它只有一次移动构造,并没有调用拷贝构造。
这里的原因也是编译器进行了优化,编译器将str变成了右值,直接移动构造给ret,并没有生成临时变量。
针对移动构造函数和移动赋值运算符重载有下面这些点需要注意:
如果我们实现了拷贝构造函数,不构成默认生成移动构造的条件,在C++11中我们可以使用default关键字强制生成默认成员函数。
// 强制生成默认移动构造函数
Person(Person&& p) = default;
相反,如果我们想要限制某些默认函数的生成,C++11可以在该函数声明后面加上delete关键字,该语法指示编译器不生成对应函数的默认版本。
// 不生成默认的拷贝构造函数
Person(const Person& p) = delete;
如果是模板中的&&不代表右值引用,而是完美引用。它既能接收左值也能接收右值。例如下面的代码例子:我们使用了完美引用,既然它能接收左值也能接收右值,那我们分别传递右值、左值、右值、const左值、const右值进入函数,看看结果是什么。
#include <iostream>
using namespace std;
void Fun(int &x) {
cout << "左值引用" << endl; }
void Fun(const int &x) {
cout << "const 左值引用" << endl; }
void Fun(int &&x) {
cout << "右值引用" << endl; }
void Fun(const int &&x) {
cout << "const 右值引用" << endl; }
template <typename T>
void PerfectForward(T &&t)
{
Fun(t);
}
int main()
{
PerfectForward(10); // 右值
int a;
PerfectForward(a); // 左值
PerfectForward(std::move(a)); // 右值
const int b = 8;
PerfectForward(b); // const 左值
PerfectForward(std::move(b)); // const 右值
return 0;
}
运行程序查看结果我们发现,无论是左值还是右值,最后都变成了左值。
原因是模板的万能引用只是提供了能够同时接收左值和右值的能力,但传递进来之后会发生引用折叠,右值会被转换成左值,const右值会被转换成const左值。
如果我们希望在传递过程中保持左值和右值的属性不变,就需要用到完美转发机制。
std::forward<>()函数可以在传参过程中保留对象的原生类型属性。
#include <iostream>
using namespace std;
void Fun(int &x) {
cout << "左值引用" << endl; }
void Fun(const int &x) {
cout << "const 左值引用" << endl; }
void Fun(int &&x) {
cout << "右值引用" << endl; }
void Fun(const int &&x) {
cout << "const 右值引用" << endl; }
template <typename T>
void PerfectForward(T &&t)
{
Fun(std::forward<T>(t));
}
int main()
{
PerfectForward(10); // 右值
int a;
PerfectForward(a); // 左值
PerfectForward(std::move(a)); // 右值
const int b = 8;
PerfectForward(b); // const 左值
PerfectForward(std::move(b)); // const 右值
return 0;
}
在使用了完美转发以后我们再来运行程序查看结果,这次就不再发生类型转换了。
文章浏览阅读2w次,点赞7次,收藏51次。四个步骤1.创建C++ Win32项目动态库dll 2.在Win32项目动态库中添加 外部依赖项 lib头文件和lib库3.导出C接口4.c#调用c++动态库开始你的表演...①创建一个空白的解决方案,在解决方案中添加 Visual C++ , Win32 项目空白解决方案的创建:添加Visual C++ , Win32 项目这......_c#调用lib
文章浏览阅读4.6k次。苹方字体是苹果系统上的黑体,挺好看的。注重颜值的网站都会使用,例如知乎:font-family: -apple-system, BlinkMacSystemFont, Helvetica Neue, PingFang SC, Microsoft YaHei, Source Han Sans SC, Noto Sans CJK SC, W..._ubuntu pingfang
文章浏览阅读159次。表单表单概述表单标签表单域按钮控件demo表单标签表单标签基本语法结构<form action="处理数据程序的url地址“ method=”get|post“ name="表单名称”></form><!--action,当提交表单时,向何处发送表单中的数据,地址可以是相对地址也可以是绝对地址--><!--method将表单中的数据传送给服务器处理,get方式直接显示在url地址中,数据可以被缓存,且长度有限制;而post方式数据隐藏传输,_html表单的处理程序有那些
文章浏览阅读1.2k次。使用说明:开启Google的登陆二步验证(即Google Authenticator服务)后用户登陆时需要输入额外由手机客户端生成的一次性密码。实现Google Authenticator功能需要服务器端和客户端的支持。服务器端负责密钥的生成、验证一次性密码是否正确。客户端记录密钥后生成一次性密码。下载谷歌验证类库文件放到项目合适位置(我这边放在项目Vender下面)https://github.com/PHPGangsta/GoogleAuthenticatorPHP代码示例://引入谷_php otp 验证器
文章浏览阅读4.3k次,点赞5次,收藏11次。matplotlib.plot画图横坐标混乱及间隔处理_matplotlib更改横轴间距
文章浏览阅读2.2k次。①Storage driver 处理各镜像层及容器层的处理细节,实现了多层数据的堆叠,为用户 提供了多层数据合并后的统一视图②所有 Storage driver 都使用可堆叠图像层和写时复制(CoW)策略③docker info 命令可查看当系统上的 storage driver主要用于测试目的,不建议用于生成环境。_docker 保存容器
文章浏览阅读834次,点赞27次,收藏13次。网络拓扑结构是指计算机网络中各组件(如计算机、服务器、打印机、路由器、交换机等设备)及其连接线路在物理布局或逻辑构型上的排列形式。这种布局不仅描述了设备间的实际物理连接方式,也决定了数据在网络中流动的路径和方式。不同的网络拓扑结构影响着网络的性能、可靠性、可扩展性及管理维护的难易程度。_网络拓扑csdn
文章浏览阅读1.8k次,点赞5次,收藏8次。IOS系统Date的坑要创建一个指定时间的new Date对象时,通常的做法是:new Date("2020-09-21 11:11:00")这行代码在 PC 端和安卓端都是正常的,而在 iOS 端则会提示 Invalid Date 无效日期。在IOS年月日中间的横岗许换成斜杠,也就是new Date("2020/09/21 11:11:00")通常为了兼容IOS的这个坑,需要做一些额外的特殊处理,笔者在开发的时候经常会忘了兼容IOS系统。所以就想试着重写Date函数,一劳永逸,避免每次ne_date.prototype 将所有 ios
文章浏览阅读5.3k次。方法一:用PLSQL Developer工具。 1 在PLSQL Developer的sql window里输入select * from test for update; 2 按F8执行 3 打开锁, 再按一下加号. 鼠标点到第一列的列头,使全列成选中状态,然后粘贴,最后commit提交即可。(前提..._excel导入pl/sql
文章浏览阅读83次。Git常用命令速查手册1、初始化仓库git init2、将文件添加到仓库git add 文件名 # 将工作区的某个文件添加到暂存区 git add -u # 添加所有被tracked文件中被修改或删除的文件信息到暂存区,不处理untracked的文件git add -A # 添加所有被tracked文件中被修改或删除的文件信息到暂存区,包括untracked的文件...
文章浏览阅读202次。分享119个ASP.NET源码总有一个是你想要的_千博二手车源码v2023 build 1120
文章浏览阅读1.8k次。版权声明:转载请注明出处 http://blog.csdn.net/irean_lau。目录(?)[+]1、缺省构造函数。2、缺省拷贝构造函数。3、 缺省析构函数。4、缺省赋值运算符。5、缺省取址运算符。6、 缺省取址运算符 const。[cpp] view plain copy_空类默认产生哪些类成员函数