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

相关文章

C++中实现调试日志输出

《C++中实现调试日志输出》在C++编程中,调试日志对于定位问题和优化代码至关重要,本文将介绍几种常用的调试日志输出方法,并教你如何在日志中添加时间戳,希望对大家有所帮助... 目录1. 使用 #ifdef _DEBUG 宏2. 加入时间戳:精确到毫秒3.Windows 和 MFC 中的调试日志方法MFC

五大特性引领创新! 深度操作系统 deepin 25 Preview预览版发布

《五大特性引领创新!深度操作系统deepin25Preview预览版发布》今日,深度操作系统正式推出deepin25Preview版本,该版本集成了五大核心特性:磐石系统、全新DDE、Tr... 深度操作系统今日发布了 deepin 25 Preview,新版本囊括五大特性:磐石系统、全新 DDE、Tree

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

在 VSCode 中配置 C++ 开发环境的详细教程

《在VSCode中配置C++开发环境的详细教程》本文详细介绍了如何在VisualStudioCode(VSCode)中配置C++开发环境,包括安装必要的工具、配置编译器、设置调试环境等步骤,通... 目录如何在 VSCode 中配置 C++ 开发环境:详细教程1. 什么是 VSCode?2. 安装 VSCo

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名