详解C++11中的右值引用与移动语义

2024-10-05 18:45:06

C++11的一个最主要的特性就是可以移动而非拷贝对象的能力。很多情况都会发生对象的拷贝，有时对象拷贝后就立即销毁，在这些情况下，移动而非拷贝对象会大幅度提升性能。

右值与右值引用

为了支持移动操作，新标准引入了一种新的引用类型——右值引用，就是必须绑定到右值的引用。我们通过&&而不是&来获得右值引用。右值引用一个重要的特性就是只能绑定到将要销毁的对象。

左值和右值是表达式的属性，一些表达式生成或要求左值，而另一些则生成或要求右值。一般而言，一个左值表达式表示的是一个对象的身份，而右值表达式表示的是对象的值。（可以取地址的、有名字的就是左值；不能取地址的、没有名字的就是右值。）两者明显的区别就是左值有持久的状态，而右值要么是字面常量，要么是在表达式求值过程中创建的临时对象。

类似于常规引用（左值引用），一个右值引用也不过是某个对象的另一个名字而已。我们不能将左值引用绑定到要求转换的表达式、字面常量或是返回值的表达式，也不能把右值应用直接绑定到一个左值上。但是，常量左值引用可以绑定到非常量左值、常量左值、右值，是一个万能引用类型。不过相比右值引用所引用的右值，常量左值引用所引用的右值在它的“余生”中只能是只读的。

int i = 42;
int &r = i;     //r引用i
int &r2 = i*2;    //错误，i*2是一个右值
int &&rr = i；    //错误，不能将一个右值引用绑定到一个左值上
int &&rr2 = i*2;   //正确，将rr2绑定到一个乘法结果上
const int &r3 = i*2; //正确，将一个常量引用绑定到一个右值上

变量可以看做只有一个运算对象而没有运算符的表达式，是一个左值。我们不能将一个右值引用直接绑定到一个变量上，即使这个变量是右值引用类型。但是，我们可以通过新标准库中的move函数来获得绑定到左值上的右值引用。

int &&rr3 = std::move(rr2);

注意，被转化的左值，其生命周期并没有随着左右至的转化而改变，在转换之后使用左值可能造成运行时错误。因此，调用move就意味着承诺：除了对原左值变量赋值或销毁它外，我们将不再使用它。不过更多的时候，我们需要转换成右值引用的还是一个确实生命周期即将结束的对象。

移动构造函数和移动赋值运算符

为了让自定义类型也支持移动操作，需要为其定义移动构造函数和移动赋值运算符。这两个成员类似对应的拷贝操作，但它们从给定对象窃取资源而不是拷贝资源。类似于拷贝构造函数，移动构造函数的第一个参数是该类类型的一个右值引用，任何额外的参数都必须有默认实参。除了完成资源移动外，移动构造函数还必须确保移后源对象处于有效的、可析构的状态。

#include <iostream>
#include <algorithm> 

class MemoryBlock
{
public:
  // 构造函数
  explicit MemoryBlock(size_t length) : _length(length) , _data(new int[length]) {} 

  // 析构函数
  ~MemoryBlock()
  {
    if (_data != nullptr)  delete[] _data;
  } 

  // 拷贝赋值运算符
  MemoryBlock& operator=(const MemoryBlock& other)
  {
    if (this != &other)
    {
      delete[] _data;
      _length = other._length;
      _data = new int[_length];
      std::copy(other._data, other._data + _length, _data);
    }
    return *this;
  } 

  // 拷贝构造函数
  MemoryBlock(const MemoryBlock& other)
    : _length(0)
    , _data(nullptr)
  {
    *this = other;
  } 

  // 移动赋值运算符，通知标准库该构造函数不抛出任何异常(如果抛出异常会怎么样？)
  MemoryBlock& operator=(MemoryBlock&& other) noexcept
  {
    if (this != &other)
    {
      delete[] _data;
      // 移动资源
      _data = other._data;
      _length = other._length;
      // 使移后源对象处于可销毁状态
      other._data = nullptr;
      other._length = 0;
    }
    return *this;
  }

  // 移动构造函数
  MemoryBlock(MemoryBlock&& other) noexcept
    _data(nullptr)
    , _length(0)
  {
    *this = std::move(other);
  } 

  size_t Length() const
  {
    return _length;
  } 

private:
  size_t _length; // The length of the resource.
  int* _data; // The resource.
};

只有当一个类没有定义任何自己版本的拷贝控制成员，且类的每个非static数据成员都可移动时，编译器才会为它合成移动构造函数会移动赋值运算符。编译器可以移动内置类型；如果一个类类型有对应的移动操作，编译器也能移动这个类型的成员。此外，定义了一个移动构造函数或移动赋值运算符的类必须也定义自己的拷贝操作；否则，这些成员默认地定义为删除的。而移动操作则不同，它永远不会隐式定义为删除的。但如果我们显式地要求编译器生成=defualt的移动操作，且编译器不能移动所有成员，则编译器会将移动操作定义为删除的函数。

如果一个类既有移动构造函数又有拷贝构造函数，编译会使用普通的函数匹配规则来确定使用哪个构造函数。但如果只定义了拷贝操作而未定义移动操作，编译器不会合成移动构造函数，此时即使调用move来移动它们，也是调用的拷贝操作。

class Foo{
public:
  Foo() = default;
  Foo(const Foo&);
  // 为定义移动构造函数
}；
Foo x;
Foo y(x);         //调用拷贝构造函数
Foo z(std::move(x));   //调用拷贝构造函数，因为未定义移动构造函数

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持我们。

举例剖析C++中引用的本质及引用作函数参数的使用

引用的意义与本质 1)引用作为其它变量的别名而存在,因此在一些场合可以代替指针 2)引用相对于指针来说具有更好的可读性和实用性引用本质思考: 思考.C++编译器背后做了什么工作? #include <iostream> using namespace std; int main() { int a = 10; // 单独定义的引用时,必须初始化:说明很像一个常量 int &b = a; // b是a的别名 b = 11; cout << "b--->&qu
简单谈谈C++中指针与引用的区别

指针与引用是C++中两个很重要的概念,它们功能看过去很相似,就是都是间接引用某个对象,那么我们应该在什么时候使用指针,什么时候使用引用呢,下面请允许我慢慢道来: 1.永远不要使用一个指向空值的引用.一个引用必须始终指向某个对象,所以当你确定使用一个变量指向某个对象时,但是这个对象在某些时间可能指向控制,这时候你就必须把变量声明为指针类型,而不是引用!当你确定这个变量始终指向某个对象是,这时候你就可以把变量声明为引用类型. char *str=0; //设置指针为空值 char &s=*str;
C++常量详解一(常量指针与常量引用的初始化)

1.常量 1.1.常量的初始化: const对象一旦创建后其值就不能再改变,所以const对象必须初始化.这里我们要注意一点,像const int *p和const int &r都并不是const对象.因为const int *p只是表示不能通过p改变p所指的对象的值,p的值是可以变的,所以p可以不用初始化.至于r ,引用本身就不是对象,所以r也并不是const对象,r之所以一定初始化,是因为引用必须初始化.对于以上内容,你也可以理解为底层const 修饰的并不是const对象,还要注意像con
深入理解c++指针的指针和指针的引用

展示一下使用指针的指针和指针的引用修改传递给方法的指针,以便更好的使用它.(这里说的指针的指针不是一个二维数组) 为什么需要使用它们当我们把一个指针做为参数传一个方法时,其实是把指针的复本传递给了方法,也可以说传递指针是指针的值传递. 如果我们在方法内部修改指针会出现问题,在方法里做修改只是修改的指针的copy而不是指针本身,原来的指针还保留着原来的值.我们用下边的代码说明一下问题: int m_value = 1; void func(int *p) { p = &m_value; } i
详谈C++引用&和指针在作为形参时的区别

int n; int &m = n; 在C++中,多了一个C语言没有的引用声明符&,如上,m就是n的引用,简单的说m就是n的别名,两者在内存中占同样的位置,不对m开辟新的内存空间,对m的任何操作,对n来说是一样的. 对于引用,有以下三条规则: (1)引用被创建的同时必须被初始化(指针则可以在任何时候被初始化). (2)不能有NULL 引用,引用必须与合法的存储单元关联(指针则可以是NULL). (3)一旦引用被初始化,就不能改变引用的关系(指针则可以随时改变所指的对象). 假如在一个函数中
C++浅拷贝与深拷贝及引用计数分析

C++浅拷贝与深拷贝及引用计数分析在C++开发中,经常遇到的一个问题就是与指针相关的内存管理问题,稍有不慎,就会造成内存泄露.内存破坏等严重的问题.不像Java一样,没有指针这个概念,所以也就不必担心与指针相关的一系列问题,但C++不同,从C语言沿袭下来的指针是其一大特点,我们常常要使用new/delete来动态管理内存,那么问题来了,特别是伴随着C++的继承机制,如野指针.无效指针使用.内存泄露.double free.堆碎片等等,这些问题就像地雷一样,一不小心就会踩那么几颗. 先来谈一下C
详解C++编程中向函数传递引用参数的用法

引用类型的函数参数向函数传递引用而非大型对象的效率通常更高. 这使编译器能够在保持已用于访问对象的语法的同时传递对象的地址. 请考虑以下使用了 Date 结构的示例: // reference_type_function_arguments.cpp struct Date { short DayOfWeek; short Month; short Day; short Year; }; // Create a Julian date of the form DDDYYYY // from a
C++ 中引用与指针的区别实例详解

C++ 中引用与指针的区别实例详解引用是从C++才引入的,在C中不存在.为了搞清楚引用的概念,得先搞明白变量的定义及引用与变量的区别,变量的要素一共有两个:名称与空间. 引用不是变量,它仅仅是变量的别名,没有自己独立的空间,它只符合变量的"名称"这个要素,而"空间"这个要素并不满足.换句话说,引用需要与它所引用的变量共享同一个内存空间,对引用所做的改变实际上是对所引用的变量做出修改.并且引用在定义的时候就必须被初始化. 参数传递的类型及相关要点: 1 按值
详解C++11中的右值引用与移动语义

C++11的一个最主要的特性就是可以移动而非拷贝对象的能力.很多情况都会发生对象的拷贝,有时对象拷贝后就立即销毁,在这些情况下,移动而非拷贝对象会大幅度提升性能. 右值与右值引用为了支持移动操作,新标准引入了一种新的引用类型--右值引用,就是必须绑定到右值的引用.我们通过&&而不是&来获得右值引用.右值引用一个重要的特性就是只能绑定到将要销毁的对象. 左值和右值是表达式的属性,一些表达式生成或要求左值,而另一些则生成或要求右值.一般而言,一个左值表达式表示的是一个对象的身份,而右
浅析C++11中的右值引用、转移语义和完美转发

1. 左值与右值: C++对于左值和右值没有标准定义,但是有一个被广泛认同的说法:可以取地址的,有名字的,非临时的就是左值;不能取地址的,没有名字的,临时的就是右值. 可见立即数,函数返回的值等都是右值;而非匿名对象(包括变量),函数返回的引用,const对象等都是左值. 从本质上理解,创建和销毁由编译器幕后控制的,程序员只能确保在本行代码有效的,就是右值(包括立即数);而用户创建的,通过作用域规则可知其生存期的,就是左值(包括函数返回的局部变量的引用以及const对象),例如: int& fo
详解C++11中模板的优化问题

1. 模板的右尖括号在泛型编程中,模板实例化有一个非常繁琐的地方,那就是连续的两个右尖括号(>>)会被编译器解析成右移操作符,而不是模板参数表的结束.我们先来看一段关于容器遍历的代码,在创建的类模板 Base 中提供了遍历容器的操作函数 traversal(): // test.cpp #include <iostream> #include <vector> using namespace std; template <typename T> class
详解C++11中的线程锁和条件变量

线程 std::thread类, 位于<thread>头文件,实现了线程操作.std::thread可以和普通函数和 lambda 表达式搭配使用.它还允许向线程的执行函数传递任意多参数. #include <thread> void func() { // do some work } int main() { std::thread t(func); t.join(); return 0; } 上面的例子中,t是一个线程实例,函数func()在该线程运行.调用join()函数是
详解C++11中的线程库

目录一.线程库的介绍 1.1. 使用时的注意点 1.2. 线程函数参数 1.3. join与detach 二.原子性操作库 2.1. atomic 2.2. 锁三.使用lambda表达式创建多个线程四.条件变量一.线程库的介绍在C++11之前,涉及到多线程问题,都是和平台相关的,比如windows和linux下各有自己的接口,这使得代码的可移植性比较差.C++11中最重要的特性就是对线程进行支持了,使得C++在并行编程时不需要依赖第三方库,而且在原子操作中还引入了原子类的概念.要使用标
C++11语法之右值引用的示例讲解

目录一.{}的扩展 initializer_list的讲解: 跳转initializer_list实现二.C++11一些小的更新 decltype nullptr 范围for 新容器三.右值引用右值真正的用法完美转发默认成员函数总结一.{}的扩展在原先c++的基础上,C++11扩展了很多初始化的方法. #include<iostream> using namespace std; struct A { int _x; int _y; }; int main() int a[]
C++11右值引用和移动语义的实例解析

目录基本概念左值 vs 右值左值引用 vs 右值引用右值引用使用场景和意义左值引用的使用场景左值引用的短板右值引用和移动语义右值引用引用左值右值引用的其他使用场景完美转发万能引用完美转发保持值的属性完美转发的使用场景总结基本概念左值 vs 右值什么是左值? 左值是一个表示数据的表达式,如变量名或解引用的指针. 左值可以被取地址,也可以被修改(const修饰的左值除外). 左值可以出现在赋值符号的左边,也可以出现在赋值符号的右边. int main() { //以
深入解读C++中的右值引用

右值引用(及其支持的Move语意和完美转发)是C++0x将要加入的最重大语言特性之一,这点从该特性的提案在C++ - State of the Evolution列表上高居榜首也可以看得出来. 从实践角度讲,它能够完美解决C++中长久以来为人所诟病的临时对象效率问题.从语言本身讲,它健全了C++中的引用类型在左值右值方面的缺陷.从库设计者的角度讲,它给库设计者又带来了一把利器.从库使用者的角度讲,不动一兵一卒便可以获得"免费的"效率提升- 在标准C++语言中,临时量(术语为右值,因其出
Jquery遍历筛选数组的几种方法和遍历解析json对象,Map()方法详解以及数组中查询某值是否存在

1.jquery grep()筛选遍历数组(可以得到反转的数组) // 1.jquery grep()筛选遍历数组(可以得到反转的数组) var array = [1,5,9,3,12,4,48,98,4,75,2,10,11]; var filterArray = $.grep(array,(currentValue) => { return currentValue > 10; }); console.log(`${filterArray}---${filterArray.length}`
详解C++11中的lambda匿名函数

目录 1. lambda匿名函数的定义 lambda匿名函数中的[外部变量] 最简单的lambda匿名函数 2. lambda匿名函数的使用 2.1 lambda匿名函数的定义和使用 2.2 值传递和引用传递的区别 2.3 执行抛出异常类型 lambda 源自希腊字母表中第 11 位的 λ,在计算机科学领域,它则被用来表示一种匿名函数.所谓匿名函数,简单地理解就是没有名称的函数,又常被称为 lambda 函数或者 lambda 表达式. 1. lambda匿名函数的定义 [capture](pa

详解C++11中的右值引用与移动语义

相关推荐

随机推荐