C++11 右值引用和移动语义(三)

简介: C++11 右值引用和移动语义

完美转发

万能引用

模板中的&&不代表右值引用 而是万能引用 这样它既能接受左值又能接受右值 比如说这样子

template<class T>
void PerfectForward(T&& t)
{
  //...
}

右值引用和万能引用的区别就是 右值引用需要确定类型 而万能引用会根据传入的类型进行推导 如果传入的实参是一个左值 那么这里的形参t就是左值引用 如果传入的实参是一个右值 那么这里的形参t就是右值引用


下面重载了四个func函数 这四个func函数的参数分别左值引用 const左值引用 右值引用和const右值引用

我们在主函数中使用完美引用模板函数来调用func函数

代码表示如下

14347734b96e45baa23d95e7bca0a37f.png

但是我们最后发现 不管传入何种类型 最后调用的都是左值引用而不是右值引用


这是为什么呢?


因为只要右值经过一次引用之后右值引用就会被储存到特定位置 这个右值就可以被取地址和修改了 所以在经过一次参数传递之后右值就会退化为左值 如果我们想要让他保持右值的属性 这个时候就要用到完美转发


完美转发保持值属性

要想在参数传递过程中保持其原有的属性 需要在传参时调用forward函数

代码表示如下

template<class T>
void PerfectForward(T&& t)
{
  Func(std::forward<T>(t));
}

经过完美转发之后 再次调用PerfectForward函数调用func就会各自匹配到对应的函数了

105202454c354199815c311c371e9a1a.png


完美转发的使用场景

下面提供一个简单的list类 分别提供了左值引用和右值引用的接口函数

  template<class T>
  struct ListNode
  {
    T _data;
    ListNode* _next = nullptr;
    ListNode* _prev = nullptr;
  };
  template<class T>
  class list
  {
    typedef ListNode<T> node;
  public:
    //构造函数
    list()
    {
      _head = new node;
      _head->_next = _head;
      _head->_prev = _head;
    }
    //左值引用版本的push_back
    void push_back(const T& x)
    {
      insert(_head, x);
    }
    //右值引用版本的push_back
    void push_back(T&& x)
    {
      insert(_head, std::forward<T>(x)); //完美转发
    }
    //左值引用版本的insert
    void insert(node* pos, const T& x)
    {
      node* prev = pos->_prev;
      node* newnode = new node;
      newnode->_data = x;
      prev->_next = newnode;
      newnode->_prev = prev;
      newnode->_next = pos;
      pos->_prev = newnode;
    }
    //右值引用版本的insert
    void insert(node* pos, T&& x)
    {
      node* prev = pos->_prev;
      node* newnode = new node;
      newnode->_data = std::forward<T>(x); //完美转发
      prev->_next = newnode;
      newnode->_prev = prev;
      newnode->_next = pos;
      pos->_prev = newnode;
    }
  private:
    node* _head; //指向链表头结点的指针
  };


下面定义一个list对象 储存我们之前实现的list类 我们分别传入左值和右值调用不同版本的push_back函数

  shy::list<shy::string> lt;
  shy::string s("1111");
  lt.push_back(s);      //调用左值引用版本的push_back
  lt.push_back("2222"); //调用右值引用版本的push_back

我们可以发现运行结果如下

e2ec2ff3aed74f4e9d34400a8051bb90.png

  • 我们在实现push_back的时候复用了insert的代码 对于左值引用的insert函数来说 它会先new一个节点 然后将对应的左值赋值给这个节点 调用赋值运算符重载 又因为赋值运算符重载本质上复用了拷贝构造 所以会打印出来两行文字
  • 对于右值版本的push_back函数 它复用了insert的代码 对于右值引用的insert函数来说 它会先new一个节点 然后将对应的右值赋值给这个节点 调用移动构造来进行转移资源
  • 这其中调用函数传参的时候多处用到了 完美转发 这是因为如果不使用完美转发就会让右值退化为左值 最终导致多一次深拷贝 从而降低效率


这里演示一下 如果不使用完美转发会是什么样子的

4627b78aa764452784553e7d5a76857f.png

0358915ee1f34f979edc934e78693435.png

我们发现这里就变成了两次深拷贝

这就是完美转发的使用场景


如果我们想要保持右值的属性 每次传参的时候就必须要使用完美转发

这里还有一点需要注意的是 实现的list类实例化之后参数T&&就不再是万能引用而是右值引用了 因为这个时候它的类型已经确定了

如果想要使用万能引用而不是右值引用需要像上面那样不确定具体类型 在使用时进行推导

与STL中的list的区别


如果将刚才测试代码中的list换成STL当中的list

  • 调用左值版本的push_back插入节点时 在构造结点时会调用string的拷贝构造函数
  • 调用右值版本的push_back插入节点时 在构造结点时会调用string的移动构造函数


而我们实现的list代码却使用的是赋值运算符重载和移动赋值

这是因为我们是使用的new操作符来申请空间 new操作符申请空间之后会自动调用构造函数进行初始化

而初始化之后就只能使用赋值运算符重载了


而STL库中使用空间配置器获取内存的 因此在申请到内存后不会调用构造函数对其进行初始化 是后续用左值或右值对其进行拷贝构造 所以会产生这样子的结果

如果我们想要达到STL中的效果 我们只需要使用malloc开辟空间 然后使用定位new进行初始化就可以

相关文章
|
3月前
|
存储 安全 C++
【C++11】右值引用
C++11引入的右值引用(rvalue references)是现代C++的重要特性,允许更高效地处理临时对象,避免不必要的拷贝,提升性能。右值引用与移动语义(move semantics)和完美转发(perfect forwarding)紧密相关,通过移动构造函数和移动赋值运算符,实现了资源的直接转移,提高了大对象和动态资源管理的效率。同时,完美转发技术通过模板参数完美地转发函数参数,保持参数的原始类型,进一步优化了代码性能。
56 2
|
5月前
|
编译器 C++
C++ 11新特性之右值引用
C++ 11新特性之右值引用
69 1
|
9月前
|
编译器 C语言 C++
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值(中)
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值
57 1
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值(中)
|
9月前
|
存储 安全 C语言
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值(上)
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值
49 2
|
9月前
|
编译器 C语言 C++
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值(下)
从C语言到C++_33(C++11_上)initializer_list+右值引用+完美转发+移动构造/赋值
62 1
|
8月前
|
编译器 C++ 开发者
C++一分钟之-右值引用与完美转发
【6月更文挑战第25天】C++11引入的右值引用和完美转发增强了资源管理和模板灵活性。右值引用(`&&`)用于绑定临时对象,支持移动语义,减少拷贝。移动构造和赋值允许有效“窃取”资源。完美转发通过`std::forward`保持参数原样传递,适用于通用模板。常见问题包括误解右值引用只能绑定临时对象,误用`std::forward`,忽视`noexcept`和过度使用`std::move`。高效技巧涉及利用右值引用优化容器操作,使用完美转发构造函数和创建通用工厂函数。掌握这些特性能提升代码效率和泛型编程能力。
74 0
|
4天前
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)
|
2天前
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
2天前
|
安全 编译器 C语言
【C++篇】深度解析类与对象(中)
在上一篇博客中,我们学习了C++类与对象的基础内容。这一次,我们将深入探讨C++类的关键特性,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载、以及取地址运算符的重载。这些内容是理解面向对象编程的关键,也帮助我们更好地掌握C++内存管理的细节和编码的高级技巧。
|
2天前
|
存储 程序员 C语言
【C++篇】深度解析类与对象(上)
在C++中,类和对象是面向对象编程的基础组成部分。通过类,程序员可以对现实世界的实体进行模拟和抽象。类的基本概念包括成员变量、成员函数、访问控制等。本篇博客将介绍C++类与对象的基础知识,为后续学习打下良好的基础。