C++11(左值(引用),右值(引用),移动语义,完美转发)

简介: C++11(左值(引用),右值(引用),移动语义,完美转发)



一、左值与左值引用

1、左值

左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址+可以对它赋值,左值可以出现赋值符号的左边,也可以出现在右边。

以下的p、b、c、*p都是左值:

int* p = new int(0);
int b = 1;
const int c = 2;

注:定义时const修饰符后的左值,不能给他赋值,但是可以取它的地址。

2、左值引用

左值引用就是给左值的引用,给左值取别名。

以下几个是对上面左值的左值引用:

int*& rp = p;
int& rb = b;
const int& rc = c;
int& pvalue = *p;

总结:

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

// 左值引用只能引用左值,不能引用右值。
  int a = 10;
  int& ra1 = a;  // ra为a的别名
  //int& ra2 = 10;  // 编译失败,因为10是右值

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

// const左值引用既可引用左值,也可引用右值。
  const int& ra3 = 10;
  const int& ra4 = a;

3、意义

1、做函数参数:减少拷贝,提高效率,可做输出型参数。

2、做函数返回值:减少拷贝,提高效率。引用返回,可修改返回对象 。


二、右值与右值引用

1、右值

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

以下 10,x+y,fmin(x,y)都是常见的右值 :

double x = 1.1, y = 2.2;
10;
x + y;
fmin(x, y);

2、右值引用

右值引用就是对右值的引用,给右值取别名。

以下几个都是对右值的右值引用:

int&& rr1 = 10;
double&& rr2 = x + y;
double&& rr3 = fmin(x, y);

注:右值是不能取地址的,但是给右值取别名后,会导致右值被存储到特定位置,且可以取到该位置的地址,也就是说例如:不能取字面量10的地址,但是rr1引用后,可以对rr1取地址,也可以修改rr1。如果不想rr1被修改,可以用const int&& rr1 去引用。

总结:

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

// 右值引用只能右值,不能引用左值。
int&& r1 = 10;
//下面的错误
int a = 10;
int&& r2 = a;

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

// 右值引用可以引用move以后的左值
int&& r3 = std::move(a);

三、右值引用使用场景和意义

C++11为什么要增加右值引用呢?接着往下看。

我们看看 to_string的实现:

string to_string(int value)
  {
    bool flag = true;
    if (value < 0)
    {
      flag = false;
      value = 0 - value;
    }
    hwc::string str;
    while (value > 0)
    {
      int x = value % 10;
      value /= 10;
      str += (x + '0');
    }
    if (flag == false)
    {
      str += '-';
    }
    std::reverse(str.begin(), str.end());
    return str;
  }

上面的代码中,str 是临时变量,出了作用域就会销毁,所以无法使用左值引用传返回值来减少拷贝、提高效率。

如果函数的返回的是一个局部的对象,该对象出了函数作用域就被销毁了,这种情况下就不能用左值引用作为返回值了,只能以传值的方式返回(深拷贝)。这就是左值引用的不足之处。

基于上面的问题,右值引用就能够很好地解决这个问题。

1、右值的分类

内置类型右值 —— 纯右值。

自定义类型右值—— 将亡值。

2、移动构造

移动构造本质是将参数右值的资源窃取过来,占位已有,那么就不用做深拷贝了,所以它叫做移动构造,就是窃取别人的资源来构造自己

//拷贝构造
string(const string& s)
  :_str(nullptr)
  , _size(0)
  , _capacity(0)
{
  string tmp(s._str);
  swap(tmp);
}
//移动构造
string(string&& s)//右值引用
  :_str(nullptr)
    ,_size(0)
  ,_capacity(0)
{
  swap(s);
}

to_string 没有调用深拷贝的拷贝构造,而是调用了移动构造,移动构造中没有新开空间,拷贝数据,所以效率提高了。

实现了string 的移动构造后,因为 to_string 的返回值是一个右值,是一个将亡值,所以如果 string 既有拷贝构造函数,也有移动构造函数,那么编译器会去调用移动构造,并且右值在出了作用域后会自动销毁。这里就是一个移动语义。

3、移动赋值

//拷贝赋值
string& operator=(const string& s)
{
  string tmp(s);
  swap(tmp);
  return *this;
}
//移动赋值
string& operator=(string&& s)
{
  swap(s);
  return *this;
}

四、万能引用

void Fun(int& x)
{
  cout << "17" << endl;
}
void Fun(int&& x)
{
  cout << "18" << endl;
}
template<typename T>
void fun(T&& t)
{
  Fun(t); //会被折叠
}

如上代码,在模板中的&&不代表右值引用,而是万能引用(引用折叠),其既能接收左值又能接收右值。模板的万能引用只是提供了能够接收同时接收左值引用和右值引用的能力,但是引用类型的唯一作用就是限制了接收的类型,后续使用中都退化成了左值。

即:t 既能引用左值,也能引用右值。但是都会被折叠为左值引用。


五、完美转发

从四中,我们知道了万能引用会被折叠为左值。但是如果我们本身就想传右值呢?我们希望能够在传递过程中保持它的左值或者右值的属性, 就需要用我们下面学习的完美转发。

std::forward 完美转发在传参的过程中保留对象原生类型属性。

如下代码:std::forward<T>(t)在传参的过程中保持了 t 的原生类型属性。

template<typename T>
void PerfectForward(T&& t)
{
    Fun(std::forward<T>(t));
}
目录
相关文章
|
2月前
|
编译器 C++
C++ 11新特性之右值引用
C++ 11新特性之右值引用
45 1
|
6月前
|
编译器 C语言 C++
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值(中)
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值
35 1
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值(中)
|
6月前
|
存储 安全 C语言
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值(上)
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值
33 2
|
6月前
|
编译器 C语言 C++
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值(下)
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值
38 1
|
5月前
|
编译器 C++ 开发者
C++一分钟之-右值引用与完美转发
【6月更文挑战第25天】C++11引入的右值引用和完美转发增强了资源管理和模板灵活性。右值引用(`&&`)用于绑定临时对象,支持移动语义,减少拷贝。移动构造和赋值允许有效“窃取”资源。完美转发通过`std::forward`保持参数原样传递,适用于通用模板。常见问题包括误解右值引用只能绑定临时对象,误用`std::forward`,忽视`noexcept`和过度使用`std::move`。高效技巧涉及利用右值引用优化容器操作,使用完美转发构造函数和创建通用工厂函数。掌握这些特性能提升代码效率和泛型编程能力。
47 0
|
6月前
|
存储 安全 程序员
C++11:右值引用
C++11:右值引用
45 0
|
6月前
|
存储 算法 程序员
【C++入门到精通】右值引用 | 完美转发 C++11 [ C++入门 ]
【C++入门到精通】右值引用 | 完美转发 C++11 [ C++入门 ]
54 0
|
9天前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
36 4
|
10天前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
33 4
|
1月前
|
存储 编译器 对象存储
【C++打怪之路Lv5】-- 类和对象(下)
【C++打怪之路Lv5】-- 类和对象(下)
27 4