美文网首页
「转」C++0x特性之 std::move

「转」C++0x特性之 std::move

作者: 音视频直播技术专家 | 来源:发表于2018-09-20 18:01 被阅读87次

原地址:https://www.cnblogs.com/ldlchina/p/6608154.html
原地址:http://www.cnblogs.com/SZxiaochun/p/8017475.html

前言

进行到 C++0x之后,引入了很多新特性。对于std::move主要是为了提升程序的运行性能。通过 std::move可以将左值变为右值,从测减少了一次对象的析构和一次对象的构造。当这类操作多起来之后,会严重影响C++程序的运行性能,所以才引入了std::move。

本文不介绍std::move具体是如何实现的,只讲解 std::move做了什么,从而使用户了解 std::move该如何使用,以及使用它的好处。

至于更深层的 std::move的实现,大家可以去网上查看相关的分析文章。

左值与右值以及它们的引用

左值和右值的概念

  • 左值是可以放在赋值号左边可以被赋值的值;左值必须要在内存中有实体;
  • 右值当在赋值号右边取出值赋给其他变量的值;右值可以在内存也可以在CPU寄存器。
  • 一个对象被用作右值时,使用的是它的内容(值),被当作左值时,使用的是它的地址。

引用

  • 引用是C++语法做的优化,引用的本质还是靠指针来实现的。引用相当于变量的别名。
  • 引用可以改变指针的指向,还可以改变指针所指向的值。
  • 引用的基本规则:
    • 声明引用的时候必须初始化,且一旦绑定,不可把引用绑定到其他对象;即引用必须初始化,不能对引用重定义;
    • 对引用的一切操作,就相当于对原对象的操作。

左值引用和右值引用

  • 左值引用的基本语法:type &引用名 = 左值表达式
  • 右值引用的基本语法type &&引用名 = 右值表达式;
    注:右值引用的“&&”中间不可以有空格

右值运算与 std::move

右值引用(及其支持的Move语意和完美转发)是C++0x加入的最重大语言特性之一。从实践角度讲,它能够完美解决C++中长久以来为人所诟病的临时对象效率问题。从语言本身讲,它健全了C++中的引用类型在左值右值方面的缺陷。从库设计者的角度讲,它给库设计者又带来了一把利器。从库使用者的角度讲,不动一兵一卒便可以获得“免费的”效率提升…

下面用实例来深入探讨右值引用。

什么是左值,什么是右值

简单说左值可以赋值,右值不可以赋值。以下面代码为例,“ A a = getA();”该语句中a是左值,getA()的返回值是右值。

#include "stdafx.h"
#include <iostream>

class A
{ 
public:
    A() { std::cout << "Constructor" << std::endl; }
    A(const A&) { std::cout << "Copy Constructor" << std::endl; } 

    ~A() {}
}; 

static A getA()
{
    A a; return a;
} 

int main()
{
    A a = getA(); 
    return 0;
}

运行以上代码,输出结果如下:

Constructor
Copy Constructor

可以看到A的构造函数调用一次,拷贝构造函数调用了一次,构造函数和拷贝构造函数是消耗比较大的,这里是否可以避免拷贝构造?C++11做到了这一点。

添加A的移动构造函数

代码如下:

#include "stdafx.h"
#include <iostream>

class A
{ 
public:
    A() { std::cout << "Constructor" << std::endl; }
    A(const A&) { std::cout << "Copy Constructor" << std::endl; }

    /**add new code**/
    A(const A&&) { std::cout << "Move Constructor" << std::endl; }

    ~A() {}
}; 

static A getA()
{
    A a; return a;
} 

int main()
{
    A a = getA(); 
    return 0;
}

运行以上代码,输出结果:

Constructor
Move Constructor 

这样就没有调用拷贝构造函数,而是调用移动构造。这里并没有看到移动构造的优点。

修改代码,给A类添加一个成员变量

代码如下:

#include "stdafx.h" 
#include <iostream> 
#include <vector>

class B
{ 
public:
    B() {}
    B(const B&) { std::cout << "B Constructor" << std::endl; }
}; 

class A
{ 
public:
    A(): m_b(new B()) { std::cout << "A Constructor" << std::endl; }

    /*深度拷贝*/
    A(const A& src) :
        m_b(new B(*(src.m_b)))
    { 
        std::cout << "A Copy Constructor" << std::endl;
    }

    /*移动引用*/
    A(A&& src) :
        m_b(src.m_b)
    {
        src.m_b=nullptr;
        std::cout << "A Move Constructor" << std::endl;
    } 

    ~A() { delete m_b; } 

private:
    /*添加一个成员变量*/
    B *m_b;
}; 

static A getA()
{
    A a;
    std::cout << "================================================" << std::endl; 
    return a;
} 

int main()
{
    A a = getA();
    std::cout << "================================================" << std::endl;
    A a1(a);
    return 0;
}

运行以上代码,输出结果:

A Constructor 
================================================ 
A Move Constructor 
================================================ 
B Constructor
A Copy Constructor

“ A a = getA();”调用的是A的移动构造,“ A a1(a); ”调用的是A的拷贝构造。A的拷贝构造需要对成员变量B进行深拷贝,而A的移动构造不需要,很明显,A的移动构造效率高。

std::move语句可以将左值变为右值而避免拷贝构造

修改代码如下:

#include "stdafx.h" 
#include <iostream> 
#include <vector>

class B
{ 
public:
    B() {}
    B(const B&) { std::cout << "B Constructor" << std::endl; }
}; 

class A
{ 
public:
    A(): m_b(new B()) { std::cout << "A Constructor" << std::endl; }
    A(const A& src) :
        m_b(new B(*(src.m_b)))
    { 
        std::cout << "A Copy Constructor" << std::endl;
    }
    A(A&& src) noexcept :
        m_b(src.m_b)
    {
        src.m_b = nullptr;
        std::cout << "A Move Constructor" << std::endl;
    } 
    
    ~A() { delete m_b; } 
private:
    B* m_b;
}; 

static A getA()
{
    A a;
    std::cout << "================================================" << std::endl; return a;
} 

int main()
{
    A a = getA();
    std::cout << "================================================" << std::endl;
    A a1(a);
    std::cout << "================================================" << std::endl;
    A a2(std::move(a1));

    return 0;
}

运行以上代码,输出结果:

A Constructor 
================================================ 
A Move Constructor 
================================================ 
B Constructor
A Copy Constructor 
================================================ 
A Move Constructor

“ A a2(std::move(a1));”将a1转换为右值,因此a2调用的移动构造而不是拷贝构造。

赋值操作符也可以是移动赋值

#include "stdafx.h" 
#include <iostream> 
#include <vector>

class B
{ 
public:
    B() {}
    B(const B&) { std::cout << "B Constructor" << std::endl; }
}; 
class A
{ 
public:
    A(): m_b(new B()) { std::cout << "A Constructor" << std::endl; }
    A(const A& src) :
        m_b(new B(*(src.m_b)))
    { 
        std::cout << "A Copy Constructor" << std::endl;
    }
    A(A&& src) :
        m_b(src.m_b)
    {
        src.m_b = nullptr;
        std::cout << "A Move Constructor" << std::endl;
    }

    A& operator=(const A& src) noexcept
    { 
        if (this == &src) return *this; 
        delete m_b;

        m_b = new B(*(src.m_b));
        std::cout << "operator=(const A& src)" << std::endl; 
        
        return *this;
    }

    A& operator=(A&& src) noexcept
    { 
        if (this == &src) return *this; 
        delete m_b;

        m_b = src.m_b;
        src.m_b = nullptr;
        std::cout << "operator=(const A&& src)" << std::endl; 
     
        return *this;
    } 
    
    ~A() { delete m_b; } 
private:
    B* m_b;
}; 

static A getA()
{
    A a;
    std::cout << "================================================" << std::endl; 
    return a;
} 

int main()
{
    A a = getA();//移动构造
    std::cout << "================================================" << std::endl;
    A a1(a);//拷贝构造
    std::cout << "================================================" << std::endl;
    A a2(std::move(a1));//移动构造
    std::cout << "================================================" << std::endl;
    a2 = getA();//移动赋值
    std::cout << "================================================" << std::endl;
    a2 = a1;//拷贝赋值
    return 0;
}

运行以上代码,输出结果:

A Constructor 
================================================ 
A Move Constructor 
================================================ 
B Constructor
A Copy Constructor 
================================================ 
A Move Constructor 
================================================ 
A Constructor 
================================================ 
A Move Constructor operator=(const A&& src) 
================================================ 
B Constructor operator=(const A& src)

总之尽量给类添加移动构造和移动赋值函数,而减少拷贝构造和拷贝赋值的消耗。 移动构造,移动赋值要加上noexcept,用于通知标准库不抛出异常。

小结

上面的文字是我将两篇博文合并到一起的结果。通过上面的讲解,大家可以很清楚的知道 sdt::move是做什么的,以及其优势是什么。

既然C++0x为我们提供了这么好的工具,我们在写代码时一定要好好的利用哟!

相关文章

  • 「转」C++0x特性之 std::move

    原地址:https://www.cnblogs.com/ldlchina/p/6608154.html原地址:ht...

  • C++11中std::move、std::forward、左右值

    C++11中std::move、std::forward、左右值引用、移动构造函数的测试 关于C++11新特性之s...

  • 一文看懂 C++11 的 右值引用、std::move 和 st

    右值引用、std::move 和 std::forward 是 C++11 中的最重大语言新特性之一。就算我们不主...

  • Tips of C++11 std::move与完美转发std:

    C++11 std::move 和 std::forward 用法: 当知道类型时, 用 std::move得到一...

  • 就TM你叫std::forward啊?

    之前介绍过std::move,今天我们就接着来说说std::forward。C++11引入了一个新特性:右值引用,...

  • 关于C++ 0x的右值引用

    右值引用(及其支持的Move语意和完美转发)是C++0x将要加入的最重大语言特性之一.从实践角度讲,它能够完美解决...

  • std::move()

    在隆冬,我终于直到,我身上有一个不可战胜的夏天。 ——阿尔贝·加缪 今天提交了一次代码,短短一百多行里,被各...

  • std::move

    std::move函数可以以非常简单的方式将左值引用转换为右值引用。通过std::move,可以避免不必要的拷贝操...

  • std::move

    首先需要了解一下c++的值的类型 c++ 值的类型 1. lvalue(左值) 2. prvalue(纯右值) 3...

  • std::move

    班级类包含一个构造方法,传入一个包含许多学生的vector: 这样有个不好的地方是:每次创建班级对象时都需要将st...

网友评论

      本文标题:「转」C++0x特性之 std::move

      本文链接:https://www.haomeiwen.com/subject/euynnftx.html