C++11 新特性:右值引用

2024-05-11 14:04
文章标签 c++ 特性 引用 右值

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

在 C++98/03 标准的基础上,C++11 标准引入了大约 140 个新特性。其中,右值引用是这些新特性之一,也是最为重要的之一。

很多初学者对右值引用感到晦涩难懂,实际上右值引用只是一种新的 C++ 语法。真正具有挑战性的是基于右值引用引申出的两种 C++ 编程技巧,分别是移动语义(Move Semantics)和完美转发(Perfect Forwarding)。

本节首先将介绍右值引用的概念及其基本用法,至于移动语义和完美转发,将在后续章节中详细讨论。

理解右值引用之前,我们需要区分两个概念:左值和右值。

左值与右值

1、左值(Lvalue):指的是持久存在的对象,这些对象有明确的名称和存储位置。简单地说,左值是那些在表达式执行结束后依然存在的对象。

可以作为左值的对象特征:命名对象、可取地址&,可赋值。包括:

  • 基本类型变量、数组、数组元素
  • 字符串字面量,如「cppCamp」
  • 对象变量、对象成员
  • 指针、指针解引用后的对象/变量
  • 函数(可取地址)
  • 返回左值的表达式

2、右值(Rvalue):通常是临时的,没有明确名称的对象,它们在表达式结束时就不再存在。右值经常是对象的临时副本,用于表达式计算的中间结果。

可以作为右值的对象特征:无名、无法取地址,不可赋值。包括:

  • 各种临时对象(函数返回值)、字符串临时对象
  • 除字符串外的其他基本类型字面量
  • lambda 表达式
  • 运算符表达式

C++11 引入右值引用

右值引用通过&&符号表示:T&&,通常的引用 T& 现在被认为是左值引用。

右值引用在某些方面和左值引用有类似行为,比如必须被初始化,不能被重新绑定等。

右值引用表示对象可以「从这里移动到别的对象」,以支持移动语义。

C++98/03 标准中的使用 「&」 表示引用。此种引用方式有一个缺陷,即正常情况下只能操作 C++ 中的左值,无法对右值添加引用。例如:

int num = 10;
int &b = num; //正确
int &c = 10; //错误

上面的代码,编译器允许我们为 num 左值建立一个引用,但不能为 10 这个右值建立引用。因此,C++98/03 标准中的引用又称为左值引用。

虽然 C++98/03 标准不支持为右值建立非常量左值引用,但允许使用常量左值引用操作右值。也就是说,常量左值引用既可以操作左值,也可以操作右值,例如:

int num = 10;
const int &b = num; // num 是左值
const int &c = 10; // 10 是右值

右值往往是没有名称的,因此要使用它只能借助引用的方式。这就产生一个问题,实际开发中我们可能需要对右值进行修改(实现移动语义时就需要),显然左值引用的方式是行不通的。

为此,C++11 标准引入了右值引用,用 “&&” 表示。C++ 标准委员会在选定右值引用符号时,既希望能选用现有 C++ 内部已有的符号,还不能与 C++ 98 /03 标准产生冲突,最终选定了 2 个 ‘&’ 表示右值引用。

需要注意的,和声明左值引用一样,右值引用也必须立即进行初始化操作,且只能使用右值进行初始化,比如:

int num = 10;
const int &b = num;
const int &c = 10;

和常量左值引用不同的是,右值引用还可以对右值进行修改。例如:

#include <iostream>int main()
{int && a = 10;a = 100;std::cout << a << std::endl;
}

输出结果为 100。

另外值得一提的是,C++ 语法上是支持定义常量右值引用的。

示例:常量右值引用作为函数参数

#include <iostream>void printValue(const int&& value) {std::cout << "Value: " << value << std::endl;
}int main() {int x = 5;printValue(10); // 直接传入右值printValue(x);  // 错误:不能将左值传递给非const的右值引用printValue(std::move(x)); // 正确:显式转换为右值return 0;
}

尽管常量右值引用可以提供一些灵活性,但它的使用场景相对有限。

在实际编程中,更常见的是使用非常量右值引用来实现移动语义,或使用常量左值引用(const T&)来接受所有类型的参数而不进行修改。

常量右值引用主要在需要同时处理左值和右值,但又不修改它们的特定场景中使用。

右值的细分

C++11 标准中对右值做了更细致的划分,分别是纯右值(Pure value,简称 pvalue)和将亡值(eXpiring value,简称 xvalue )。

其中纯右值就是 C++98/03 标准中的右值,也就是本文中讲解的右值,而将亡值指的是和右值引用相关的表达式,比如某函数返回的 T&& 类型的表达式。

这点了解即可,不必深究。

总结

右值引用和移动语义是 C++11 标准引入的重要改进之一,为开发者提供了一个能写出更高效的代码语言特性,特别是在涉及大量资源管理和临时对象的场景。

接下来,我会用两篇文章分别介绍移动语义和完美转发。

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



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

相关文章

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