[算法与数据结构][c++]：左值、右值、左值引用、右值引用和std::move()

左值、右值、左值引用、右值引用和std::move

    • 1. 什么是左值、右值
    • 2. 什么是左值引用、右值引用
    • 3. **右值引用和std::move的应用场景**
      • 3.1 实现移动语义
      • 3.2 **实例：vector::push_back使用std::move提高性能**
    • **4. 完美转发 std::forward**
    • 5. Reference

写在前面： 如果你也被左值、右值、左值引用、右值引用和std::move搞得焦头烂额，相关概念和理解不够深入，或者认识模棱两可，那么这篇文章将非常的适合你，耐心阅读，相信一定会有所收获～～

1. 什么是左值、右值

左值： 可以取地址、位于等号左边 – 表达式结束后依然存在的持久对象(代表一个在内存中占有确定位置的对象)

右值： 没法取地址、位于等号右边 – 表达式结束时不再存在的临时对象(不在内存中占有确定位置的表达式）

便携方法：对表达式取地址，如果能，则为左值，否则为右值

int val;
val = 4; // 正确 ①
4 = val; // 错误 ②

上述例子中，由于在之前已经对变量val进行了定义，故在栈上会给val分配内存地址，运算符=要求等号左边是可修改的左值，4是临时参与运算的值，一般在寄存器上暂存，运算结束后在寄存器上移除该值，故①是对的，②是错的

2. 什么是左值引用、右值引用

引用本质是别名，可以通过引用修改变量的值，传参时传引用可以避免拷贝，其实现原理和指针类似。

左值引用：指向左值的引用，称为左值引用

int a = 5;
int &ref_a = a; // 左值引用指向左值，编译通过
int &ref_a = 5; // 左值引用指向了右值，会编译失败

引用是变量的别名，由于右值没有地址，没法被修改，所以左值引用无法指向右值。

那么const左值引用可不可以指向右值呢？

​ 可以！！！

const int &ref_a = 5;

const左值引用不会修改指向值，因此可以指向左值和右值，这也是为什么要使用const &作为函数参数的原因之一，如std::vector的push_back函数原型：

void push_back (const value_type& val); 
//如果没有const，vec.push_back(5)这样的代码就无法编译通过了。
//因为5是右值

右值引用：右值引用的标志是&&，可以指向右值，不可以指向左值。

int &&ref_a_right = 5; // okint a = 5;
int &&ref_a_left = a; // 编译不过，右值引用不可以指向左值ref_a_right = 6; // 右值引用的用途：可以修改右值

自然而然就会出现这样一个问题：右值引用有办法指向左值吗？右值引用有啥作用？

有办法，std::move()

int a = 5; // left value
int &ref_a_l = a; // left reference.
int &&ref_a_r = std::move(a); //rvalue reference.
std::cout << ref_a_r << std::endl;

左值a通过std::move移动到了右值ref_a_right中，那是不是a里边就没有值了？并不是，打印出a的值仍然是5.

std::move是一个非常有迷惑性的函数，不理解左右值概念的人往往以为它能把一个变量里的内容移动到另一个变量，但事实上std::move移动不了什么，唯一的功能是把左值强制转化为右值，让右值引用可以指向左值。其实现等同于一个类型转换：static_cast<T&&>(lvalue)。 所以，单纯的std::move(xxx)不会有性能提升！！！！

那么左值引用、右值引用本身是左值还是右值？

被声明出来的左值引用和右值引用都是左值，因为他们都是有地址的，也位于等号左边，这符合我们刚刚的定义。

右值引用既可以是左值也可以是右值，如果有名称则为左值，否则是右值。作为函数返回值的 && 是右值，直接声明出来的 && 是左值

左右值引用的区别：

  1. 从性能上讲，左右值引用没有区别，传参使用左右值引用都可以避免拷贝。
  2. 右值引用可以直接指向右值，也可以通过std::move指向左值；而左值引用只能指向左值(const左值引用也能指向右值)。
  3. 作为函数形参时，右值引用更灵活。虽然const左值引用也可以做到左右值都接受，但它无法修改，有一定局限性。

3. 右值引用和std::move的应用场景

按上文分析，std::move只是类型转换工具，不会对性能有好处；右值引用在作为函数形参时更具灵活性，看上去还是挺鸡肋的。他们有什么实际应用场景吗？

3.1 实现移动语义

在实际场景中，右值引用和std::move被广泛用于在STL和自定义类中实现移动语义，避免拷贝，从而提升程序性能。 在没有右值引用之前，一个简单的数组类通常实现如下，有构造函数、拷贝构造函数、赋值运算符重载、析构函数等。

class Array {
public:Array(int size) : size_(size) {data_ = new int[size_];}// 深拷贝构造->当代码中有指针开辟堆内存时，// 		必须显式定义拷贝构造函数，开辟新的堆内存，存储拷贝后的指针数据，// 		否则两个对象的指针会指向同一个堆内存地址，当某一个对象析构后，// 		相应的堆内存就会释放掉，导致另一个对象内的指针成为悬浮指针！！！// 浅拷贝->不涉及指针的拷贝Array(const Array& temp_array) {size_ = temp_array.size_;data_ = new int[size_];for (int i = 0; i < size_; i ++) {data_[i] = temp_array.data_[i];}}// 深拷贝赋值 const引用避免了传参拷贝，但是堆内存仍然需要深拷贝，所以需要用到std::move实现移动赋值Array& operator=(const Array& temp_array) {delete[] data_;size_ = temp_array.size_;data_ = new int[size_];for (int i = 0; i < size_; i ++) {data_[i] = temp_array.data_[i];}}~Array() {delete[] data_;}public:int *data_;int size_;
};

该类的拷贝构造函数、赋值运算符重载函数已经通过使用左值引用传参来避免一次多余拷贝了，但是内部实现要深拷贝，无法避免。 这时，有人提出一个想法：是不是可以提供一个移动构造函数，把被拷贝者的数据移动过来，被拷贝者后边就不要了，这样就可以避免 深拷贝 了，

关于深拷贝和浅拷贝的区别和联系，后续也会出一篇文章，链接在：深拷贝与浅拷贝
深拷贝构造->当代码中有指针开辟堆内存时，必须显式定义拷贝构造函数，开辟新的堆内存，存储拷贝后的指针数据，否则两个对象的指针会指向同一个堆内存地址，当某一个对象析构后，相应的堆内存就会释放掉，导致另一个对象内的指针成为悬浮指针！！！
浅拷贝->不涉及指针的拷贝

如：

class Array {
public:Array(int size) : size_(size) {data_ = new int[size_];}// 深拷贝构造Array(const Array& temp_array) {...}// 深拷贝赋值Array& operator=(const Array& temp_array) {...}// 移动构造函数（重载深拷贝构造函数），可以浅拷贝-> 形参是const& 构造函数内，对temp_array赋值，编译不通过～Array(const Array& temp_array, bool move) {data_ = temp_array.data_;size_ = temp_array.size_;// 为防止temp_array析构时delete data，提前置空其data_      temp_array.data_ = nullptr;}~Array() {delete [] data_;}public:int *data_;int size_;
};

这么做有2个问题：

  • 不优雅，表示移动语义还需要一个额外的参数(或者其他方式)。-> 重载拷贝构造函数
  • 无法实现！temp_array是个const左值引用，无法被修改，所以temp_array.data_ = nullptr;这行会编译不过。当然函数参数可以改成非const：Array(Array& temp_array, bool move){...}，这样也有问题，由于左值引用不能接右值，Array a = Array(Array(), true);这种调用方式就没法用了。

可以发现左值引用真是用的很不爽，右值引用的出现解决了这个问题，在STL的很多容器中，都实现了以 右值引用为参数的移动构造函数和移动赋值重载函数，或者其他函数，最常见的如std::vector的push_back和emplace_back。参数为左值引用意味着拷贝，为右值引用意味着移动。

class Array {
public:......// 优雅Array(Array&& temp_array) {data_ = temp_array.data_;size_ = temp_array.size_;// 为防止temp_array析构时delete data，提前置空其data_      temp_array.data_ = nullptr;}public:int *data_;int size_;
};

如何判断一个对象是否是可以移动的？

在C++中，是否可以移动一个对象，取决于该对象的类是否定义了移动构造函数或移动赋值运算符。 以下是一些判断一个对象是否可以被移动的方法：

  1. 检查类的定义：如果一个类定义了移动构造函数或移动赋值运算符，那么这个类的对象就可以被移动。移动构造函数和移动赋值运算符的声明通常如下：

    class MyClass {
public:MyClass(MyClass&& other); // 移动构造函数MyClass& operator=(MyClass&& other); // 移动赋值运算符// ...
};

    注意，这两个函数的参数都是右值引用。

  2. 使用std::is_move_constructible和std::is_move_assignable：这两个模板在<type_traits>头文件中定义，可以用来检查一个类型是否有可用的移动构造函数或移动赋值运算符：

    std::cout << std::is_move_constructible<MyClass>::value << std::endl; // 如果MyClass可移动，输出1，否则输出0
std::cout << std::is_move_assignable<MyClass>::value << std::endl; // 如果MyClass可移动赋值，输出1，否则输出0

  3. 使用std::move_if_noexcept：这个模板函数可以用来判断是否可以无异常地移动一个对象。如果移动操作可能抛出异常，它会选择拷贝操作。这在一些容器操作中非常有用，例如std::vector的重新分配。

需要注意的是，即使一个对象可以被移动，也不意味着应该总是移动它。在某些情况下，例如当你知道一个对象将在移动操作后立即被销毁，或者你想避免昂贵的拷贝操作时，移动是有意义的。在其他情况下，移动可能会导致难以追踪的错误，例如，如果你错误地移动了一个仍然需要使用的对象。

3.2 实例：vector::push_back使用std::move提高性能

// std::move会调用到移动语义函数，避免了深拷贝。
int main() {std::string str1 = "aacasxs";std::vector<std::string> vec;vec.push_back(str1); // 传统方法，copyvec.push_back(std::move(str1)); // 调用移动语义的push_back方法，避免拷贝，str1会失去原有值，变成空字符串vec.emplace_back(std::move(str1)); // emplace_back效果相同，str1会失去原有值vec.emplace_back("axcsddcas"); // 当然可以直接接右值
}// std::vector方法定义
void push_back (const value_type& val);
void push_back (value_type&& val); // 内部调用了emplace_backvoid emplace_back (Args&&... args);

可移动对象在<需要拷贝且被拷贝者之后不再被需要>的场景，建议使用std::move触发移动语义，提升性能。

moveable_objecta = moveable_objectb; 
改为： 
moveable_objecta = std::move(moveable_objectb);

还有些STL类是move-only的，比如unique_ptr，这种类只有移动构造函数，因此只能移动(转移内部对象所有权，或者叫浅拷贝)，不能拷贝(深拷贝):

std::unique_ptr<A> ptr_a = std::make_unique<A>();std::unique_ptr<A> ptr_b = std::move(ptr_a); // unique_ptr只有‘移动赋值重载函数‘，参数是&& ，只能接右值，因此必须用std::move转换类型std::unique_ptr<A> ptr_b = ptr_a; // 编译不通过

std::move本身只做类型转换，对性能无影响。 我们可以在自己的类中实现移动语义，避免深拷贝，充分利用右值引用和std::move的语言特性。

4. 完美转发 std::forward

和std::move一样，它的兄弟std::forward也充满了迷惑性，虽然名字含义是转发，但他并不会做转发，同样也是做类型转换.

与move相比，forward更强大，move只能转出来右值，forward都可以。

std::forward(u)有两个参数：T与 u。 a. 当T为左值引用类型时，u将被转换为T类型的左值； b. 否则u将被转换为T类型右值。

举个例子，有main，A，B三个函数，调用关系为：main->A->B，建议先看懂2.3节对左右值引用本身是左值还是右值的讨论再看这里：

void B(int&& ref_r) {ref_r = 1;
}// A、B的入参是右值引用
// 有名字的右值引用是左值，因此ref_r是左值
void A(int&& ref_r) {B(ref_r);  // 错误，B的入参是右值引用，需要接右值，ref_r是左值，编译失败B(std::move(ref_r)); // ok，std::move把左值转为右值，编译通过B(std::forward<int>(ref_r));  // ok，std::forward的T是int类型，属于条件b，因此会把ref_r转为右值
}int main() {int a = 5;A(std::move(a));
}

例2：

void change2(int&& ref_r) {ref_r = 1;
}void change3(int& ref_l) {ref_l = 1;
}// change的入参是右值引用
// 有名字的右值引用是 左值，因此ref_r是左值
void change(int&& ref_r) {change2(ref_r);  // 错误，change2的入参是右值引用，需要接右值，ref_r是左值，编译失败change2(std::move(ref_r)); // ok，std::move把左值转为右值，编译通过change2(std::forward<int &&>(ref_r));  // ok，std::forward的T是右值引用类型(int &&)，符合条件b，因此u(ref_r)会被转换为右值，编译通过change3(ref_r); // ok，change3的入参是左值引用，需要接左值，ref_r是左值，编译通过change3(std::forward<int &>(ref_r)); // ok，std::forward的T是左值引用类型(int &)，符合条件a，因此u(ref_r)会被转换为左值，编译通过// 可见，forward可以把值转换为左值或者右值
}int main() {int a = 5;change(std::move(a));
}

上边的示例在日常编程中基本不会用到，std::forward最主要运于模版编程的参数转发中，想深入了解需要学习万能引用(T &&)和引用折叠(eg:& && → ?)等知识，本文就不详细介绍这些了。

5. Reference

https://zhuanlan.zhihu.com/p/374392832

https://zhuanlan.zhihu.com/p/335994370

https://www.cnblogs.com/shadow-lr/p/Introduce_Std-move.html

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/605701.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

多模态推荐系统综述：一、特征交互 Bridge

多模态推荐系统综述：一、特征交互 Bridge

一、特征交互 挑战1.如何融合不同语义空间中的模态特征并获得每种模态的偏好。GNN注意力 挑战2.如何在数据稀疏的情况下获得推荐模型的全面表示。对比学习解缠学习 挑战3. 如何优化轻量级推荐模型和参数化模态编码器。 1. Bridge 侧重于考虑多模态信息来捕获用户和项目之间的…
阅读更多...
【一文详解】知识分享:(MySQL关系型数据库快速入门)

【一文详解】知识分享:(MySQL关系型数据库快速入门)

mysql基础 sql通用语法分类 DDL&#xff08;Data Define Language&#xff09;: 数据定义语言&#xff0c;用来定义数据库对象&#xff08;数据库、表、字段&#xff09;DML&#xff08;Data Manipulation Language&#xff09;: 数据操作语言&#xff0c;用来对数据库表中的…
阅读更多...
彻底掌握Python中 * 号

彻底掌握Python中 * 号

Python中的 *号是一个特殊的符号&#xff0c;在其他编程语言中&#xff0c;它最广为人知的用途就是作为乘法运算的符号。 而在Python中&#xff0c;它的用途远不止如此。 本文总结了Python中*号的所有用途&#xff0c;以供参考。 1. 算术运算 *号用来做算术运算几乎是所有编…
阅读更多...
creo老是卡住怎么办？如何解决Creo卡顿问题

creo老是卡住怎么办？如何解决Creo卡顿问题

Creo&#xff08;PRO/E&#xff09;是美国PTC公司于2010年10月推出CAD设计软件包。Creo是整合了PTC公司的三个软件Pro/Engineer的参数化技术、CoCreate的直接建模技术和ProductView的三维可视化技术的新型CAD设计软件包&#xff0c;是PTC公司闪电计划所推出的第一个产品。那么C…
阅读更多...
随写sdfwer

随写sdfwer

# 1. 分块思想 author: Ir1d, HeRaNO, Xeonacid ## 简介 其实&#xff0c;分块是一种思想&#xff0c;而不是一种数据结构。 从 NOIP 到 NOI 到 IOI&#xff0c;各种难度的分块思想都有出现。 分块的基本思想是&#xff0c;通过对原数据的适当划分&#xff0c;并在划分后的…
阅读更多...
C++类与对象基础(5)——日期类的实现

C++类与对象基础(5)——日期类的实现

对于实现日期类中需要用到的例如&#xff1a;构造函数&#xff0c;析构函数&#xff0c;运算符重载等内容&#xff0c;已经在前面几篇文章中进行介绍&#xff0c;故本文只给出关于类和对象中日期类的代码实现&#xff0c;对于代码的原理不给予详细的解释&#xff1a; 1.头文件…
阅读更多...
kubectl常用命令（全局篇）

kubectl常用命令（全局篇）

格式 -o [cmd] -o json|yaml|wide 如&#xff1a;输出json格式 kubectl get ns ingress-nginx -o json 获取基本信息get #查看集群基本信息 kubectl get cs|pods|nodes|ns|svc|rc|deployments kubectl get cs kubectl get pods kubectl get nodes kubectl get ns kubectl g…
阅读更多...
在openEuler环境下快速编译GreatSQL RPM包

在openEuler环境下快速编译GreatSQL RPM包

在上一篇中&#xff0c;已经介绍了在CentOS环境下编译GreatSQL RPM包的过程&#xff0c;本文再介绍如何在openEuler环境下编译GreatSQL RPM包。 运行环境是docker中的openEuler 22.03 x86_64&#xff1a; $ docker -v Docker version 20.10.10, build b485636$ docker run -itd…
阅读更多...
纯毛纱线市场调研：预计2026年增长至近20亿美元

纯毛纱线市场调研：预计2026年增长至近20亿美元

纯毛纱线是指纯天然的羊毛纤维制成的纱线&#xff0c;具有柔软、保暖等优良特性。随着人们对于环保、可持续发展和健康产品的重视&#xff0c;全球纯毛纱线市场呈现出稳步增长的趋势。全球市场分析&#xff1a; 根据市场研究公司发布的报告&#xff0c;全球纯毛纱线市场规模在2…
阅读更多...
Nginx 搭建可道云网盘

Nginx 搭建可道云网盘

目录 1.安装php-fpm 2. 建站点根目录与配置 2.1 建站点根目录 2.2 配置 3. 搭建成功 1.安装php-fpm nginx 需要使用php 需要安装php-fpm yum install php-fpm php-mbstring php-mysqlnd php-gd -y 修改 www.conf 文件的配置29行和41行&#xff0c;将用户会让用户组改成n…
阅读更多...
ArrayList部分功能实现

ArrayList部分功能实现

public class MyArraylist {public int[] elem;public int usedSize 0;//0//默认容量private static final int DEFAULT_SIZE 10;public MyArraylist() {this.elem new int[DEFAULT_SIZE];}/*** 打印顺序表:* 根据usedSize判断即可*/public void display() {for (int i 0; …
阅读更多...
数据透明化是什么意思，什么是透明管理？

数据透明化是什么意思，什么是透明管理？

一、透明管理是什么 透明管理专注工业数据可视化分析与呈现&#xff0c;为企业提供一站式数据可视化分析解决方案。聚焦工业BI&#xff0c;基于工业管理特点&#xff0c;打造“指标监控-异常发现-根因溯源-举措拆解-效果监控”管理闭环&#xff0c;实现工业全层级的透明管理。…
阅读更多...
SpringCloud-高级篇（十二）

SpringCloud-高级篇（十二）

在主从集群中slave节点发生了宕机&#xff0c;不用担心&#xff0c;只要它重启就能从master节点上完成数据的同步&#xff0c;恢复数据&#xff0c;如果宕机的不是slave而是master&#xff0c;是不是master重启就可以呢&#xff1f;如果你做了master节点的数据持久化&#xff0…
阅读更多...
GPT火了一年了，你还不懂大语言模型吗？

GPT火了一年了，你还不懂大语言模型吗？

本文主要介绍大语言的基本原理、以及应用场景和对未来的展望&#xff0c;侧重应用而非技术原理。 &#x1f3ac;个人简介&#xff1a;一个全栈工程师的升级之路&#xff01; &#x1f4cb;个人专栏&#xff1a;漫谈LLMs带来的AIGC浪潮 &#x1f380;CSDN主页 发狂的小花 &#…
阅读更多...
【Docker】容器的数据卷

【Docker】容器的数据卷

目录 概念及作用 配置数据卷 数据共享 一个容器挂载多个数据卷 概念及作用 Docker容器的数据卷是一种特殊类型的目录&#xff0c;即使容器被删除&#xff0c;存在于宿主机上&#xff0c;可以供一个或多个容器使用。数据卷可以绕过联合文件系统&#xff0c;提供持续存储或共…
阅读更多...
6547网文库动态 | 少儿编程考级真题、信息学奥赛、PPT课件等

6547网文库动态 | 少儿编程考级真题、信息学奥赛、PPT课件等

近期动态&#xff1a;少儿编程题库网上传了2023年12月等级考试真题&#xff0c;主要有GESP真题、电子学会青少年软件编程等级考试真题&#xff0c;少儿编程文库系统主要上传了全国中小学信息技术创新与实践大赛&#xff08;NOC大赛&#xff09;真题&#xff0c;信息技术课件&am…
阅读更多...
C++CLI——4数组、泛型、集合与属性

C++CLI——4数组、泛型、集合与属性

CCLI——4数组、泛型、集合与属性 C数组 在c中&#xff0c;数组的大小必须在编译时确定&#xff0c;并且将数组传递给函数时&#xff0c;传递的只是数组起始地址&#xff0c;所以要想办法连同数组大小一同传递给函数。 int arr[4] { 1,2,3,4 }; int arr1[] { 1,2,3,4 }; i…
阅读更多...
CodeWave智能开发平台--03--目标:应用创建--07供应商数据表格01

CodeWave智能开发平台--03--目标:应用创建--07供应商数据表格01

摘要 本文是网易数帆CodeWave智能开发平台系列的第09篇&#xff0c;主要介绍了基于CodeWave平台文档的新手入门进行学习&#xff0c;实现一个完整的应用&#xff0c;本文主要完成07供应商数据表格 CodeWave智能开发平台的09次接触 CodeWave参考资源 网易数帆CodeWave开发者…
阅读更多...
相机同步遇到的小问题

相机同步遇到的小问题

出现问题 在进行两个相机显示的时候&#xff0c;出现了相机显示不同步的情况&#xff0c;具体情况如下视频所示&#xff1a; 华睿/大华相机左右相机显示不同步 可以见到视频之中&#xff0c;右相机是比左相机更快一点的&#xff0c;但是有的时候就是同步的。我调用的代码是现成…
阅读更多...
爬虫-4-数据提取-json，jsonpath，正则

爬虫-4-数据提取-json，jsonpath，正则

#本文仅供学习ԅ(ㅂԅ)
阅读更多...
最新文章

Copyright @ 2022~2023