左值与右值,以及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++右移运算符的一个小坑及解决》文章指出右移运算符处理负数时左侧补1导致死循环,与除法行为不同,强调需注意补码机制以正确统计二进制1的个数... 目录我遇到了这么一个www.chinasem.cn函数由此可以看到也很好理解总结我遇到了这么一个函数template<typename T>unsigned

C++统计函数执行时间的最佳实践

《C++统计函数执行时间的最佳实践》在软件开发过程中,性能分析是优化程序的重要环节,了解函数的执行时间分布对于识别性能瓶颈至关重要,本文将分享一个C++函数执行时间统计工具,希望对大家有所帮助... 目录前言工具特性核心设计1. 数据结构设计2. 单例模式管理器3. RAII自动计时使用方法基本用法高级用法

深入解析C++ 中std::map内存管理

《深入解析C++中std::map内存管理》文章详解C++std::map内存管理,指出clear()仅删除元素可能不释放底层内存,建议用swap()与空map交换以彻底释放,针对指针类型需手动de... 目录1️、基本清空std::map2️、使用 swap 彻底释放内存3️、map 中存储指针类型的对象

C++ STL-string类底层实现过程

《C++STL-string类底层实现过程》本文实现了一个简易的string类,涵盖动态数组存储、深拷贝机制、迭代器支持、容量调整、字符串修改、运算符重载等功能,模拟标准string核心特性,重点强... 目录实现框架一、默认成员函数1.默认构造函数2.构造函数3.拷贝构造函数(重点)4.赋值运算符重载函数

C++ vector越界问题的完整解决方案

《C++vector越界问题的完整解决方案》在C++开发中,std::vector作为最常用的动态数组容器,其便捷性与性能优势使其成为处理可变长度数据的首选,然而,数组越界访问始终是威胁程序稳定性的... 目录引言一、vector越界的底层原理与危害1.1 越界访问的本质原因1.2 越界访问的实际危害二、基

c++日志库log4cplus快速入门小结

《c++日志库log4cplus快速入门小结》文章浏览阅读1.1w次,点赞9次,收藏44次。本文介绍Log4cplus,一种适用于C++的线程安全日志记录API,提供灵活的日志管理和配置控制。文章涵盖... 目录简介日志等级配置文件使用关于初始化使用示例总结参考资料简介log4j 用于Java,log4c

C++归并排序代码实现示例代码

《C++归并排序代码实现示例代码》归并排序将待排序数组分成两个子数组,分别对这两个子数组进行排序,然后将排序好的子数组合并,得到排序后的数组,:本文主要介绍C++归并排序代码实现的相关资料,需要的... 目录1 算法核心思想2 代码实现3 算法时间复杂度1 算法核心思想归并排序是一种高效的排序方式,需要用

C++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发;同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符

C++中detach的作用、使用场景及注意事项

《C++中detach的作用、使用场景及注意事项》关于C++中的detach,它主要涉及多线程编程中的线程管理,理解detach的作用、使用场景以及注意事项,对于写出高效、安全的多线程程序至关重要,下... 目录一、什么是join()?它的作用是什么?类比一下:二、join()的作用总结三、join()怎么