C++11中std::move、std::forward、左右值引用、移动构造函数的测试问题

关于C++11新特性之std::move、std::forward、左右值引用网上资料已经很多了,我主要针对测试性能做一个测试,梳理一下这些逻辑,首先,左值比较熟悉,右值就是临时变量,意味着使用一次就不会再被使用了。针对这两种值引入了左值引用和右值引用,以及引用折叠的概念。

1.右值引用的举例测试

#include <iostream>
using namespace std;
​
//创建一个测试类
class A
{
public:
  A() : m_a(55)
  {
  }
​
  int m_a;
};
​
void funcA(A&& param) // 右值引用参数,只接受右值
{
  cout << param.m_a << endl; // param与a的地址一致,仅仅只是取了一个新名字
}
​
int main()
{
  A a;
  funcA(move(a)); //必须将其转换为右值
  cout << a.m_a << endl; //正常打印,所以std::move并没有移动的能力
  return 0;
}

2.左值和右值引用的举例测试,以及引出万能引用

构造一组重载函数,分别接受右值,和左值的参数,还有const A&的参数重载函数。

void funcA(const A& param)//既可以接受右值引用,也可以接受左值引用,但是有一个隐式转换const A&
void funcA(A& param)// 接受左值引用
void funcA(A&& param) // 接受右值引用

const A& param既可以接受右值引用,也可以接受左值引用,但是存在一个隐式转换,const使用受限制。

#include <iostream>
using namespace std;
​
//创建一个测试类
class A
{
public:
  A() : m_a(55) // 构造函数
  {
    cout << "Constructor" << endl;
  }
  A(const A & other) : m_a(55) // copy构造函数
  {
    cout << "Copy Constructor" << endl;
    if (this == &other)
    {
      return;
    }
    this->m_a = other.m_a;
  }
  A& operator=(const A& other) // 赋值构造函数
  {
    cout << "= Constructor" << endl;
    if (this == &other)
    {
      return *this;
    }
    this->m_a = other.m_a;
    return *this;
  }
  int m_a;
};
void test(A&& pa) //测试是否为右值
{
  cout << "只接受右值" << endl;
}
void funcA(const A& param) // 既可以接受右值引用,也可以接受左值引用,但是有一个隐式转换const A&
{
  //test(param); //编译不过,param可以接受右值,但是param被转换为const左值
  //test(std::forward<A>(param)); //编译不过,param可以接受右值,但是param被转换为const左值
  cout << param.m_a << endl;
}
void funcA(A& param) // 接受左值引用
{
  //test(param); //编译不过,param可以接受右值,但是param被转换为左值
  test(std::forward<A>(param)); //编译通过,通过forward转发
  cout << param.m_a << endl;
}
void funcA(A&& param) // 接受右值引用
{
  //test(param); //编译不过,param被转换为左值
  test(std::forward<A>(param)); //编译通过,通过forward转发
  cout << param.m_a << endl;
}
​
int main()
{
  A a;
  const A& b = a;
  funcA(a);
  funcA(move(a));
  funcA(b);
  cout << a.m_a << endl; //正常打印,所以std::move并没有移动的能力
  return 0;
}

对此C++11引入了万能引用的概念,使得不需要那么多的重载函数,既可以接受右值引用,也可以接受左值引用。但是函数内部,再需要调用一个左值或者右值的函数时,我们就得需要forward模版类。

#include <iostream>
using namespace std;
​
//创建一个测试类
class A
{
public:
  A() : m_a(new int(55)) // 构造函数
  {
    cout << "Constructor" << endl;
  }
  A(const A & other) : m_a(new int(55)) // copy构造函数
  {
    cout << "Copy Constructor" << endl;
    if (this == &other)
      return;
    this->m_a = other.m_a;
  }
  A& operator=(const A& other) // 赋值构造函数
  {
    cout << "= Constructor" << endl;
    if (this == &other)
      return *this;
​
    this->m_a = other.m_a;
    return *this;
  }
  int* m_a;
};
void test(A&& pa) //测试是否为右值
{
  cout << "只接受右值" << endl;
}
void test(A& pa) //测试是否为左值
{
  cout << "只接受左值" << endl;
}
​
template<class T>
void funcA(T&& param)
{
  test(std::forward<T>(param)); //编译通过,通过forward完美转发
  cout << *param.m_a << endl;
}
​
int main()
{
  A a;
  funcA(a);
  funcA(move(a));
  cout << *a.m_a << endl; //正常打印,所以std::move并没有移动的能力
  return 0;
}

3.移动构造函数的引出

以上的所有特性,所能体现出来的是我们对于临时变量的使用,尽可能的使用中间生成的临时变量,提高性能,所谓的榨取最后的性能。移动构造函数注意的两点

1.调用移动构造函数时参数(被移动者)必须是右值。

2.调用移动构造函数后被移动者就不能再被使用。

#include <iostream>
using namespace std;
​
//创建一个测试类
class A
{
public:
  A() : m_a(new int(55)) // 构造函数
  {
    cout << "Constructor" << endl;
  }
  A(const A & other) : m_a(new int(55)) // copy构造函数
  {
    cout << "Copy Constructor" << endl;
    if (this == &other)
    {
      return;
    }
    this->m_a = other.m_a;
  }
  A& operator=(const A& other) // 赋值构造函数
  {
    cout << "= Constructor" << endl;
    if (this == &other)
    {
      return *this;
    }
    this->m_a = other.m_a;
    return *this;
  }
​
  A(A&& other) : m_a(other.m_a) // 移动构造函数,参数是一个右值,
  {
    cout << "Move Constructor" << endl;
    if (this == &other)
    {
      return;
    }
    other.m_a = nullptr; //移动后将被移动的对象数据清空
  }
​
  int* m_a;
};
void test(A&& pa) //测试是否为右值
{
  cout << "只接受右值" << endl;
}
void test(A& pa) //测试是否为左值
{
  cout << "只接受左值" << endl;
}
​
template<class T>
void funcA(T&& param)
{
  test(std::forward<T>(param)); //编译通过,通过forward完美转发
  cout << *param.m_a << endl;
}
​
int main()
{
  A a;
  funcA(a);
  funcA(move(a));
  A b(move(a)); //调用移动构造函数,新的对象是b对象
  cout << *a.m_a << endl; //数据已被移动,程序崩溃
  return 0;
}

移动构造函数一定程度上较少了临时内存的申请,减少不必要的拷贝,节省了空间和时间。以上特性在使用中还有很多需要注意的地方,如果我遇到了会及时的添加到这里,分享给大家,一起加油。

到此这篇关于C++11中std::move、std::forward、左右值引用、移动构造函数的测试问题的文章就介绍到这了,更多相关C++11中std::move、std 内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • C++11右值引用和std::move语句实例解析(推荐)

    右值引用(及其支持的Move语意和完美转发)是C++0x将要加入的最重大语言特性之一.从实践角度讲,它能够完美解决C++中长久以来为人所诟病的临时对象效率问题.从语言本身讲,它健全了C++中的引用类型在左值右值方面的缺陷.从库设计者的角度讲,它给库设计者又带来了一把利器.从库使用者的角度讲,不动一兵一卒便可以获得"免费的"效率提升- 下面用实例来深入探讨右值引用. 1.什么是左值,什么是右值,简单说左值可以赋值,右值不可以赋值.以下面代码为例,"A a = getA();&q

  • C++11并发编程:多线程std::thread

    一:概述 C++11引入了thread类,大大降低了多线程使用的复杂度,原先使用多线程只能用系统的API,无法解决跨平台问题,一套代码平台移植,对应多线程代码也必须要修改.现在在C++11中只需使用语言层面的thread可以解决这个问题. 所需头文件<thread> 二:构造函数 1.默认构造函数 thread() noexcept 一个空的std::thread执行对象 2.初始化构造函数 template<class Fn, class... Args> explicit th

  • C++11中std::declval的实现机制浅析

    本文主要给大家介绍了关于C++11中std::declval实现机制的相关内容,分享出来供大家参考学习,下面来一起看看详细的介绍: 在vs2013中,declval定义如下 template <_Ty> typenamea dd_rvalue_reference<_Ty>::type declval() _noexcept; 其中,add_rvalue_reference为一个traits,定义为 template <_Ty> struct add_rvalue_ref

  • C++11中std::future的具体使用方法

    C++11中的std::future是一个模板类.std::future提供了一种用于访问异步操作结果的机制.std::future所引用的共享状态不能与任何其它异步返回的对象共享(与std::shared_future相反)( std::future references shared state that is not shared with any other asynchronous return objects (as opposed to std::shared_future)).一

  • C++11 并发指南之std::thread 详解

    上一篇博客<C++11 并发指南一(C++11 多线程初探)>中只是提到了 std::thread 的基本用法,并给出了一个最简单的例子,本文将稍微详细地介绍 std::thread 的用法. std::thread 在 <thread> 头文件中声明,因此使用 std::thread 时需要包含 <thread> 头文件. std::thread 构造 default (1) thread() noexcept; initialization (2) template

  • C++11中lambda、std::function和std:bind详解

    前言 在C++11新标准中,语言本身和标准库都增加了很多新内容,本文只涉及了一些皮毛.不过我相信这些新特性当中有一些,应该成为所有C++开发者的常规装备.本文主要介绍了C++11中lambda.std::function和std:bind,下面来一起看看详细的介绍吧. lambda 表达式 C++11中新增了lambda 表达式这一语言特性.lambda表达式可以让我们快速和便捷的创建一个"函数". 下面是lambda表达式的语法: [ capture-list ] { body }

  • C++11中std::async的使用详解

    C++11中的std::async是个模板函数.std::async异步调用函数,在某个时候以Args作为参数(可变长参数)调用Fn,无需等待Fn执行完成就可返回,返回结果是个std::future对象.Fn返回的值可通过std::future对象的get成员函数获取.一旦完成Fn的执行,共享状态将包含Fn返回的值并ready. std::async有两个版本: 1.无需显示指定启动策略,自动选择,因此启动策略是不确定的,可能是std::launch::async,也可能是std::launch

  • C++11中std::packaged_task的使用详解

    C++11中的std::packaged_task是个模板类.std::packaged_task包装任何可调用目标(函数.lambda表达式.bind表达式.函数对象)以便它可以被异步调用.它的返回值或抛出的异常被存储于能通过std::future对象访问的共享状态中. std::packaged_task类似于std::function,但是会自动将其结果传递给std::future对象. std::packaged_task对象内部包含两个元素:(1).存储的任务(stored task)

  • C++11中多线程编程-std::async的深入讲解

    前言 C++11中提供了异步线程接口std::async,std::async是异步编程的高级封装,相对于直接使用std::thread,std::async的优势在于: 1.std::async会自动创建线程去调用线程函数,相对于低层次的std::thread,使用起来非常方便: 2.std::async返回std::future对象,通过返回的std::future对象我们可以非常方便的获取到线程函数的返回结果: 3.std::async提供了线程的创建策略,可以指定同步或者异步的方式去创建

  • C++11右值引用和转发型引用教程详解

    右值引用 为了解决移动语义及完美转发问题,C++11标准引入了右值引用(rvalue reference)这一重要的新概念.右值引用采用T&&这一语法形式,比传统的引用T&(如今被称作左值引用 lvalue reference)多一个&. 如果把经由T&&这一语法形式所产生的引用类型都叫做右值引用,那么这种广义的右值引用又可分为以下三种类型: 无名右值引用 具名右值引用 转发型引用 无名右值引用和具名右值引用的引入主要是为了解决移动语义问题. 转发型引用的引

  • C++11的右值引用的具体使用

    C++11 引入了 std::move 语义.右值引用.移动构造和完美转发这些特性.由于这部分篇幅比较长,分为3篇来进行阐述. 在了解这些特性之前,我们先来引入一些问题. 一.问题导入 函数返回值是传值的时候发生几次对象构造.几次拷贝? 函数的形参是值传递的时候发生几次对象构造? 让我们先来看一段代码, // main.cpp #include <iostream> using namespace std; class A{ public: A(){ cout<<"cla

  • 一文搞懂c++中的std::move函数

    目录 前言 左值和右值 左值引用 右值引用 std::move函数 remove_reference源码剖析 std::forward源码剖析 std::move()源码剖析 小结 std::move使用场景 实例:vector::push_back使用std::move提高性能 万能引用 引用折叠 完美转发 前言 在探讨c++11中的Move函数前,先介绍两个概念(左值和右值) 左值和右值 首先区分左值和右值 左值是表达式结束后依然存在的持久对象(代表一个在内存中占有确定位置的对象) 右值是表

  • C++11 中的std::function和std::bind详解

    目录 1. 可调用对象 2. std::function 3. std::bind 3.1 std::bind绑定普通函数 3.2 std::bind绑定一个成员函数 3.3 绑定一个引用参数 4. 指向成员函数的指针 总结 1. 可调用对象 可调用对象有一下几种定义: 是一个函数指针,参考 C++ 函数指针和函数类型: 是一个具有operator()成员函数的类的对象: 可被转换成函数指针的类对象: 一个类成员函数指针: C++中可调用对象的虽然都有一个比较统一的操作形式,但是定义方法五花八门

  • C++11模板元编程-std::enable_if示例详解

    C++11中引入了std::enable_if函数,函数原型如下: template< bool B, class T = void > struct enable_if; 可能的函数实现: template<bool B, class T = void> struct enable_if {}; template<class T> struct enable_if<true, T> { typedef T type; }; 由上可知,只有当第一个模板参数为

  • c++11多线程编程之std::async的介绍与实例

    本节讨论下在C++11中怎样使用std::async来执行异步task. C++11中引入了std::async 什么是std::async std::async()是一个接受回调(函数或函数对象)作为参数的函数模板,并有可能异步执行它们. template<class Fn, class... Args> future<typename result_of<Fn(Args...)>::type> async(launch policy, Fn&& fn

  • C++11中的原子量和内存序详解

    一.多线程下共享变量的问题 在多线程编程中经常需要在不同线程之间共享一些变量,然而对于共享变量操作却经常造成一些莫名奇妙的错误,除非老老实实加锁对访问保护,否则经常出现一些(看起来)匪夷所思的情况.比如下面便是两种比较"喜闻乐见"的情况. (a) i++问题 在多线程编程中,最常拿来举例的问题便是著名的i++ 问题,即:多个线程对同一个共享变量i执行i++ 操作.这样做之所以会出现问题的原因在于i++这个操作可以分为三个步骤: step operation 1 i->reg(读取

  • 深入解读C++中的右值引用

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

随机推荐