左值与右值,以及c++11的相关特性。

2024-04-03 04:12
文章标签 c++ 特性 相关 右值 左值

本文主要是介绍左值与右值,以及c++11的相关特性。,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

左值

右值

左值引用总结:

右值引用总结:

右值引用使用场景和意义:

        1、左值引用的使用场景:

编译器优化1:

2、移动构造与移动赋值:

3、右值引用的使用场景: 

        编译器优化2:

4、右值引用引用左值及其一些更深入的使用场景分析

5、完美转发

总结:  

 新的类功能

(新增加的两个函数):

成员变量初始缺省值        

强制生成默认函数的关键字default:       

        禁止生成默认函数的关键字delete

 继承和多态中的final与override关键字


左值

        是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址+可以对它赋 值左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义时const修饰符后的左 值,不能给他赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。

右值

        也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引 用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能 取地址。右值引用就是对右值的引用,给右值取别名。 

        右值又分为:内置类型称为纯右值:一个数字或一个字面值或一个常量,它并不标识任何位置。自定义类型称为将亡值。

举例:

int a=1;
double b=0.32;
//自定义的类型,也是左值
//下式中的右边全是右值,右值又分为:内置类型称为纯右值:一个数字或一个字面值或一个常量,它并不标识任何位置。
//自定义类型称为将亡值。
int c=a+b;
string str="adffadsf";
//函数返回值也是右值
int add(int a,int b){int c=a+b;return c;
}
//返回c时,将c拷贝给一个临时变量,这个临时变量就是右值。

左值引用总结:

1. 左值引用只能引用左值,不能引用右值。

2. 但是const左值引用既可引用左值,也可引用右值。

int main(){// 左值引用只能引用左值,不能引用右值。int a = 10;int& ra1 = a;   
// ra为a的别名
//int& ra2 = 10;   // 编译失败,因为10是右值
// const左值引用既可引用左值,也可引用右值。
const int& ra3 = 10;const int& ra4 = a;return 0;}

右值引用总结:

1. 右值引用只能右值,不能引用左值。

2. 但是右值引用可以move以后的左值。

int main(){// 右值引用只能右值,不能引用左值。
int&& r1 = 10;// error C2440: “初始化”: 无法从“int”转换为“int &&”// message : 无法将左值绑定到右值引用
int a = 10;int&& r2 = a;// 右值引用可以引用move以后的左值
int&& r3 = std::move(a);return 0;}

细节:对于常量的右值引用不是取别名,而是生成对象,由地址可以看出 。

对于数字常量不可取地址。

右值引用使用场景和意义:

        1、左值引用的使用场景:

        做参数和做返回值都可以提高效率。

void func1(bit::string s){}void func2(const bit::string& s){}int main(){bit::string s1("hello world");// func1和func2的调用我们可以看到左值引用做参数减少了拷贝,提高效率的使用场景和价值
func1(s1);func2(s1);}// string operator+=(char ch)  传值返回存在深拷贝
// string& operator+=(char ch) 传左值引用没有拷贝提高了效率
s1 += '!';return 0;
}

编译器优化1

一般编译器会优化省略返回值到中间变量这次拷贝

2、移动构造与移动赋值:

// 拷贝构造
string(const string& s) : _str(nullptr) {cout << "string(const string& s) -- 深拷贝" << endl;string tmp(s._str);swap(tmp);
}
// 赋值重载
string& operator=(const string& s) {cout << "string& operator=(string s) -- 深拷贝" << endl;string tmp(s);swap(tmp);return *this;
}
// 移动构造
string(string&& s) : _str(nullptr), _size(0), _capacity(0) {cout << "string(string&& s) -- 移动语义" << endl;swap(s);
}
// 移动赋值
string& operator=(string&& s) {cout << "string& operator=(string&& s) -- 移动语义" << endl;swap(s);return *this;
}

        上面的代码可知:采用右值引用作为形参接受实参的构造函数赋值运算符重载被称为移动构造移动赋值。

  • 当构造新对象和赋值对象时,用右值(自定义类型是将亡值)进行时,会调用移动构造和移动赋值。可以发现本质是当前构造或赋值对象与右值进行交换,这个交换会交换两值在栈区的值,右值在堆区上的内容没有改变,只是指向的指针变成了构造或赋值的对象,综上,当这条构造或赋值语句结束后,拷贝的空间仅有栈区上的指针和其他信息,也就是浅拷贝实现了深拷贝的功能,右值生命周期结束时,销毁的是构造或者赋值对象的空间。
  • 如果拷贝构造和普通的赋值运算符重载的话,会进行深拷贝,将堆区上的内容也要拷贝一次,
  • 由此可见,尤其是对象比较大时(堆区上存放实际信息),移动构造和移动赋值极大的减少了时间复杂度。

3、右值引用的使用场景: 

namespace bit {
bit::string to_string(int value) {bool flag = true;if (value < 0) {flag = false;value = 0 - value;}bit::string str;while (value > 0) {int x = value % 10;value /= 10;str += ('0' + x);}if (flag == false) {str += '-';}
}
} // namespace bit

            但是当函数返回对象是一个局部变量,出了函数作用域就不存在了,就不能使用左值引用返回, 只能传值返回。例如:bit::string to_string(int value)函数中可以看到,这里只能使用传值返回, 传值返回会导致至少1次拷贝构造(如果是一些旧一点的编译器可能是两次拷贝构造,)

        编译器优化2:

虽然返回值str是局部变量为左值,因为这种应用场景十分常见,所以编译器会将str识别成右值,实现右值引用,调用移动拷贝和移动赋值.

         右值引用和移动语义解决上述问题: 在bit::string中增加移动构造,移动构造本质是将参数右值的资源窃取过来,占位已有,那么就不用做深拷贝了,所以它叫做移动构造,就是窃取别人的资源来构造自己。

 

4、右值引用引用左值及其一些更深入的使用场景分析

按照语法,右值引用只能引用右值,但右值引用一定不能引用左值吗?因为:有些场景下,可能 真的需要用右值去引用左值实现移动语义。当需要用右值引用引用一个左值时,可以通过move 函数将左值转化为右值。C++11中,std::move()函数位于 头文件中,该函数名字具有迷惑性, 它并不搬移任何东西,唯一的功能就是将一个左值强制转化为右值引用,然后实现移动语义。

5、完美转发

  1. 模板中的&&不代表右值引用,而是万能引用,其既能接收左值又能接收右值。
  2. template<typename T>void PerfectForward(T&& t){Fun(t);}
  3. 模板的万能引用只是提供了能够接收同时接收左值引用和右值引用的能力,
  4. 引用类型的唯一作用就是限制了接收的类型,后续使用中都退化成了左值,
  5. 我们希望能够在传递过程中保持它的左值或者右值的属性, 就需要用我们下面学习的完美转发
​​void Fun(int& x) { cout << "左值引用" << endl; }
void Fun(const int& x) { cout << "const 左值引用" << endl; }
void Fun(int&& x) { cout << "右值引用" << endl; }
void Fun(const int&& x) { cout << "const 右值引用" << endl; }
// std::forward<T>(t)在传参的过程中保持了t的原生类型属性。
template<typename T>
void PerfectForward(T&& t)
{Fun(std::forward<T>(t));
}int main()
{PerfectForward(10);int a;PerfectForward(a);// 左值PerfectForward(std::move(a)); // 右值const int b = 8;PerfectForward(b);// 右值// const 左值PerfectForward(std::move(b)); // const 右值return 0;
}

    

总结:  

        c++11增加右值引用这一语法,实现移动拷贝和移动赋值,从而避免了很多场景下的将亡值(右值)在堆区空间资源的拷贝,对右值的堆区资源的掠夺,优化了时间复杂度。STL容器插入接口函数也增加了右值引用版本,并且采用了完美转发,避免右值退化成左值。

 新的类功能

(新增加的两个函数):

原来C++类中,有6个默认成员函数:

1. 构造函数

2. 析构函数

3. 拷贝构造函数

4. 拷贝赋值重载

5. 取地址重载

6. const 取地址重载

最后重要的是前4个,后两个用处不大。默认成员函数就是我们不写编译器会生成一个默认的。


         针对移动构造函数和移动赋值运算符重载有一些需要注意的点如下:

        如果你没有自己实现移动构造函数,且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任意一个。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数,对于内置类型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动构造, 如果实现了就调用移动构造,没有实现就调用拷贝构造。

        如果你没有自己实现移动赋值重载函数,且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任意一个,那么编译器会自动生成一个默认移动赋值。默认生成的移动构造函数,对于内置类型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动赋值,如果实现了就调用移动赋值,没有实现就调用拷贝赋值。(默认移动赋值跟上面移动构造 完全类似) 如果你提供了移动构造或者移动赋值,编译器不会自动提供拷贝构造和拷贝赋值。

成员变量初始缺省值        

 类成员变量初始化 C++11允许在类定义时给成员变量初始缺省值,默认生成构造函数会使用这些缺省值初始化,这个我们在雷和对象默认就讲了,这里就不再细讲了。

强制生成默认函数的关键字default:       

         强制生成默认函数的关键字default: C++11可以让你更好的控制要使用的默认函数。假设你要使用某个默认的函数,但是因为一些原因这个函数没有默认生成。比如:我们提供了拷贝构造,就不会生成移动构造了,那么我们可以 使用default关键字显示指定移动构造生成

class Person {
public:Person(const char* name = "", int age = 0) : _name(name), _age(age) {}Person(const Person& p) : _name(p._name), _age(p._age) {}Person(Person&& p) = default;private:bit::string _name;int _age;
};
int main() {Person s1;Person s2 = s1;Person s3 = std::move(s1);return 0;
}

        禁止生成默认函数的关键字delete

        如果能想要限制某些默认函数的生成,在C++98中,是该函数设置成private,并且只声明补丁 已,这样只要其他人想要调用就会报错。在C++11中更简单,只需在该函数声明加上=delete即 可,该语法指示编译器不生成对应函数的默认版本,称=delete修饰的函数为删除函数。

class Person {
public:Person(const char* name = "", int age = 0) : _name(name), _age(age) {}Person(const Person& p) = delete;private:bit::string _name;int _age;
};
int main() {Person s1;Person s2 = s1;Person s3 = std::move(s1);
}
return 0;

 继承和多态中的final与override关键字

这个我们在继承和多态章节已经进行了详细讲解继承和多态

这篇关于左值与右值,以及c++11的相关特性。的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

Redis的Hash类型及相关命令小结

《Redis的Hash类型及相关命令小结》edisHash是一种数据结构,用于存储字段和值的映射关系,本文就来介绍一下Redis的Hash类型及相关命令小结,具有一定的参考价值,感兴趣的可以了解一下... 目录HSETHGETHEXISTSHDELHKEYSHVALSHGETALLHMGETHLENHSET

在 VSCode 中配置 C++ 开发环境的详细教程

《在VSCode中配置C++开发环境的详细教程》本文详细介绍了如何在VisualStudioCode(VSCode)中配置C++开发环境,包括安装必要的工具、配置编译器、设置调试环境等步骤,通... 目录如何在 VSCode 中配置 C++ 开发环境:详细教程1. 什么是 VSCode?2. 安装 VSCo

python中的与时间相关的模块应用场景分析

《python中的与时间相关的模块应用场景分析》本文介绍了Python中与时间相关的几个重要模块:`time`、`datetime`、`calendar`、`timeit`、`pytz`和`dateu... 目录1. time 模块2. datetime 模块3. calendar 模块4. timeit

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

sqlite3 相关知识

WAL 模式 VS 回滚模式 特性WAL 模式回滚模式(Rollback Journal)定义使用写前日志来记录变更。使用回滚日志来记录事务的所有修改。特点更高的并发性和性能;支持多读者和单写者。支持安全的事务回滚,但并发性较低。性能写入性能更好,尤其是读多写少的场景。写操作会造成较大的性能开销,尤其是在事务开始时。写入流程数据首先写入 WAL 文件,然后才从 WAL 刷新到主数据库。数据在开始

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象