【C++修炼秘籍】| 拷贝构造和赋值运算符重载

【C++修炼秘籍】拷贝构造和赋值运算符重载

🌸心有所向，日复一日，必有精进

🌸专栏《C++修炼秘籍》

🌸作者：沂沐沐

---

目录

【C++修炼秘籍】拷贝构造和赋值运算符重载

前言

一、拷贝构造函数

1、什么是拷贝构造/拷贝构造概念

2、拷贝构造细节

二、赋值运算符重载

1、运算符重载

2、 赋值运算符重载

2.1重载格式

2. 2赋值运算符只能重载成类的成员函数不能重载成全局函数

2.3用户没有显式实现时，编译器会生成一个默认赋值运算符重载，以值的方式逐字节拷贝。

三、const成员函数

四、取地址及const取地址操作符重载

---

前言

如果一个类中什么成员都没有，简称为空类。
空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成以下6个默认成员
函数。
默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数

前面已经介绍了构造函数和析构函数，接下来介绍其余几位； 

---

一、拷贝构造函数

1、什么是拷贝构造/拷贝构造概念

拷贝构造函数：只有单个形参，该形参是对本类类型对象的引用(一般常用const修饰)，在用已存
在的类类型对象创建新对象时由编译器自动调用

2、拷贝构造细节

•  拷贝构造函数是构造函数的一个重载形式
•  拷贝构造函数的参数只有一个且必须是类类型对象的引用，使用传值方式编译器直接报错，因为会引发无穷递归调用。

形参是传参的临时拷贝，如果是自定义类型，传参会引发拷贝构造

• 若未显式定义，编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按字节序完成拷贝，这种拷贝叫做浅拷贝，或者值拷贝。

 没有构造函数，编译器生成默认拷贝构造，完成拷贝，但是如果是一个栈或者其他类需要实现深拷贝，我们编译器默认生成的拷贝构造是有问题的，请注意；

❗️注意：在编译器生成的默认拷贝构造函数中，内置类型是按照字节方式直接拷贝的，而自定
义类型是调用其拷贝构造函数完成拷贝的。

• 拷贝构造函数典型调用场景：

1. 使用已存在对象创建新对象
2. 函数参数类型为类类型对象
3. 函数返回值类型为类类型对象

二、赋值运算符重载

1、运算符重载

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其
返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。
函数名字为：关键字operator后面接需要重载的运算符符号。
函数原型：返回值类型 operator操作符(参数列表)
注意：

• 不能通过连接其他符号来创建新的操作符：比如operator@
• 重载操作符必须有一个类类型参数
• 用于内置类型的运算符，其含义不能改变，例如：内置的整型+，不 能改变其含义
• 作为类成员函数重载时，其形参看起来比操作数数目少1，因为成员函数的第一个参数为隐藏的this
• .*      ::      sizeof      ?:       .注意以上5个运算符不能重载。

 这里的d1==d2就是在调用operator==（）；我们一般不会显示调用，这样本来就是为了可读性；

2、 赋值运算符重载

2.1重载格式

1. 参数类型：const T&，传递引用可以提高传参效率
2. 返回值类型：T&，返回引用可以提高返回的效率，有返回值目的是为了支持连续赋值
3. 返回*this ：要复合连续赋值的含义

class Date
{
public:
	//构造函数
	Date(int year = 2023, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	//拷贝构造函数
	Date(const Date& d)
	{
		_year = d._year;
		_month = d._month;
		_day = d._day;
	}
	//赋值运算符重载
	Date& operator=(const Date& d)
	{		
			_year = d._year;
			_month = d._month;
			_day = d._day;
		return *this;
	}
private:
		int _year;
		int _month;
		int _day;
};

2. 2赋值运算符只能重载成类的成员函数不能重载成全局函数

class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	int _year;
	int _month;
	int _day;
};
// 赋值运算符重载成全局函数，注意重载成全局函数时没有this指针了，需要给两个参数
Date& operator=(Date& left, const Date& right)
{
	if (&left != &right)
	{
		left._year = right._year;
		left._month = right._month;
		left._day = right._day;
	}
	return left;
}

 赋值运算符如果不显式实现，编译器会生成一个默认的。此时用户再在类外自己实现
一个全局的赋值运算符重载，就和编译器在类中生成的默认赋值运算符重载冲突了，故赋值
运算符重载只能是类的成员函数

2.3用户没有显式实现时，编译器会生成一个默认赋值运算符重载，以值的方式逐字节拷贝。

❗️注意：内置类型成员变量是直接赋值的，而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。 

// 这里会发现下面的程序会崩溃掉？这里就需要我们以后讲的深拷贝去解决。
typedef int DataType;
class Stack
{
public:
	Stack(size_t capacity = 10)
	{
		_array = (DataType*)malloc(capacity * sizeof(DataType));
		if (nullptr == _array)
		{
			perror("malloc申请空间失败");
			return;
		}
		_size = 0;
		_capacity = capacity;
	}
	void Push(const DataType& data)
	{
		// CheckCapacity();
		_array[_size] = data;
		_size++;
	}
	~Stack()
	{
		if (_array)
		{
			free(_array);
			_array = nullptr;
			_capacity = 0;
			_size = 0;
		}
	}
private:
	DataType *_array;
	size_t _size;
	size_t _capacity;
};
int main()
{
	Stack s1;
	s1.Push(1);
	s1.Push(2);
	s1.Push(3);
	s1.Push(4);
	Stack s2;
	s2 = s1;
	return 0;
}

s1创建对象，调用构造函数，申请10个元素空间并存放了1,2,3,4,四个元素；

s2完成构造后，s2也开辟了10个元素空间；

编译器生成的默认赋值运算符重载，以值的方式逐字节拷贝。当没有显示实现赋值运算符重载，编译器自动生成，将会把s1的内容拷贝到s2，这时拷贝的是s1所指向空间的地址，并不是地址中的内容，s2原来的空间丢失，s2且指向s1所指向的空间；

 

❗️注意：如果类中未涉及到资源管理，赋值运算符是否实现都可以；一旦涉及到资源管理则必
须要实现。 

三、const成员函数

const修饰的“成员函数”称之为const成员函数，const修饰类成员函数，实际修饰该成员函数
隐含的this指针，表明在该成员函数中不能对类的任何成员进行修改
 

四、取地址及const取地址操作符重载

这两个默认成员函数一般不用重新定义 ，编译器默认会生成。

class Date
{
public:
	Date* operator&()
	{
		return this;
	}
	const Date* operator&()const
	{
		return this;
	}
private:
	int _year; // 年
	int _month; // 月
	int _day; // 日
};

这两个运算符一般不需要重载，使用编译器生成的默认取地址的重载即可，只有特殊情况，才需
要重载，比如想让别人获取到指定的内容！ 

---

五、结束

类和对象中含有很多细节，但是默认成员函数总算是结尾了~，更多的细节我会慢慢总结！

如果觉得有帮助的话，可以点赞 + 收藏 + 评论支持一下哦！