c++11的右值引用

2024-06-12 14:38
文章标签 c++ 引用 右值

本文主要是介绍c++11的右值引用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

 在pixhawk中看到如下代码:  

template<typename U>OwnPtr<T>& operator=(OwnPtr<U>&& other){T *old = _ptr;_ptr = other.leak();delete old;return *this;}

解析摘录如下: http://www.cnblogs.com/cposture/p/4927712.html

0 左值和右值

    一个左值表达式代表的是对象本身,而右值表达式代表的是对象的值;变量也是左值。

1 右值引用作用

    为了支持移动操作(包括移动构造函数和移动赋值函数),C++才引入了一种新的引用类型——右值引用,可以自由接管右值引用的对象内容。

 

2 右值引用绑定的对象

    返回非引用类型的函数,产生右值的表达式(算术表达式、关系表达式、位、后置递增递减)

3 和左值引用的区别

  1. 绑定的对象(引用的对象)不同,左值引用绑定的是返回左值引用的函数、赋值、下标、解引用、前置递增递减
  2. 左值持久,右值短暂,右值只能绑定到临时对象,所引用的对象将要销毁或该对象没有其他用户
  3. 使用右值引用的代码可以自由的接管所引用对象的内容

 

清单1
复制代码
1 int &&i = 1;
2 int b = 2;
3 cout << i << endl;
4 i = b;
5 cout << i << endl;
6 //输出1 2
复制代码
清单1中i绑定到了右值1,说明:初始化时,右值引用一定要用一个右值表达式绑定;初始化之后,可以用左值表达式修改右值引用的所引用临时对象的值
清单2:清单1反汇编
复制代码
;省略上面代码int &&i = 1;
00C044DE  mov         dword ptr [ebp-14h],1  
00C044E5  lea         eax,[ebp-14h]  
00C044E8  mov         dword ptr [ebp-8],eax  int b = 2;
00C044EB  mov         dword ptr [ebp-20h],2  
;省略输出代码i = b;
00C04523  mov         eax,dword ptr [ebp-8]  
00C04526  mov         ecx,dword ptr [ebp-20h]  
00C04529  mov         dword ptr [eax],ecx  
;省略余下代码
复制代码
清单2可以清楚看出右值引用的底层实现。第3行对一个临时变量赋值0,第4-5行将临时变量地址存储至i中,因此i存储的实际是临时对象的地址(也就是对临时对象的一种引用)。
第10行mov  eax,dword ptr [ebp-8]取出了i存储的数据(临时对象地址),11-12行将b变量的值赋值到临时对象,而i存储的数据不变,仍是存储临时对象的地址(也就是对临时对象的一种引用)。
清单3:右值引用变量也是左值
1 int&&temp =0;
2 int&&i = temp;
清单3中temp是一个右值引用变量,变量是左值,因此i引用temp左值是非法的!
清单4:右值引用赋值右值引用
1 int &&temp = 0;
2 int &&i = 1;
3 i = temp;
清单4是合法的,取出temp所引用临时对象的值,再赋值给i所引用临时对象的值。
清单5
复制代码
 1 class A{
 2 public:
 3     int b;
 4     int a;
 5     char c[256];
 6 };
 7 void f(A a)
 8 {
 9     ;
10 }
11 int main(int argc, char const *argv[])
12 {
13     A &&a = A();
14     f(a);
15 }
复制代码
清单5是合法的,过程符合一般逻辑,即会生成a引用临时对象的一个副本,再传入副本对象的地址。如果f函数的形参是引用类型的,那么调用f函数传入的是a引用对象的地址,而不会生成副本

4 总结

  1. 右值引用,是对临时对象的一种引用,它是在初始化时完成引用的,但是右值引用不代表引用临时对象后就不能改变右值引用所引用对象的值,仍然可以在初始化后改变临时对象的值。
  2. 对于引用类型,可以用于它所引用对象类型的可以用的地方(把它当成普通变量),只不过用到的值是它所引用的对象的值,它还可以用于移动构造或赋值函数的地方

这篇关于c++11的右值引用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

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

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

深入理解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提供个模板形参的名

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)