重载赋值运算符时为什么需要返回引用类型？

c++ primer P492：赋值运算符的行为与复合版本（什么是复合版本）的类似，左侧运算对象和右侧运算对象的值相等，并且运算符应该返回它左侧运算对象的一个引用。
疑问：为什么要返回左侧运算对象的引用，返回它的拷贝不行？

---

2021.6.5
最近看了effective c++，很受启发，对于该问题，有两个主要的原因
1.如果返回拷贝，那么会产生一个临时对象，而返回一个临时对象是比较危险的，因为该临时对象马上就会被析构，至少这个方法会多调用一次构造函数和析构函数，不划算。
2.如果将operator=返回类型定义为void，这样做是合法的，但是会影响赋值的串连动作，如obj1 = obj2 = obj3这样的行为。

---

参考其他人的博客：Jessica要努力了。。：c++赋值运算符为什么要返回引用？
做出以下的总结：
重载赋值运算符时不一定非得返回左侧运算对象得拷贝，但是如果不这样做出错的风险会加大。

当类没有指针类型的成员时返回左侧对象拷贝不会出错，代码如下：

Test.h

#pragma once
#include<iostream>
using namespace std;

class Test
{
public:
	Test() 
	{
		cout << "default ctr" << endl;
	}
	Test(int a) : id(a) 
	{
		cout << "defined ctr" << endl;
	}
	Test operator=(const Test& tmp) // 引用传参
	{
		cout << "operator =" << endl;
		id = tmp.id;
		return *this;
	}
	~Test()
	{
		cout << "deconstructor" << endl;
	}
	void printId()
	{
		cout << id << endl;
	}
private:
	int id;
};

Test.cpp

#include"Test.h"

int main()
{
	Test t1(5);
	Test t2;
	t2 = t1;
	t2.printId();
	return 0;
}

运行的结果：

可以看出在以非引用返回时会调用一次析构函数，现在改变Test.h中的代码，变为返回引用类型，Test.cpp不变：

#pragma once
#include<iostream>
using namespace std;

class Test
{
public:
	Test() 
	{
		cout << "default ctr" << endl;
	}
	Test(int a) : id(a) 
	{
		cout << "defined ctr" << endl;
	}
	//**********************这里改成了返回对象的引用**********************
	Test& operator=(const Test& tmp) // 引用传参 
	{
		cout << "operator =" << endl;
		id = tmp.id;
		return *this;
	}
	~Test()
	{
		cout << "deconstructor" << endl;
	}
	void printId()
	{
		cout << id << endl;
	}
private:
	int id;
};

运行结果：

可以看出这里在调用重载的=运算符时没有调用析构函数。这一点对于具有指针类型的数据成员的类很重要
改变Test.h，Test.cpp不变

---

注：该段代码有点问题，不应该使用delete释放p

#pragma once
#include<iostream>
using namespace std;

class Test
{
public:
	Test() 
	{
		cout << "default ctr" << endl;
	}
	// **这里进行了修改**
	Test(int a) : id(a), p(&a)
	{
		cout << "defined ctr" << endl;
	}
	// **以非引用方式返回对象**
	Test operator=(const Test& tmp) // 引用传参
	{
		cout << "operator =" << endl;
		id = tmp.id;
		p = tmp.p;
		return *this;
	}
	// ** 释放p指向的内存**
	~Test()
	{
		cout << "deconstructor" << endl;
		delete p;
	}
	void printId()
	{
		cout << id << endl;
	}
private:
	int id;
	int* p;
};

运行结果

在return *this后，会调用析构函数，将p指向的内存释放，所以引发错误（误）

改为引用方式返回对象

这里错误的原因是多次delete了相同的指针，在赋值时为p重新分配内存即可。（误）

---

2021/6/21:
以上出错的原因分析：在这个例子中test1、test2都是局部对象，因此其数据成员id的存储区是栈区，然而在Test的析构函数中却用delete去释放p，此时p是指向栈区的，所以导致了错误。
就如同以下的代码：

int a = 0;
int *p = &a;
delete p;

正确的应该是：

int a = 0;
int *p = new int;
delete p;

总结：一个new 对应一个delete。
太菜了

---