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

相关文章

C++ move 的作用详解及陷阱最佳实践

《C++move的作用详解及陷阱最佳实践》文章详细介绍了C++中的`std::move`函数的作用,包括为什么需要它、它的本质、典型使用场景、以及一些常见陷阱和最佳实践,感兴趣的朋友跟随小编一起看... 目录C++ move 的作用详解一、一句话总结二、为什么需要 move?C++98/03 的痛点⚡C++

详解C++ 存储二进制数据容器的几种方法

《详解C++存储二进制数据容器的几种方法》本文主要介绍了详解C++存储二进制数据容器,包括std::vector、std::array、std::string、std::bitset和std::ve... 目录1.std::vector<uint8_t>(最常用)特点:适用场景:示例:2.std::arra

C++构造函数中explicit详解

《C++构造函数中explicit详解》explicit关键字用于修饰单参数构造函数或可以看作单参数的构造函数,阻止编译器进行隐式类型转换或拷贝初始化,本文就来介绍explicit的使用,感兴趣的可以... 目录1. 什么是explicit2. 隐式转换的问题3.explicit的使用示例基本用法多参数构造

C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解

《C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解》:本文主要介绍C++,C#,Rust,Go,Java,Python,JavaScript性能对比全面... 目录编程语言性能对比、核心优势与最佳使用场景性能对比表格C++C#RustGoJavapythonjav

C++打印 vector的几种方法小结

《C++打印vector的几种方法小结》本文介绍了C++中遍历vector的几种方法,包括使用迭代器、auto关键字、typedef、计数器以及C++11引入的范围基础循环,具有一定的参考价值,感兴... 目录1. 使用迭代器2. 使用 auto (C++11) / typedef / type alias

C++ scoped_ptr 和 unique_ptr对比分析

《C++scoped_ptr和unique_ptr对比分析》本文介绍了C++中的`scoped_ptr`和`unique_ptr`,详细比较了它们的特性、使用场景以及现代C++推荐的使用`uni... 目录1. scoped_ptr基本特性主要特点2. unique_ptr基本用法3. 主要区别对比4. u

C++11中的包装器实战案例

《C++11中的包装器实战案例》本文给大家介绍C++11中的包装器实战案例,本文结合实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录引言1.std::function1.1.什么是std::function1.2.核心用法1.2.1.包装普通函数1.2.

C++多线程开发环境配置方法

《C++多线程开发环境配置方法》文章详细介绍了如何在Windows上安装MinGW-w64和VSCode,并配置环境变量和编译任务,使用VSCode创建一个C++多线程测试项目,并通过配置tasks.... 目录下载安装 MinGW-w64下载安装VS code创建测试项目配置编译任务创建 tasks.js

C++ 多态性实战之何时使用 virtual 和 override的问题解析

《C++多态性实战之何时使用virtual和override的问题解析》在面向对象编程中,多态是一个核心概念,很多开发者在遇到override编译错误时,不清楚是否需要将基类函数声明为virt... 目录C++ 多态性实战:何时使用 virtual 和 override?引言问题场景判断是否需要多态的三个关

C++简单日志系统实现代码示例

《C++简单日志系统实现代码示例》日志系统是成熟软件中的一个重要组成部分,其记录软件的使用和运行行为,方便事后进行故障分析、数据统计等,:本文主要介绍C++简单日志系统实现的相关资料,文中通过代码... 目录前言Util.hppLevel.hppLogMsg.hppFormat.hppSink.hppBuf