【C++】左值与右值

2024-06-06 18:48
文章标签 c++ 右值 左值

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

1. 左值与右值

到了代码的下一行，是否能通过单一变量访问到值。若访问不到，就是右值；否则就是左值。字面量一定是右值。

#include <iostream>
using namespace std;#define func(x) __func(x, "func(" #x ")")void __func(int &x, const char *str) {cout << str << " is left value" << endl;return ;
}void __func(int &&x, const char *str) {cout << str << " is right value" << endl;return ;
}//之所以+重载不返回引用，而+=重载返回引用
//就是因为两个操作的结果值的类型不同
class A {
public ://因为+表达式的结果是右值A operator+(int x) {}// += 表达式的结果是左值A &operator+=(int x) {}
};int main() {func(1234);int x = 1234, y = 456;//到了下一行依然能通过x访问到x的值func(x);//x+y的结果是个临时匿名变量，所以到下一行的时候无法访问到该结果值，所以x+y返回值的类型是右值func(x + y);//x++值是x+1之前的值，到下一行无法通过x访问到x+1之前的值func(x++);//x+1以后的值，可以通过x访问到该值，所以++x的值是左值func(++x);//到了代码下一行无法通过单一变量访问到x+123的结果func(x + 123); //右值//到了代码下一行可以通过x访问到 x *= 2的结果func(x *= 2); //左func(y += 3); //左func(y * 3); //右return 0;
}

运行结果：
image-20210313160322553

2. 左值引用和右值引用

右值引用是绑定到右值上的引用，右值引用的定义形式是 int &&；左值引用的定义形式是int &。

正确传递左值和右值的关系：

#include <iostream>
using namespace std;#define func(x) __func(x, "func(" #x ")")
#define func2(x) __func2(x, "func2(" #x ")")void __func2(int &x, const char *str) {cout << str << " is left value" << endl;return ;
}void __func2(int &&x, const char *str) {cout << str << " is right value" << endl;return ;
}void __func(int &x, const char *str) {cout << str << " is left value" << endl;func2(x);return ;
}
//int &&x是右值引用
void __func(int &&x, const char *str) {cout << str << " is right value" << endl;//func2(x); //x表现出的是左值特性//func2(move(x));//强制变成右值特性func2(forward<int &&>(x));//以右值引用的形式向下传递,x会保持右值引用的特性，可以理解为强制转换，但是比强制转换更强大，可以转换为某种类型的引用return ;
}//之所以+重载不返回引用，而+=重载返回引用
//就是因为两个操作的结果值的类型不同
class A {
public ://因为+表达式的结果是右值A operator+(int x) {}// += 表达式的结果是左值A &operator+=(int x) {}
};int main() {func(1234);int x = 1234, y = 456;//到了下一行依然能通过x访问到x的值func(x);//x+y的结果是个临时匿名变量，所以到下一行的时候无法访问到该结果值，所以x+y返回值的类型是右值func(x + y);//x++值是x+1之前的值，到下一行无法通过x访问到x+1之前的值func(x++);//x+1以后的值，可以通过x访问到该值，所以++x的值是左值func(++x);//到了代码下一行无法通过单一变量访问到x+123的结果func(x + 123); //右值//到了代码下一行可以通过x访问到 x *= 2的结果func(x *= 2); //左func(y += 3); //左func(y * 3); //右return 0;
}

运行结果：
image-20210313191612706
move 和 forward 函数为什么重要呢？本质原因是C++有重载，保证用正确的类型向下传递，保证可以调用到正确的函数重载形式。

forward 叫做 完美转发，比强制转换更厉害的是可以转换为某种类型的引用。

3. 引用绑定的顺序

#include <iostream>
using namespace std;void func1(int &x) {cout << __PRETTY_FUNCTION__ << "called" << endl;
}void func1(const int &x) {cout << __PRETTY_FUNCTION__ << "called" << endl;
}void func1(int &&x) {cout << __PRETTY_FUNCTION__ << "called" << endl;
}void func1(const int &&x) {cout << __PRETTY_FUNCTION__ << "called" << endl;
}int main() {int n;const int y = 123;func1(n); //func1(int &);func1(y); //func1(const int &)func1(123 + 456); //func1(int &&)return 0;
}

运行结果：
image-20210313200227802
const 类型的左值引用可以绑定所有数据类型：

#include <iostream>
using namespace std;/*void func1(int &x) {cout << __PRETTY_FUNCTION__ << "called" << endl;
}*/void func1(const int &x) {cout << __PRETTY_FUNCTION__ << "called" << endl;
}/*void func1(int &&x) {cout << __PRETTY_FUNCTION__ << "called" << endl;
}void func1(const int &&x) {cout << __PRETTY_FUNCTION__ << "called" << endl;
}*/int main() {int n;const int y = 123;func1(n); //func1(int &);func1(y); //func1(const int &)func1(123 + 456); //func1(int &&)return 0;
}

运行结果：
在这里插入图片描述
不能绑定到func(int &)是因为在func1(int &)中是可能修改该值的，常量值是不能绑定到int &的，但是func1(const int &)是不能修改的参数的，所以绑定到func1(const int &)是为了包含所有情况。绑定顺序就是优先绑定和自己类型匹配的引用，否则绑定到const类型的左值引用。

4. 移动构造

/*************************************************************************> File Name: move_ctor.cpp> Author: Maureen > Mail: Maureen@qq.com > Created Time: 二  1/11 16:17:49 2022************************************************************************/#include <iostream>
using namespace std;
//实现自己的vector
namespace maureen {
class vector {
public :vector(int n = 10) : __size(n), data(new int[n]) {cout << "default constructor" << endl;}vector(const vector &v) : __size(v.size()), data(new int[__size]) {cout << "deep copy constructor" << endl;for (int i = 0; i < size(); i++) ++data[i] = v[i];return ;}//合并两个动态数组vector operator+(const vector &v) {vector ret(v.size() + this->size());vector &now = *this;for (int i = 0; i < size(); i++) {ret[i] = now[i];}for (int i = size(); i< ret.size(); i++) {ret[i] = v[i - size()];}return ret;}int &operator[](int ind) const {return this->data[ind];}int size() const { return __size; }
private :int __size;int *data;
};
}//end of maureenostream &operator<<(ostream &out, const maureen::vector &v) {for (int i = 0; i < v.size(); i++) {out << v[i] << " ";}return out;
}int main() {maureen::vector v1, v2;for (int i = 0; i < v1.size(); i++) v1[i] = rand() % 100;for (int i = 0; i < v2.size(); i++) v2[i] = rand() % 100;maureen::vector v3(v1 + v2);cout << v1 << endl;cout << v2 << endl;cout << v3 << endl;return 0;
}

有返回值优化的运行结果：
image-20210313192938872
没有返回值优化的运行结果：
image-20210313194434931
maureen::vector v3(v1 + v2); 中的 v1+v2 会产生一个临时变量，但是却对这个临时变量做了拷贝，这没有必要，何不直接将临时变量的值拿过来。

所以就产生了一类特殊的构造函数： 移动构造

拷贝构造传入的是左值引用，所以在拷贝构造中，必须得做深拷贝；构造函数可以传左值引用，也可以传右值引用。

一旦调用了右值引用对象，说明传入的值是临时值，要不然不会绑定到右值引用上。这种情况下，就直接抢。这就是移动构造：

vector(vector &&v) : __size(v.size()), data(v.data) {v.data = nullptr; //因为有时候可能是在显式调用移动构造v.__size = 0;
}

移动构造就是传入右值引用的构造。

#include <iostream>
using namespace std;
//实现自己的vector
namespace maureen {
class vector {
public :vector(int n = 10) : __size(n), data(new int[n]) {cout << "default constructor" << endl;}vector(const vector &v) : __size(v.size()), data(new int[__size]) { //拷贝构造cout << "deep copy constructor" << endl;for (int i = 0; i < size(); i++) ++data[i] = v[i];return ;}vector(vector &&v) : __size(v.size()), data(v.data) { //移动构造cout << "move copy constructor" << endl;v.data = nullptr;v.__size = 0;}vector operator+(const vector &v) { //合并两个动态数组vector ret(v.size() + this->size());vector &now = *this;for (int i = 0; i < size(); i++) {ret[i] = now[i];}for (int i = size(); i< ret.size(); i++) {ret[i] = v[i - size()];}return ret;}int &operator[](int ind) const {return this->data[ind];}int size() const { return __size; }~vector() {if (data) delete[] data;data = nullptr;__size = 0;}
private :int __size;int *data;
};
}//end of maureenostream &operator<<(ostream &out, const maureen::vector &v) {for (int i = 0; i < v.size(); i++) {out << v[i] << " ";}return out;
}int main() {maureen::vector v1, v2;for (int i = 0; i < v1.size(); i++) v1[i] = rand() % 100;for (int i = 0; i < v2.size(); i++) v2[i] = rand() % 100;maureen::vector v3(v1 + v2);cout << v1 << endl;cout << v2 << endl;cout << v3 << endl;return 0;
}

去掉返回值优化后的结果：
image-20210313194740273
移动构造只是改变了指针的指向，而拷贝构造需要先创建一片存储区再将数据拷贝过来。

发现当前值是临时值的时候，就将它的资源抢过来。

C++因为引入左值引用和右值引用，重回巅峰。因为在有移动构造之前，STL效率不高，因为只要产生拷贝就是深拷贝，如 string，vector。

当拷贝构造是深拷贝时，就一定要配一个移动构造。

显式调用移动构造函数：

#include <iostream>
using namespace std;
//实现自己的vector
namespace maureen {
class vector {
public :vector(int n = 10) : __size(n), data(new int[n]) {cout << "default constructor" << endl;}vector(const vector &v) : __size(v.size()), data(new int[__size]) {cout << "deep copy constructor" << endl;for (int i = 0; i < size(); i++) ++data[i] = v[i];return ;}vector(vector &&v) : __size(v.size()), data(v.data) {cout << "move copy constructor" << endl;v.data = nullptr;v.__size = 0;}vector operator+(const vector &v) { //合并两个动态数组vector ret(v.size() + this->size());vector &now = *this;for (int i = 0; i < size(); i++) {ret[i] = now[i];}for (int i = size(); i< ret.size(); i++) {ret[i] = v[i - size()];}return ret;}int &operator[](int ind) const {return this->data[ind];}int size() const { return __size; }~vector() {if (data) delete[] data;data = nullptr;__size = 0;}
private :int __size;int *data;
};
}//end of maureenostream &operator<<(ostream &out, const maureen::vector &v) {for (int i = 0; i < v.size(); i++) {out << v[i] << " ";}return out;
}
int main() {maureen::vector v1, v2;for (int i = 0; i < v1.size(); i++) v1[i] = rand() % 100;for (int i = 0; i < v2.size(); i++) v2[i] = rand() % 100;maureen::vector v3(v1 + v2);cout << v1 << endl;cout << v2 << endl;cout << v3 << endl;maureen::vector v4(move(v1));//显式调用移动构造cout << v1 << endl;cout << v4 << endl;return 0;
}

去掉返回值优化的运行结果：
image-20210313194908978

这篇关于【C++】左值与右值的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1036934。

相关文章

C++ 中的 if-constexpr语法和作用

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函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1：创建单层目录示例 2：创建多级目录3. 关键注
阅读更多...
C++从序列容器中删除元素的四种方法

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque
阅读更多...
C++常见容器获取头元素的方法大全

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素（即第一个元素）是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa
阅读更多...
C++字符串提取和分割的多种方法

C++字符串提取和分割的多种方法

《C++字符串提取和分割的多种方法》在C++编程中,字符串处理是一个常见的任务,尤其是在需要从字符串中提取特定数据时,本文将详细探讨如何使用C++标准库中的工具来提取和分割字符串,并分析不同方法的适用... 目录1. 字符串提取的基本方法1.1 使用 std::istringstream 和 >> 操作符示
阅读更多...
C++原地删除有序数组重复项的N种方法

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体：最多保留两次五、分析和代码实现5.1、问题分析5.
阅读更多...
C++ 各种map特点对比分析

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map（如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现：基于红黑
阅读更多...
C++中函数模板与类模板的简单使用及区别介绍

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中，模板是实现泛型编程
阅读更多...
利用Python和C++解析gltf文件的示例详解

利用Python和C++解析gltf文件的示例详解

《利用Python和C++解析gltf文件的示例详解》gltf,全称是GLTransmissionFormat,是一种开放的3D文件格式,Python和C++是两个非常强大的工具,下面我们就来看看如何... 目录什么是gltf文件选择语言的原因安装必要的库解析gltf文件的步骤1. 读取gltf文件2. 提
阅读更多...
C++快速排序超详细讲解

C++快速排序超详细讲解

《C++快速排序超详细讲解》快速排序是一种高效的排序算法,通过分治法将数组划分为两部分,递归排序,直到整个数组有序,通过代码解析和示例,详细解释了快速排序的工作原理和实现过程,需要的朋友可以参考下... 目录一、快速排序原理二、快速排序标准代码三、代码解析四、使用while循环的快速排序1.代码代码1.由快
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2