c++11引入了右值引用和移动语义,可以避免无谓的复制,提高了程序性能。
左值
表达式结束后仍然存在的持久对象,可对表达式用&取地址;变量,可以放在=的左边(也可以放右边)。
常见的左值:
- 变量、函数或数据成员的名字
- 返回左值引用的表达式,如++x、x=1、cout << ’ ’
- 字符串字面量如 “hello world”
右值
表达式结束时就不存在的临时对象,不可用&取地址,临时对象;只能放在=右边,没有名称无法对其进行赋值。
常见的右值:
- 返回非引用类型的表达式,如 x++、x+1
- 除字符串字面量之外的字面量,如11、true
右值引用&&
右值引用就是对一个右值进行引用的类型,需立即初始化,引用只是对该对象的一个别名。优化性能,避免深拷贝。
对于含有指针的类,我们需要自己实现拷贝构造函数,如果使用默认构造函数,会导致2次析构,产生问题。
- 左值引用:用&符号引用左值,常规的引用
- 右值引用:用&&符号引用右值
和声明左值引用一样,右值引用也必须立即初始化,只能用右值进行初始化
int a = 10;
int&& b = a; // error 右值引用不能初始化为左值
int&& c = 10; // right
右值引用可以对右值进行修改
int&& a = 10;
a = 20;
cout << a << endl; // 20
c++语法支持定义常量右值引用,const int&& a = 10; 但不会这样用
右值引用主要用于移动语义和完美转发,前者需要有修改右值的权限,const可使用左值引用
左值持久;右值短暂
右值引用只能绑定到临时对象/将要销毁的对象:1)所引用的对象将要被销毁 2)该对象没有其他用户
int&& r1 = 42; // 正确:字面常量是右值
int&& r2 = r1; // 错误:表达式r1是左值
// 变量是左值,我们不能将一个右值引用直接绑定到一个变量上,即使这个变量是右值引用类型也不行
右值引用优化性能,避免深拷贝
如果类中有指针,成员函数的返回值是对象类型,就要进行深拷贝,如果对象很大,拷贝构造的代价会很大,带来额外的性能损耗。
#include <iostream>
using namespace std;
class A {
public:
A() : m_ptr(new int(0)) { cout << "constructor A" << endl; }
A(const A& a):m_ptr(new int(*a.m_ptr)) {
cout << "copy constructor A" << endl;
}
~A() {
cout << "destructor A, m_ptr:" << m_ptr << endl;
delete m_ptr;
m_ptr = nullptr;
}
private:
int* m_ptr;
};
A get(bool flag) {
A a;
A b;
cout << "ready return" << endl;
if (flag) {
return a;
} else {
return b;
}
}
// 按值返回 要调用拷贝构造函数
int main() {
{ A a = get(false); }
cout << "main finish" << endl;
return 0;
}
如何避免临时对象的拷贝构造:使用移动构造函数,仅进行了浅拷贝
#include <iostream>
using namespace std;
class A {
public:
A() : m_ptr(new int(0)) { cout << "constructor A" << endl; }
A(const A& a):m_ptr(new int(*a.m_ptr)) {
cout << "copy constructor A" << endl;
}
~A() {
cout << "destructor A, m_ptr:" << m_ptr << endl;
delete m_ptr;
m_ptr = nullptr;
}
A(A&& a) : m_ptr(a.m_ptr) { a.m_ptr = nullptr;
cout << "move constructor A" << endl;
}
private:
int* m_ptr;
};
A get(bool flag) {
A a;
A b;
cout << "ready return" << endl;
if (flag) {
return a;
} else {
return b;
}
}
int main() {
{ A a = get(false); }
cout << "main finish" << endl;
return 0;
}
移动语义(move)
右值引用的一个重要目的是用来支持移动语义,移动语义可以将资源(堆、系统对象等)通过浅拷贝方式从一个对象转移到另一个对象,可以减少不必要的临时对象的创建、拷贝、销毁,大幅度提高c++程序的性能,消除临时对象的维护(创建和销毁)对性能的影响。
c++11提供了std::move ,是获得右值的方式,通过move可以将左值转为右值,同时清空右值
完美转发(forward)
forward完美转发实现了参数在传递过程中保持其值属性的功能,即若是左值,传递之后仍然是左值,若是右值,传递之后仍然是右值。
Template<class T>
void func(T&& val);
int&& a = 10;
int&& b = a; // error
// a是一个右值引用,但本身a也有内存名字,a本身是一个左值,再用右值引用是不对的
// 此时使用std::forward()完美转发,按照原来参数类型转发
int&& a = 10;
int&& b = std::forward<int>(a);
move:左值变右值,右值主要是减少不必要的拷贝
forward:
1)左值变右值
2)T&& t不代表就是右值,也可以是左值,根据具体传值;如果用forward给T&&传值,原来是什么值就是什么值
emplace_back
c++11可以用emplace_back代替push_back,emplace_back可以直接在vector中构建一个对象,而非创建一个临时对象,再放进vector,再销毁。
emplace_back可以省略一次构建和一次析构,从而达到优化的目的,执行速度会比push_back快。
以后push_back的地方改用emplace_back即可