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。