C++的函数参数的传递中构造函数和析构函数的调用顺序

 废话不多说，直接看代码

#include <iostream>
#include <string>
using namespace std;
int cnt = 0; //表示内存中生成的实例的个数
class A
{
public:
    
    A(string a)
    {
        cnt++;
        id = cnt;
        s = a;
        cout << s << " " << id << " " << (int)this%10000 << " 有参构造函数\n";
    }
    A(const A& a)
    {
        cnt++;
        s = a.s;
        id = cnt;
        cout << s << " " << id << " " << (int)this % 10000 << " 拷贝构造函数\n";
    }
    ~A()
    {
        cout << s << " " << id << " " << (int)this % 10000 << " 析构函数\n";
    }
    void operator=(const A& a)
    {
        s = a.s;
        cout << s << " " << id << " " << (int)this % 10000 << " 重载赋值号函数\n";
    }
    string s;
    int id; //每个对象的编号
};
A test(A a,A b)
{
    A pp("pp");
    return pp;
}
int main()
{
    A a("a"), b("b");
    b = test(a,b);
    return 0;
}

输出结果：

a 1 6632 有参构造函数
b 2 6712 有参构造函数
b 3 7368 拷贝构造函数
a 4 7480 拷贝构造函数
pp 5 6152 有参构造函数
pp 6 7592 拷贝构造函数
pp 5 6152 析构函数
a 4 7480 析构函数
b 3 7368 析构函数
pp 2 6712 重载赋值号函数
pp 6 7592 析构函数
pp 2 6712 析构函数
a 1 6632 析构函数

分析：

        因为不是引用传递，所以在传递参数时，系统会调用拷贝构造函数，创建两个新的对象a和b

        从输出结果中可以看出，当调用函数初始化形参时，对象是按函数形参列表从右至左的顺序创建的（b -> a）

        在执行到return pp;时，会调用拷贝构造函数创建一个临时变量。创建完临时变量后，系统会按后创建先销毁的顺序，销毁函数之中的其他局部变量（pp -> b -> a）

        将临时变量的值赋值给主函数中的b后，临时变量就销毁了，最后依次销毁其他对象，程序结束

结论：

（1）函数初始化形参的顺序是从右至左

（2）不引用返回对象时，先销毁被调用函数中的其他临时变量，最后销毁返回时创建的临时变量