C++中函数返回值为自定义类时不调用复制构造函数的问题

最近期末考试，忙着复习，ACM暂时鸽了。
复习的时候手敲了一个程序想看看编译器是怎么调析构函数的，结果出问题了。
问题是这样的：

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
class Complex
{
public:
    int r, i;
public:
    Complex(int a, int b): r(a), i(b) { cout << "Constructor called." << endl; }
    ~Complex() { cout << "Destructor called." << endl; }
    Complex(const Complex &a) { r = a.r, i = a.i; cout << "Copy constructor called." << endl; }
    Complex operator +(Complex x1);
};
Complex Complex::operator +(Complex x1)
{
    return Complex(r + x1.r, i + x1.i);
}
int main()
{
    Complex a(1, 2);
    a = a + a;
    return 0;
}

运行完结果是：

Constructor called.
Copy constructor called.
Constructor called.
Destructor called.
Destructor called.
Destructor called.

按照书上讲的来说，这个程序首先调用一次构造函数创建对象a，之后在主程序第二行调用复制构造函数把a传给形参x1，之后在函数中调用一次构造函数生成加法的结果，之后再调用一次复制构造函数把这个结果存到一个临时对象里，然后析构结果和x1，之后把临时对象赋值给a，最后析构临时对象。所以理想结果应该是：

Constructor called.
Copy constructor called.
Constructor called.
Copy constructor called.
Destructor called.
Destructor called.
Destructor called.
Destructor called.

但是很明显程序运行结果少了一次复制构造函数和析构函数的调用。百思不得其解，想了一个下午，最后通过询问神奇海螺发现C++对于返回值有个叫做返回值优化的东西。
这篇文章讲得很详细：C++中临时对象及返回值优化

具体来说返回值优化有两种实现方式。第一种是对于已经存在的对象a，在调用函数对该对象赋值是编译器会偷偷往函数里多塞一个形参，把a的地址传进去，之后直接在函数里对a赋值。第二种不再赘述，上面这篇博客写得比较详细。

把程序的

a = a + a;

改成

a + a;

后仍然没有调用复制构造函数。应该采用的是第二种方法。

有错误欢迎指出。