关于构造函数和析构函数调用时的多种情况

关于构造函数和析构函数调用时的多种情况

例：有一个类A当这样定义时

class AA
{
public:
    AA()
    {
        cout << "AA::AA" << endl;
    }
    AA(const AA& a)
    {
        cout << "AA::AA(const AA& a)" << endl;
    }
    ~AA()
    {
        cout << "AA::~AA" << endl;
    }
    AA& operator=(const AA&a)
    {
        cout << "AA& operator=(const AA&a)" << endl;
        return *this;
    }
};

其中函数如下，当调用test1时：

AA f(AA a)
{
    return a;
}
void Test1()
{
    AA a1;
    a1 = f(a1);
}

运行结果如下

由此可见在这种情况下vs2013编译器不会给予优化。

2. 有test2如下

void Test2()
{
    AA a1;
    AA a2 = f(a1);
}

调用结果如下图：

这边是很奇怪了，这里明明有个赋值函数为何却没有出现赋值函数的调用？

这里就涉及到了编译器对这个类的优化了，在函数f（）中，返回了一个AA类型的返回值，这个值被创建在了一个专门储存函数返回值的空间中，所以这里返回一个值后在赋值给一个新构造的AA类型变量a2的过程中需要调用一个无参的构造函数，一个拷贝构造函数，还有一个赋值函数，十分的繁琐。所以编译器将这个过程进行了简化，省略了赋值和创建返回值的过程，直接将返回值拷贝构造给了需要构造的变量a2。

3.如果有test3如下又会输出什么样的值呢？

void Test3()
{
    AA a1;
    AA a2 = f(f(a1));
}

我们运行一下函数输出的值如下：

这里就很明显，优化的过程和test2相似，并没有更多的优化。