c++返回对象值

  首先看一道面试题如下:

A test()
{
    A a1 (2);
    std::cout << &a1 << std::endl;
    return a1;
}
A a2 = test();

  对于以上代码,大概解释下过程。

  test()函数中构造a1对象,当返回时,构造临时对象,并使用a进行拷贝构造。当A a2 = test()是,a2使用临时对象进行拷贝构造,也就是一共有2次拷贝构造,1次构造函数;

  但是当使用代码测试的时候,结果和想象的不一样。

#include <iostream>

class A
{
public:
    A(int i)
        :a(i)
    {
        std::cout << "construct " << i <<std::endl;
    }

    ~A()
    {
        std::cout << "des constrcut " << a << std::endl;
    }

    A(const A& a)
    {
        std::cout << "copy constrcut "  << std::endl;
        this->a = a.a;
    }

    A& operator=(const A& b)
    {
        std::cout << "assign operation " << std::endl;
        this->a  = b.a;
        return *this;
    }

public:
    int a;
};

A test()
{
    A a (2);
    std::cout << &a << std::endl;
    return a;
}

int main()
{

    A a = test();
    std::cout << &a << std::endl;
    return 0;
}

  g++ test.cpp -o test ,运行时,输入如下。 技术分享

技术分享

  结果发现,构造函数只执行了一次,并且没有执行拷贝构造函数,并且test()函数体内的对象地址和main()中的对象地址竟然相同。

  查询后发现,原来编译器会自动执行值返回优化,即RVO。RVO会将a对象的地址传到test函数中,test函数直接修改a对象,避免了拷贝操作。维基百科有详细介绍:http://en.wikipedia.org/wiki/Return_value_optimization

  最后,gnu的编译器可以通过-fno-elide-constructors 选项关闭RVO。g++ test.cpp  -fno-elide-constructors  -o test。 运行结果如下。

技术分享

   大概过程如下:

      test()函数对象a调用构造函数,返回时候临时对象拷贝构造,然后函数内对象析构。

      然后main()函数对象a拷贝构造临时对象,然后析构临时对象。

      最后析构对象a。

  

郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。