LinuxCPP1007在线视频

有一点是需要特别说明的

浅拷贝可能达不到我们的要求

当我们成员字段有一个指针的时候

大部分时候浅拷贝都是有问题的

这个时候我们就会使用深拷贝

我们也应该使用深拷贝

但是你要知道 深拷贝往往意味着

我们要重新构造一片存储区

而且目标对象

它的原始那片存储区往往又需要销毁

这里边频繁地产生动态的内存分配

与销毁的动作

要分配一片内存 后来又不用了 销毁

又分配一片内存 又不用了

很多时候 分配、销毁、分配、销毁的工作

完全是无用功

比如说程序里边

已经有了动态构造的一个对象

我构造这个对象的唯一的目的

就是为了挂到这个指针_p上

如果你使用一个深拷贝语义

你就必须重新再构造一片存储区

要new出来

然后一个元素、一个元素地拷贝过去

再把原始new出来的这个数组给它删掉

你注意我刚才的讲法了

我动态分配这个

数组存储空间的唯一的目的

就是为了把它挂接到_p上

而现在呢 我深拷贝语义

就会再产生数组的一个副本

然后拷贝 原来那个又不要了

这个额外动态内存分配有必要吗

没必要 那你可能就会说

这个时候我应该用浅拷贝啊

浅拷贝什么呀

如果它又不是这样的呢

浅拷贝不是不行么 对吧

这就涉及到一个最重要的问题

所以语言上边

应该给我们提供一个很特殊的机制

就是我能够把这个动态分配的对象

我们这里面就是4个元素的一个数组

要把这个动态分配的数组的所有权

移交给a这个对象的_p的字段

我们要做是这个事 这个叫移动语义

移动语义只在C++11之后才出现的

此前是不存在的

所以要特别去注意这一条

所以如果我真正地想完成

一个移动语义的构造

将意味着把a的_n字段赋值给b的_n字段

把a的_p字段赋值给b的_p字段

保证这两个字段是一模一样的

这样的话b的_p字段

将会同样持有目标数组的所有权

注意 你还要完成所有权的移交

所以a的_p那个指针必须赋值为0

赋值为NULL 赋值为空指针

这是必须要做的

这样才能完成所有权的移交嘛

否则的话不就双指针指向同一个地方

那一弄不就是程序崩溃了嘛

一delete 空悬指针就来了嘛

这是有问题的

所以我们移动语义做的就这个意思

俩对象构造出来没问题

但是我要求当拷贝构造和赋值构造的时候

目标数据对象的所有权

必须移交给我们的新对象

而原始对象将丧失那个所有权

_p指针将不再指向原来的那个数组

这个就叫移动语义

要想实现这个移动语义

我们就必须了解几个主要概念

一个是左值与右值

一个是左值引用与右值引用

然后我们才能考虑怎么实现

移动赋值与移动构造

并且讨论移动语义的成员函数重载的方式

我们首先来看左值与右值

在C语言里边

对左值和右值的原始定义是这样

可以出现在在赋值号左边或右边的

数据和数据对象

我们称它为左值

不仅仅数据对象 实际上还有函数之类

如果它能够出现在赋值号左边或右边

那么我们就说它具有左值

如果一个东西

它只能出现在赋值号的右边

那么我们就说它具有右值

有一个普遍的误解

就是左值只能出现在赋值号的左边

右值只能出现在赋值号的右边

这是一个普遍的误解

对于右值 这个结论是对的

只能出现在赋值号右边的东西具有右值

但是左值并不意味着

只能出现在赋值号的左边

它一样可以出现在赋值号的右边

你比如讲 我们看一个非常简单的赋值语句

x=x 左边的那个x

具有左值这是毫无疑问的

右边呢 右边那个x依然是左值

这是非常让人迷惑的地方

我们前面讲变量的时候

我们谈到过变量具有四个基本特性

VANT：值、地址、名称、类型

对吧 就这四个

编译完的代码呢

除非是面向对象的架构

我们下一讲将会讨论的

运行期型式信息

否则名字是没有的 类型也是没有的

就只有值和地址

值和地址和我们这里边

谈到的左值和右值有极大的相关性

但并不是一个东西

我们说值 我们说地址

是指从程序运行的这个角度来看的

值是在内存的某个地方的

里面的一个东西 这是值

而地址呢 是放东西的内存区域的编号

这是我们理解的地址和值的概念

这是从程序代码的这个角度来谈的

而左值和右值 实际上是编译器

对待我们标识符的角度来看的

当它认为这样的一个标识符

可以出现在赋值号左边或右边的时候

那么必须把它作为一个左值来对待

因为只有左值才允许这么去做

当它是一个右值的时候

它就只能出现在赋值号的右边

它不能出现在赋值号的左边

你比如说简单的一个整数 一个文字

字符串的文字 它是不可以被赋值的

所以它只能出现在赋值号的右边

它可以赋值给别人

但是它不能自我被赋值

被别人所赋值 这是不允许的

所以这样的量、这样的数据、

这样的文字

甚至这样的函数都只具有右值

不具有左值 而左值的量

它就有一个非常明确的地方

它可以被修改 出现在赋值号的左边

它就可以被修改 所以你看x=x

这个事情编译器要做几件事情

第一 取x的左值 取左边那个x的左值

这是第一步要做的事情

第二步 取右边那个x的左值

我们事实上取到了什么呢

取到了x这个量所对应的地址

然后去右边那个x所指代的地址数

去取它的右值

我们实际上取它什么呢 取到是x的值

然后把x的值赋值给x

也就是把这个值

重新放到这个内存区域里面去

它是这样的一个动作

这是三步动作

其实我们的C编译器

还做了最后一步动作

第四步动作 把这个刚刚放进去那个值

作为赋值表达式的结果返回

这是C的简单的一个赋值动作

所产生的效果

所以你看

这里边的左值和右值像这样一个关系

它和地址和值紧密相关

但并不完全相等

不是一类概念 这是第一个

我们需要描述清楚的地方

第二个 为了支持移动语义

关于左值和右值这个概念

在C++11版本里面做了一些变化

它跟过去不一样了

什么叫左值呢

左值是用于标识非临时对象

或者非成员函数的表达式

这种东西就叫左值

因为在C的里边没有引用传递

所以函数是不能返回一个引用的

函数不能返回引用

那它函数的返回值就是不可以用的

那么这样一个函数

它事实上不具有左值

这是非常重要的一个地方

我们可以取到那个函数的入口地址

但是那个函数本身

不能出现在赋值号的左边

但是有了引用传递之后

这个函数本身 一个函数调用本身

因为它的返回值是一个引用

所以它事实上

可以出现在赋值号的左边的

这样的函数就具有了左值

在引用传递出现之后的

非常重要的一个变化

而到了移动语义里边

对于左值和右值的定义又发生了变化

我们刚才已经说了左值的定义

那么右值呢

右值就是用于标识临时对象的表达式

或者与任何对象无关的一个值

这样的值我们称它为纯粹的右值

它就只具有右值的

这是一个重要的地方

或者用于标识即将失效的

一个对象的表达式

这是一个失效的值

它仍然具有右值 不具有左值

它马上就无效了 马上就没了

这样的一个量 这样的一个对象

它的表达式具有右值

这是一个非常重要的定义

左值和右值

然后就是我们进行函数调用的时候

传递的那个引用

在引入移动语义之前

C++里面 只有两种参数传递方式

一个是值传递 一个是引用传递

更不要说在引用传递引入之前

C/C++只有值传递一种

哪怕你使用指针作为函数参数传递

仍然是那个指针对象的值

这一点同学们一定是要记住的

我们即使是使用指针来传递它

传递的依然都是指针这个数据对象的值

它仍然是值传递 但是有了引用

我们传递的就不再是值

而是目标数据对象的一个引用

引用在函数内部只是充当

那个目标数据对象的别名

访问的其实就是原始的目标数据对象

这在C++11出现之前 这样的引用

事实上我们传递那个目标数据对象的左值

所以叫左值引用

为了支持移动语义

我们需要使用一个与原先的左值引用

不同的架构

这个架构 我们现在称之为右值引用

所以左值引用是用“&”记号

那么右值引用为了区分它

我们使用“&&”这个记号

为什么需要左值引用或右值引用呢

左值引用是为了修改目标数据对象的值

是为了以一个数学相一致的方式

去访问目标数据对象

那么又为什么需要右值引用呢

就是我们刚才谈到过的

你的深拷贝这个动作

需要频繁地分配和释放内存的

很多时候 这个分配和释放

事实上是没有必要的

它大大降低地降低了我们的程序效率

我们希望能够消灭

多余的内存分配与释放这样的动作

所以深拷贝 有的时候它的工作原理

我们不满意

移动语义的根本的目的

是为了完成那个目标数据对象的所有权的移交

在这个过程中

我们本身并不需要构建新的对象

所以也不需要重新地

调用构造函数和析构函数

这个事完全不需要做

所有权移交过去就行了

对象还是那个对象 对不对

移动语义的目的就是在这儿

为了和我们原始的构造函数相兼容

我的移动语义必须是采用引用的架构

这就是我们原来的构造函数——你看到的

都是必须使用一个引用

就是为了和我们数学式子相兼容

操作符重载的

都是引用——基本上都是引用

就是这个目的

所以你新的这个移动语义

也是为了构造一个新的对象

所以它的参数传递机制

还是应该是一个引用

不能够传指针 不能够传值

传指针 语义就变了

传值 就需要值的拷贝

就达不到移动语义的目的了

所以我们需要特别注意的就是

引用是必须的

但是 原先那个引用

我们现在称之为左值引用的那个东西

你也可以称它为普通引用 正常引用

叫普通引用或者左值引用

它传递的东西是左值

为什么要传递左值呢

是为了允许我们在函数内部

修改那个目标数据对象的值

所以要传递左值

这样的话它就可以出现在赋值号的左边了嘛

不是这个意思吗

如果你不想修改这个引用参数

所引用的那个目标数据对象

那么你可以使用const去修饰它呀

限定它就完了嘛

所以一开始的时候 我们传递的是左值

能够让函数在内部修改

那个目标数据对象的内容

所以为了区分过去的左值引用

我们实际上现在的传递

只能传递那个对象的右值

要么你怎么区分

左值引用和右值引用呢 对吧

所以现在 我们只能传递我们的右值

让人迷惑的地方就在于最后一条

我们传递右值是干嘛的

我们其实仍然需要修改它所引用的

目标数据对象的内容

所以 为了保证能够在函数内部

修改目标数据对象的内容

你传递过来的右值在我们函数内部

实际上仍然会作为左值来对待

否则不能出现赋值号的左边 对吧

所以右值传进来

它会被作为左值在函数内部进行操作

如果它有左值的话

如果它真地没有左值

传过来的那个东西只有右值

那我们只能按照右值的方式去访问它了

对吧 那是另外一回事

所以这个地方就特别让人迷惑