C++临时对象以及针对其进行的优化

C++临时对象以及针对其进行的优化

C++中真正的临时对象是看不见的,它们不出现在你的源代码中。

那么什么时候回产生临时对象呢?主要是三个时刻:

产生临时对象的三个时刻:

用构造函数作为隐式类型转换函数时,会创建临时对象

看个例子:

#include <iostream>
 using namespace std;

#include <iostream>
#include <stdlib.h>
#include <string.h>
using namespace std;

class A{
    public:
        int a;
        A(int x)
        {
            a = x;
        }
        A(const A &re )
        {
            a = re.a;
        }
};


int main()
{

    A ca = 10;

    return 0;
}

在主函数中,我们直接用一个整型量10对对象ca进行初始化,这个时候实际上应该有如下步骤:

1、         调用构造函数构造一个临时对象

2、         调用拷贝构造函数,用临时对象对ca进行初始化。

 

建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

这种情况,我们和下面一种情况一起说。

函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

看一个例子:

#include <iostream>
 using namespace std;

#include <iostream>
#include <stdlib.h>
#include <string.h>
using namespace std;

class A{
    public:
        int a;
        A(int x)
        {
            a = x;
        }
        A(const A &re )
        {
            a = re.a;
        }
};

A getA()
{
    return A(200);
}

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

 

其中在getA函数中,return语句应该有如下过程

1、         A(200)会产生一个匿名的临时对象(临时对象位于函数的栈区)

2、         用拷贝构造函数,将匿名的临时对象拷贝到返回区的一个临时对象中,用于返回

函数调用时,还应该有一工程就是,调用拷贝构造函数用函数返回区的临时对象初始化ba对象。

 

上面就是产生临时对象的三种情况,并且我们也对相应的语句,执行的过程进行了简单的分析。

在分析的过程中,我们注意一个问题,就是,临时对象,实际上仅仅是一个桥梁作用,比如第一种情况中A ca = 10这条语句,我们的本意就是将ca对象中的成员变量初始化为10,临时变量这个东西,我们是不关注的。再比如说第二个例子中A ba = getA(),我们的目的就是用200初始化ba对象的数据成员,但这个过程中却必须要多生成两个临时对象,一个是匿名的位于函数栈区的临时对象,另一个是函数返回去的临时对象,这显然很浪费时间和空间。但是,以前的C++标准中,必须产生一个这样的临时对象。我们都知道,对象的构造和析构要涉及空间的分配和释放等,是很影响效率的。所以临时对象这东西一直被认为是影响C++效率的一个诟病。

新的C++标准中都允许对涉及临时对象的部分进行优化。当然不同的编译器有不同的优化实现方法。这次实验我用的g++

下面就来看一下。

针对临时变量进行的优化

我们先看针对第一种情况的优化。

还是看例子吧:

#include <iostream>
 using namespace std;

#include <iostream>
#include <stdlib.h>
#include <string.h>
using namespace std;

class A{
    public:
        int a;
        A(int x)
        {
            cout<<"构造函数被调用!this = "<<this<<endl;
            a = x;
        }
        A(const A &re )
        {
            cout<<"拷贝构造函数被调用!this = "<<this<<endl;
            a = re.a;
        }
        ~A()
        {
            cout<<"析构函数被调用!\n";
        }
};

int main()
{

    A ca = 10;
    cout<<"ca = "<<ca.a<<"地址为:"<<&ca<<endl;
    cout<<"---------------------------------------------\n";

    return 0;
}

 

 

结果为:

 

 

我们发现,和我们之前分析的不一样,如果根据我们的分析,会调用一次普通构造函数和一次拷贝构造函数,分别用于构造临时对象和用临时对象初始化ca对象。但实际结果却只调用了一次普通的构造函数。这就是编译器进行优化后的结果,而且根据两次输出的地址信息,我们可以确定,优化后是直接对ca对象进行了构造。这种优化方法叫做Copy Elision(复制的省略)

g++中可以用选项-fno-elide-constructors禁止这种优化

用该选项后,输出的结果为:

 

 

可以看到,进制优化后,和我们之前的分析就对上了。

 

在来看针对第二、三种情况的优化

#include <iostream>
 using namespace std;

#include <iostream>
#include <stdlib.h>
#include <string.h>
using namespace std;

class A{
    public:
        int a;
        A(int x)
        {
            cout<<"构造函数被调用!this = "<<this<<endl;
            a = x;
        }
        A(const A &re )
        {
            cout<<"拷贝构造函数被调用!this = "<<this<<endl;
            a = re.a;
        }
        ~A()
        {
            cout<<"析构函数被调用!\n";
        }
};

A getA()
{
    return A(200);
}

A getA2()
{
    A temp(300);
    cout<<"getA2即将返回!\n";
    return temp;//这里的temp就是一个将亡值
}



int main()
{
    A ba = getA();
    cout<<"ba.a = "<<ba.a<<"地址为:"<<&ba<<endl;
    cout<<"------------------------------------\n";

    A da = getA2();
    cout<<"da.a = "<<da.a<<"地址为:"<<&da<<endl;
    cout<<"------------------------------------\n";
    return 0;
}

 

代码中有两个函数,区别是一个直接返回一个匿名的对象,另一个则是返回一个命了名的对象。

看结果:

 

 

我们可以看到,这两个函数的过程是一样的,都是直接对对象进行了构造(这一点可以根据输出的地址信息确定),而没有临时对象什么事儿。这也是编译器优化的结果,这种优化方法叫做RVO(return value optimization返回值优化),特别地,对第二个函数的返回值的优化叫做NRVO(命名返回值优化)。需要说明的是,在g++中,两个函数的优化方式相同,但是在VS中却不同(debug不同,release和g++中相同),这里就略过了

如果禁止编译器优化,是不是结果和我们之前分析的过程相对应呢?答案是肯定的。

 

可以看到,都调用了两次拷贝构造函数,一次是从函数栈区的临时对象到返回区的临时对象,领一次是从返回去的临时对象到主函数中的对象。

这里还要捎带提一下,构造函数中的参数用了const修饰,这是因为,当用临时对象初始化时,会调用拷贝构造函数,而临时对象只能用const引用,这就意味着,我们不能对临时对象进行什么操作(但是在vs中竟然可以不用const修饰,不知道为什么,但是无论如何,在C++11没有引入右值引用之前,都是不能对临时对象进行修改的)。

关于右值引用,我下一篇随笔中会简要介绍一下

 

补充:

最近又遇到了这样的面试题,补充一下:

情况1---------------------------------------------------------------------------------------------------------------------------------

class A

A getA()

{

  A temp(100);

  return temp;

}

A a = getA();

对于VS,存在优化,

  对于debug:在函数中直接用普通构造返回区临时对象,然后调用拷贝构造函数构造a;

  对于release:在函数中直接用普通构造函数构造a。

对于g++,存在优化:

  和release一样。

 

情况2----------------------------------------------------------------------------------------------------------------------------------------------------

class A

A getA()

{

  return A(100);

}

A a = getA();

对于VS,存在优化:

  对于debug和release都是直接构造a

对于g++,存在优化:

  和VS相同

 

情况3---------------------------------------------------------------------------------------------------------------------------

class A

A getA(A temp)

{

  return temp;

}

A a(100);

A b = getA(a);

对于VS,存在优化:

  对于debug,release,都是:函数形实结合的时候,实参不和temp结合,而是直接和返回区临时对象结合,然后再用返回区临时对象构造b

对于g++,存在优化:

  和vs一样

情况4--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

class A

A getA()

{

  A temp(100);

  return temp;

}

A a(100);

a = getA();

对于vs,存在优化:

  对于debug,不存在优化,会构造temp,存在temp到返回区临时对象的拷贝构造。

  对于release,存在优化,会构直接构造返回区临时对象。

对于g++,存在优化:

  和release一样

 

情况5----------------------------------------------------------------------------------------------------------------------------------------------------------------

class A

A getA()

{

  return A(100);

}

A a;

a = getA();

对于vs,存在优化

  debug和release都是:在函数中,直接构造返回区临时对象

情况6------------------------------------------------------------------------------------------------------------------------------------------------------------------

class A

A getA(A temp)

{

  return temp;

}

A a(100);

A b;

b = getA(a);

对于VS和debug都没有优化,都存在:形实结合时拷贝构造temp,temp到临时对象的拷贝构造。

 

 

 

 

如果你觉得对你有用,请赞一个吧~~~

 

posted @ 2017-09-22 21:22  青儿哥哥  阅读(1389)  评论(0编辑  收藏  举报