写这篇文章主要是为了日后学习C++能在源码中找到答案,用作记录 一共有两点问题
-
C++中关于函数是如果识别传入的实参是临时对象的
-
为什么实参是临时变量,函数就不再调用拷贝构造,复制出一个副本,而是直接将引用了实参的地址,具体是怎么实现的
接下来,我会通过代码证明,当函数的形参为局部对象,实参为一个临时对象时,编译器将不会调用拷贝构造,构建一个副本。而是将实参的地址赋给形参,从而变成 临时对象的地址传递
#include<iostream>
using namespace std;
namespace _04
{
class Person
{
public:
Person()
{
cout << "构造函数执行了" << endl;
cout << endl;
}
//拷贝函数,当函数为值传递时 , 执行拷贝副本
Person(const Person& person)
{
cout << "拷贝函数执行了" << endl;
cout << endl;
}
~Person()
{
cout << "析构函数执行了" << endl;
cout << endl;
}
};
void func(Person p) //初发了拷贝操作
{
}
}
int main()
{
using namespace _04;
Person p;//触发了构造函数
func(p);
return 0;
}
代码说明:
可以看到,创建了一个Person类,在无参构造,拷贝构造、析构函数中分别写了一条输出语句,
并且定义实现了一个全局函数func(Person p);
在入口函数main()中,创建了一个Person对象p,并且传入到函数中;
输出结果:
可以看到:程序执行了一次构造、一次拷贝。
并且在程序即将结束时,分别执行了析构
说明在值传递时,会在内存中,开辟两个内存空间用来存储数据
因为构造在前,拷贝在后,说明,形参的对象是由拷贝函数进行初始化,而非构造函数
现在,我们创建一个临时对象Person(),其他代码保持不变,运行一下
int main()
{
using namespace _04;
//Person p;//触发了构造函数
//
//func(p);
func(Person());
return 0;
}
输出结果:
可以发现,程序只执行了一次构造一次析构,而没有进行拷贝操作。说明实参为一个临时对象时,编译器将不会调用拷贝构造,构建一个副本。而是将实参的地址赋给形参
接下来我们也可以把形参改为引用,来再次测试一下析构的对象是不是实参传递过来的对象
#include<iostream>
using namespace std;
namespace _04
{
class Person
{
public:
Person()
{
cout<< this << "的构造函数执行了" << endl;
cout << endl;
}
//拷贝函数,当函数为值传递时 , 执行拷贝副本
Person(const Person& person)
{
cout << "拷贝函数执行了" << endl;
cout << endl;
}
~Person()
{
cout << this << "的析构函数执行了" << endl;
cout << endl;
}
};
/*
将形参变为引用时,由于编译器会认为,临时对象作为实参传入函数不靠谱(会在离开函数时进行析构)所以必须把形参类型变为常量,编译器才允许通过
*/
void func(const Person& p)
{
}
}
int main()
{
using namespace _04;
//Person p;//触发了构造函数
//
//func(p);
func(Person());
return 0;
}
代码说明:
我们在无参构造、析构构造中打印了地址
运行结果:
可以看到,析构的确实是,实参的地址,证毕