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

最新推荐文章于 2024-05-25 16:26:55 发布

康熙说编程

最新推荐文章于 2024-05-25 16:26:55 发布

阅读量1.2k

点赞数 21

分类专栏： Modern C++ Basic C++ 文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/kelvin_yin/article/details/138551138

版权

Basic C++ 同时被 2 个专栏收录

60 篇文章 0 订阅

订阅专栏

Modern C++

53 篇文章 0 订阅

订阅专栏

在 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;
}