【C++新特性】右值引用

2024-06-16 03:36
文章标签 c++ 特性 引用 右值

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

右值和右值的区别


C++11 中右值可以分为两种:一个是将亡值( xvalue, expiring value),另一个则是纯右值( prvalue, PureRvalue):

  1. 纯右值:非引用返回的临时变量、运算表达式产生的临时变量、原始字面量和 lambda 表达式

  2. 将亡值:与右值引用相关的表达式,比如,T&&类型函数的返回值、 std::move 的返回值等。


区分左值与右值的便捷方法是:可以对表达式取地址(&)就是左值,否则为右值 。所有有名字的变量或对象都是左值,而右值是匿名的。

​ 但右值引用延长了右值的生命周期,使用上相当于左值


例子1:

#include <iostream>
using namespace std;int main()
{//左值int num = 9;//左值引用int& a = num;//右值//右值引用int&& b = 8;//常量左值引用const int& C = num;//常量右值引用const int&& d = 6;/*const int&& e = b;	// error,右值引用只能通过右值初始化int && f = b		// error,右值引用只能通过右值初始化*/// 右值引用延长了右值的生命周期,相当于左值,可以给常量左值引用赋值。const int& g = b;const int& h = d;const int & i = a;int & j = b;return 0;
};

规则:

  1. 右值引用延长了右值的生命周期,使用上相当于左值
  2. 左值不能初始化右值引用。
  3. 右值只能初始化右值引用。


&& 的特性

例子2:

template<typename T>
void f(T&& param);
void f1(const T&& param);
f(10); 	
int x = 10;
f(x); 
f1(x);	// error, x是左值,左值不能初始化右值引用
f1(10); // ok, 10是右值

在上面的例子中函数模板进行了自动类型推导,需要通过传入的实参来确定参数param的实际类型。

  • 第4行中,对于f(10)来说传入的实参10是右值,因此T&&表示右值引用

  • 第6行中,对于f(x)来说传入的实参是x是左值,因此T&&表示左值引用

  • 第7行中,f1(x)的参数是const T&&不是未定引用类型,不需要推导,本身就表示一个右值引用


由于上述代码中存在 T&& 或者 auto&& 这种未定引用类型,当它作为参数时,有可能被一个右值引用初始化,也有可能被一个左值引用初始化,在进行类型推导时右值引用类型(&&)会发生变化,这种变化被称为引用折叠。在C++11中引用折叠的规则如下:

  • 通过右值推导 T&& 或者 auto&&得到的是一个右值引用类型
  • 通过非右值(右值引用、左值、左值引用、常量右值引用、常量左值引用)推导 T&& 或者 auto&& 得到的是一个左值引用类型
  • 另外还有一点需要额外注意 const T&& 表示一个右值引用,不是未定引用类型,不需要推导。

例子3:

int&& a1 = 5;
auto&& bb = a1;
auto&& bb1 = 5;int a2 = 5;
int &a3 = a2;
auto&& cc = a3;
auto&& cc1 = a2;const int& s1 = 100;
const int&& s2 = 100;
auto&& dd = s1;
auto&& ee = s2;const auto&& x = 5;		//type(x) = const int && xint && gg = 5;
auto && ii = gg;		// type(ii) =  int & iiint && hh = gg;         // 错误,gg是右值引用,使用上相当于左值,左值不可以初始化右值引用
int && hh = move(gg);	// ok,通过move()函数进行了资源的转移,将左值转换为了右值。
  • 第2行:a1为右值引用,推导出的bb为左值引用类型
  • 第3行:5为右值,推导出的bb1为右值引用类型
  • 第7行:a3为左值引用,推导出的cc为左值引用类型
  • 第8行:a2为左值,推导出的cc1为左值引用类型
  • 第12行:s1为常量左值引用,推导出的dd为常量左值引用类型
  • 第13行:s2为常量右值引用,推导出的ee为常量左值引用类型
  • 第15行:x为右值引用,不需要推导,只能通过右值初始化



参考链接:

爱编程的大丙-右值引用
爱编程的大丙-转移和完美转发

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



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

相关文章

新特性抢先看! 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. 提