C++11特性——右值引用与移动构造函数

2024-06-20 10:08

本文主要是介绍C++11特性——右值引用与移动构造函数,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

面试时遇到的问题,之前的了解是浅尝辄止,但合格的程序媛应该不能止于此。

左值引用和右值引用

先理解两个概念:左值和右值。早期C语言给出的定义是:左值是一个表达式,可以出现在=的左边或右边;但右值只能出现在右边。 这个定义太模糊了。到了C++中,可以这么理解:对于一个表达式,凡是对其取地址(&)操作可以成功的都是左值,否则就是右值。 好了,下面我们看几个例子来加深下理解:

int x = 4;
int* p = &x;          //ok, x 是左值int& fun();
fun() = 42; 	     // ok, fun() 是左值
int* p1 = &fun();    // ok, fun() 是左值class A{};
A *a = &A();         //错误,A()是临时变量,是右值

现在来看左值引用和右值引用的概念,在C++11之前,不存在右值引用,因此将左值引用直接称为“引用”。也就是说,我们曾经一直用的int& x = y事实上是对于int类型左值的引用。右值引用 是 C++ 11中引入的新特性 ,可以理解为对右值的引用,我们知道在C++中右值不能被修改。但右值引用的出现,打破了这个限制,它允许我们获取右值的引用,并修改之。

右值引用的形式为:类型 && a= 被引用的对象 ,此外需要注意的是右值引用只能绑定到右值

int && x = 3;        //正确,3是右值int x = 3;
int && y = x;        //错误,x是左值

引用作为函数参数

C++中的(左值)引用可以用作函数的参数,并且也建议尽可能用引用作为函数的参数,主要原因是传引用比传值效率更高。其实不光左值引用可以作为函数参数,在C++中,右值引用也能作为函数参数,下面看两个函数:

void fun1(int & i)    //函数1 ,左值引用作参数
{ cout << "int & " << endl; 
}
void fun2(int && i)  //函数2, 右值引用作参数
{ cout << "int && " << endl; 
}// 对于以下语句的调用及输出如下:
int i = 12;
fun1(i);       //输出 int &
fun2(22);      //输出 int &&

拷贝构造函数的局限性

考虑一个例子,我们定义了一个工厂函数获得Test对象,然后在main()函数中创建了一个Test对象 t ,然后将调用工厂函数获得Test对象初始化 t ,运行程序,看看发生了什么。
在这里插入图片描述在这里插入图片描述
从运行结果来看,这个示例中调用了两次拷贝构造函数构造了两个临时对象,一次是在instance函数返回时,一次在对t的初始化。 其实这两个临时对象并没有什么意义,构造完了马上就析构了。但是就是因为这么两个无用的东西,在拷贝构造函数中执行了不必要的内存拷贝,这里还好,只是拷贝了100个int类型的对象,如果是拷贝100000个甚至更多了,可想而知效率是多么的低了。

移动构造函数

C++是个追求效率的语言,因此绝不容许那么低效的设计出现,有没有可能将 在工厂函数当中所构造对象的成员变量(m_p)所指向的那块内存“偷”过来,而不是重新开辟一块内存,然后再将之前的内容复制过来呢? 这就是移动构造函数设计的思想。

所谓移动构造函数,大家从名字上应该可以猜到:它应该就是一种构造函数,只不过它接受的参数是一个本类对象的右值引用,对于本例,移动构造函数的定义如下:

Test(Test && rhs):m_p(rhs.m_p)
{rhs.m_p = nullptr;
}

可以看到,在移动构造函数的初始化列表中,只做了一个浅拷贝m_p(rhs.m_p),将rhs对象已经申请的内存据为己用,同时将rhs的指针赋值为nullptr。这就避免了拷贝构造函数内存复制导致的效率问题。拷贝构造函数和移动构造函数在实现时其内存的变化如下图所示:
在这里插入图片描述
移动构造函数在用来构造临时变量或者用临时变量来构造对象的时候被调用,比如说,如果上面的例子在类中定义了移动构造函数,那么例中调用拷贝构造函数的那两处地方则应该调用移动构造函数。代码如下:
在这里插入图片描述
在这里插入图片描述

std::move

现在我们来看另外一种场景,在下面的情况下,我们知道在Test t2(t1)处会调用拷贝构造函数(t1是左值,因此不会调用移动构造函数),那么有没有一种办法在此处也调用移动构造函数而不是拷贝构造函数呢?

int main() 
{Test t1;// ......Test t2(t1);// ......
}

答案是肯定的,C++11标准中给我们提供了std::move来解决这个问题,如下,只需将Test t2(t1)换成下面的语句即可:

Test t2(std::move(t1));

这个std::move的作用就是将左值转换为右值,以便调用移动构造函数。

这篇关于C++11特性——右值引用与移动构造函数的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1077827

相关文章

新特性抢先看! Ubuntu 25.04 Beta 发布:Linux 6.14 内核

《新特性抢先看!Ubuntu25.04Beta发布:Linux6.14内核》Canonical公司近日发布了Ubuntu25.04Beta版,这一版本被赋予了一个活泼的代号——“Plu... Canonical 昨日(3 月 27 日)放出了 Beta 版 Ubuntu 25.04 系统镜像,代号“Pluc

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素(即第一个元素)是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa

C++字符串提取和分割的多种方法

《C++字符串提取和分割的多种方法》在C++编程中,字符串处理是一个常见的任务,尤其是在需要从字符串中提取特定数据时,本文将详细探讨如何使用C++标准库中的工具来提取和分割字符串,并分析不同方法的适用... 目录1. 字符串提取的基本方法1.1 使用 std::istringstream 和 >> 操作符示

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体:最多保留两次五、分析和代码实现5.1、问题分析5.

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map(如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现:基于红黑

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

利用Python和C++解析gltf文件的示例详解

《利用Python和C++解析gltf文件的示例详解》gltf,全称是GLTransmissionFormat,是一种开放的3D文件格式,Python和C++是两个非常强大的工具,下面我们就来看看如何... 目录什么是gltf文件选择语言的原因安装必要的库解析gltf文件的步骤1. 读取gltf文件2. 提