C++中关于临时对象和拷贝构造的关系

写这篇文章主要是为了日后学习C++能在源码中找到答案，用作记录 一共有两点问题

1. C++中关于函数是如果识别传入的实参是临时对象的

2. 为什么实参是临时变量，函数就不再调用拷贝构造，复制出一个副本，而是直接将引用了实参的地址，具体是怎么实现的

---

接下来，我会通过代码证明，当函数的形参为局部对象，实参为一个临时对象时，编译器将不会调用拷贝构造，构建一个副本。而是将实参的地址赋给形参，从而变成 临时对象的地址传递

#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;
}

代码说明：
我们在无参构造、析构构造中打印了地址
运行结果：

可以看到，析构的确实是，实参的地址，证毕