废话不多说,直接看代码
#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)不引用返回对象时,先销毁被调用函数中的其他临时变量,最后销毁返回时创建的临时变量