C++类和对象（二）-CSDN博客

本文链接：https://blog.csdn.net/qq_67405610/article/details/130715611

本文详细介绍了C++中类的成员函数，包括构造函数（无参、带参、默认构造）、析构函数（资源清理）、拷贝构造函数（对象复制）和赋值运算符重载（对象赋值）。此外，还讨论了const成员函数的作用，以及编译器如何处理默认成员函数。文章通过示例代码展示了这些概念的实际应用，并强调了涉及资源管理时，构造和拷贝构造函数的重要性，以及如何避免浅拷贝导致的问题。

摘要由CSDN通过智能技术生成

文章目录

1. 类的6个默认成员函数
2. 构造函数
- - 2.1 构造函数概念
  - 2.2 构造函数特性
3.析构函数
- - 3.1 析构函数的概念
  - 3.2析构函数的特性
4.拷贝构造函数
- - 4.1拷贝构造函数的概念
  - 4.2 拷贝构造函数的特征
5.赋值运算符重载
- - 5.1 运算符重载
  - 5.2 赋值运算符重载
6.const成员
7.取地址及const取地址操作符重载
8.日期类的实现

1. 类的6个默认成员函数

如果一个类中什么成员都没有，简称为空类。

空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成以下6个默认成员函数。

默认成员函数：不用用户自己实现，编译器会自动生成的成员函数称为默认成员函数。

class Date
{
	//空类
};

在这里插入图片描述
注意：如果你自己写了这些函数，那编译器就不会生成，而是使用你写的函数。

2. 构造函数

2.1 构造函数概念

对于以下Date类：

class Date
{
public:
	void Init(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	void Print()
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date d1;
	d1.Init(2022, 7, 5);
	d1.Print();
	Date d2;
	d2.Init(2022, 7, 6);
	d2.Print();
	return 0;
}

对于Date类，可以通过调用Init 函数给对象设置日期，但如果每次创建对象时都调用该函数设置信息，未免有点麻烦，那能否在创建对象时，就将对象中的成员变量初始化？构造函数就可以完成这个任务。

构造函数是一个特殊的成员函数，名字与类名相同，且没有返回值,创建类类型对象时由编译器自动调用，以保证每个数据成员都有一个合适的初始值，并且在对象整个生命周期内只调用一次。

2.2 构造函数特性

1. 函数名与类名相同。
2. 无返回值。 这里说无返回值是真的无返回值，而不是说返回值为void。
3. 对象实例化时编译器自动调用对应的构造函数。 当你用类创建一个对象时，编译器会自动调用该类的构造函数为对象的成员变量初始化。
4. 构造函数可以重载。 编译器会根据你创建对象时所传递的参数去调用对应的构造函数。

class Date
{
public:
	// 1.无参构造函数
	Date()
	{}

	// 2.带参构造函数
	Date(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date d1; // 调用无参构造函数
	Date d2(2015, 1, 1); // 调用带参的构造函数

	// 注意：如果通过无参构造函数创建对象时，对象后面不用跟括号，否则就成了函数声明
	Date d3();//这是错误示范
	return 0;
}

5. 如果类中没有显式定义构造函数，则C++编译器会自动生成一个无参的默认构造函数，一旦用户显式定义编译器将不再生成。

class Date
{
public:
	/*
	// 如果用户显式定义了构造函数，编译器将不再生成
	Date(int year, int month, int day)
	{
	_year = year;
	_month = month;
	_day = day;
	}
	*/

	void Print()
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}

private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date d1;
	// 将Date类中构造函数屏蔽后，代码可以通过编译，因为编译器生成了一个无参的默认构造函数
	// 将Date类中构造函数放开，代码编译失败，因为此时的构造函数必须传参才可调用
	// 无参构造函数，放开后报错：error C2512: “Date”: 没有合适的默认构造函数可用。需要你传参才可调用。
	return 0;
}

6. 关于编译器生成的默认成员函数，很多童鞋会有疑惑：不实现构造函数的情况下，编译器会生成默认的构造函数。但是看起来默认构造函数又没什么用？d对象调用了编译器生成的默认构造函数，但是d对象_year/_month/_day，依旧是随机值。也就说在这里编译器生成的默认构造函数并没有什么用？？

解答：C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类型，如：int/char…，自定义类型就是我们使用class/struct/union等自己定义的类型，看看下面的程序，就会发现编译器生成默认的构造函数会对自定类型成员_t调用的它的默认成员函数。

class Time
{
public:
	Time()
	{
		cout << "Time()" << endl;
		_hour = 0;
		_minute = 0;
		_second = 0;
	}
private:
	int _hour;
	int _minute;
	int _second;
};
class Date
{
private:
	// 基本类型(内置类型)
	int _year;
	int _month;
	int _day;
	// 自定义类型
	Time _t;
};
int main()
{
	Date d;
	return 0;
}

注意：C++11 中针对内置类型成员不初始化的缺陷，又打了补丁，即：内置类型成员变量在类中声明时可以给默认值。

class Time
{
public:
	Time()
	{
		cout << "Time()" << endl;
		_hour = 0;
		_minute = 0;
		_second = 0;
	}
private:
	int _hour;
	int _minute;
	int _second;
};
class Date
{
private:
	// 基本类型(内置类型)
	int _year = 1970;//声明时可以给默认值
	int _month = 1;
	int _day = 1;
	// 自定义类型
	Time _t;
};
int main()
{
	Date d;
	return 0;
}

7. 无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个。 因为以上三个默认构造函数在创建对象时不传参的话都可以调用，如果这三个默认函数同时存在，而你在创建对象时没有传参，编译器不知道你选择哪一个构造函数，导致编译出错。

注意：无参构造函数、全缺省构造函数、我们没写而编译器默认生成的构造函数，都可以认为是默认构造函数。因为只要无需传参的构造函数就是默认构造函数

class Date
{
public:
	Date()
	{
		_year = 1900;
		_month = 1;
		_day = 1;
	}
	//全缺省构造函数，不用传参也可以调用
	Date(int year = 1900, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};

void Test()
{
	//编译失败，因为提供了无参构造函数和全缺省构造函数，编译器不知道你选择哪一个构造函数
	Date d1;
}

3.析构函数

3.1 析构函数的概念

析构函数：与构造函数功能相反，析构函数不是完成对对象本身的销毁，局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数，完成对象中资源的清理工作。

3.2析构函数的特性

析构函数名是在类名前加上字符 ~。
无参数无返回值类型。
一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。注意：析构
函数不能重载
对象生命周期结束时，C++编译系统系统自动调用析构函数。

class Stack
{
public:
	Stack()//构造函数
	{
		a = (int*)malloc(sizeof(int)*10);
		size = 0;
	}
	~Stack()//析构函数
	{
		a = nullptr;//清理对象中的资源
	}
private:
	int* a;
	int size;
};

int main()
{
	Stack st;
	return 0;
}

关于编译器自动生成的析构函数，是否会完成一些事情呢？下面的程序我们会看到，编译器
生成的默认析构函数，对自定类型成员会调用它的析构函数。

class Time
{
public:
	~Time()
	{
		cout << "~Time()" << endl;
	}
private:
	int _hour;
	int _minute;
	int _second;
};

class Date
{
private:
	// 基本类型(内置类型)
	int _year = 1970;
	int _month = 1;
	int _day = 1;
	// 自定义类型
	Time _t;
};

int main()
{
	Date d;
	return 0;
}

程序运行结束后输出：~Time()。

因为：main方法中创建了Date对象d，而d中包含4个成员变量，其中_year, _month, _day三个是内置类型成员，销毁时不需要资源清理，最后系统直接将其内存回收即可；
而_t是自定义类型，所以在d销毁时，要将其内部包含的Time类的_t对象销毁，所以要调用Time类的析构函数。编译器会给Date类生成一个默认的析构函数，在其内部调用Time类的析构函数。总结就是：如果销毁的资源中有自定义类型，那么就会去调用它的析构函数。

6.先构造的后析构，后构造的先析构
因为对象是定义在函数中的，函数调用会建立栈帧，栈帧中的对象构造和析构也要符合先进后出的原则。

class A
{
public:
	A(int x)
	{
		_a = x;
		cout << _a << endl;
	}
	~A()
	{
		cout << _a << endl;
	}
private:
	int _a;
};

int main()
{
	A a1(1);
	A a2(2);
	return 0;
}

运行结果：
在这里插入图片描述

7.如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数，比如Date类；有资源申请时，一定要写，否则会造成资源泄漏，比如Stack类。

4.拷贝构造函数

4.1拷贝构造函数的概念

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

4.2 拷贝构造函数的特征

拷贝构造函数也是特殊的成员函数，其特征如下：

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

class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	// Date(const Date d)   // 错误写法：编译报错，会引发无穷递归
	Date(const Date& d)   // 拷贝构造函数，正确写法
	{
		_year = d._year;
		_month = d._month;
		_day = d._day;
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d1;
	Date d2(d1);//用d1拷贝构造d2
	return 0;
}

在这里插入图片描述

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

class Time
{
public:
	Time()
	{
		_hour = 1;
		_minute = 1;
		_second = 1;
	}
	Time(const Time& t)
	{
		_hour = t._hour;
		_minute = t._minute;
		_second = t._second;
		cout << "Time::Time(const Time&)" << endl;
	}
private:
	int _hour;
	int _minute;
	int _second;
};

class Date
{
private:
	// 基本类型(内置类型)
	int _year = 1970;
	int _month = 1;
	int _day = 1;
	// 自定义类型
	Time _t;
};
int main()
{
	Date d1;
	Date d2(d1);
	// 用已经存在的d1拷贝构造d2，此处会调用Date类的拷贝构造函数
	// 但Date类并没有显式定义拷贝构造函数，则编译器会给Date类生成一个默认的拷贝构造函数
	return 0;
}

注意：在上面代码中，对于编译器生成的默认拷贝构造函数，内置类型如_year是按照字节方式直接拷贝的，而自定义类型_t是调用其拷贝构造函数完成拷贝的。

4.编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了，还需要自己显式实现吗？
当然像日期类这样的类是没必要的。那么下面的类呢？验证一下试试？这里会发现下面的程序会崩溃掉？这里就需要深拷贝去解决。

class A
{
public:
	A(int num = 10)
	{
		_p = (int*)malloc(num * sizeof(int));
	}
	~A()
	{
		free(_p);
		_p = nullptr;
	}
private:
	int* _p;
};

int main()
{
	A s1;
	A s2(s1);
	return 0;
}

上述代码中，编译器提供的拷贝构造函数是值拷贝，导致s1中的指针_p与s2中的指针_p指向同一个空间，当程序结束时s1和s2都会调用拷贝构造函数，导致开辟的空间被释放两次，进而导致程序奔溃。
注意：类中如果没有涉及资源申请时，拷贝构造函数是否写都可以；一旦涉及到资源申请
时，则拷贝构造函数是一定要写的，否则就是浅拷贝。

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

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

class Date
{
public:
	Date(int year, int minute, int day)
	{
		cout << "Date(int,int,int):" << endl;
	}
	Date(const Date& d)
	{
		cout << "Date(const Date& d):" << endl;
	}
	~Date()
	{
		cout << "~Date():" << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};

Date Test(Date d)//函数参数类型为类类型对象
{
	Date temp(d);
	return temp;//函数返回值类型为类类型对象
}

int main()
{
	Date d1(2022, 1, 13);
	Date d2(d1);//使用已存在对象创建新对象
	Test(d1);
	return 0;
}

5.赋值运算符重载

5.1 运算符重载

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其
返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。

函数名字为：关键字operator后面接需要重载的运算符符号。

函数原型：返回值类型 operator操作符(参数列表)。
注意：

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

这里以重载==符号为例子

// 全局的operator==
class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	//private:
	int _year;
	int _month;
	int _day;
};
// 这里会发现运算符重载成全局的就需要成员变量是公有的，那么问题来了，封装性如何保证？
// 这里其实可以用我们后面学习的友元解决，或者干脆重载成成员函数。
bool operator==(const Date& d1, const Date& d2)
{
	return d1._year == d2._year
		&& d1._month == d2._month
		&& d1._day == d2._day;
}
int main()
{
	Date d1(2018, 9, 26);
	Date d2(2018, 9, 27);
	cout << (d1 == d2) << endl;
}

如果重载成成员函数，由于第一个参数为this指针，所以就不用你写了。

class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}

	// bool operator==(Date* this, const Date& d2)
	// 这里需要注意的是，左操作数是this，编译器自动传递，不用你写
	bool operator==(const Date & d2)
	{
		return _year == d2._year
		&& _month == d2._month
		&& _day == d2._day;
	}
private:
	int _year;
	int _month;
	int _day;
};

5.2 赋值运算符重载

1.赋值运算符重载格式

参数类型：const T&，传递引用可以提高传参效率。如果是传值传参，会调用拷贝构造函数，我们可以用引用传参&来替代函数调用。并且为了不改变外部参数，需要加上一个const。
返回值类型：T&，返回引用可以提高返回的效率，有返回值目的是为了支持连续赋值。为了实现连续赋值如d1=d2=d3，赋值运算符重载需要一个返回值。
检测是否自己给自己赋值。对于d1=d1这样的赋值我们可以不进行，通过判断语句来检测。
返回*this ：要复合连续赋值的含义。只有返回对this的解引用才也就是*this才能实现连续赋值。

class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}

	Date(const Date& d)
	{
		_year = d._month;
		_month = d._month;
		_day = d._day;
	}
	// 赋值运算符重载
	Date& operator=(const Date& d)
	{
		if (this != &d)//判断是否是自给自己赋值
		{
			_year = d._year;
			_month = d._month;
			_day = d._day;
		}
		return *this;
	}
private:
	int _year;
	int _month;
	int _day;
};

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

3.用户没有显式实现时，编译器会生成一个默认赋值运算符重载，以值的方式逐字节拷贝。注
意：内置类型成员变量是直接赋值的，而自定义类型成员变量需要调用对应类的赋值运算符
重载完成赋值。
注意：如果类中未涉及到资源管理，赋值运算符是否实现都可以；一旦涉及到资源管理则必
须要实现。

6.const成员

将const修饰的“成员函数”称之为const成员函数，const修饰类成员函数，实际修饰该成员函数
隐含的this指针，表明在该成员函数中不能对类的任何成员进行修改。
在这里插入图片描述
思考下面几个问题（经典面试题）：
1.const对象可以调用非const成员函数吗？
2.非const对象可以调用const成员函数吗？
3.const成员函数内可以调用其他的非const成员函数吗？
4.非cosnt成员函数内可以调用其他的cosnt成员函数吗？

答案是：不可以、可以、不可以、可以
解释如下：
1.非const成员函数，即成员函数的this指针没有被const所修饰，我们传入一个被const修饰的对象，用没有被const修饰的this指针进行接收，属于权限的放大，函数调用失败。
2.const成员函数，即成员函数的this指针被const所修饰，我们传入一个没有被const修饰的对象，用被const修饰的this指针进行接收，属于权限的缩小，函数调用成功。
3.在一个被const所修饰的成员函数中调用其他没有被const所修饰的成员函数，也就是将一个被const修饰的this指针的值赋值给一个没有被const修饰的this指针，属于权限的放大，函数调用失败。
4.在一个没有被const所修饰的成员函数中调用其他被const所修饰的成员函数，也就是将一个没有被const修饰的this指针的值赋值给一个被const修饰的this指针，属于权限的缩小，函数调用成功。

class Date
{
public:
	Date(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	void Print()
	{
		cout << "Print()" << endl;
		cout << "year:" << _year << endl;
		cout << "month:" << _month << endl;
		cout << "day:" << _day << endl << endl;
	}
private:
	int _year; // 年
	int _month; // 月
	int _day; // 日
};

int main()
{
	const Date d(2000, 1, 1);
	d.Print();//d是const类型，传参给没有const修饰的this指针，属于权限的放大，编译出错。
}

7.取地址及const取地址操作符重载

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

class Date
{
public:
	Date* operator&()// 取地址操作符重载
	{
		return this;
	}
	const Date* operator&()const// const取地址操作符重载
	{
		return this;
	}
private:
	int _year;
	int _month;
	int _day;
};

8.日期类的实现

Date.h

#pragma once
#include<iostream>
#include<assert.h>

using namespace std;

class Date
{
	friend ostream& operator<<(ostream& out, const Date& d);
	friend istream& operator>>(istream& in, Date& d);

public:
	Date(int year = 1900, int month = 1, int day = 1);
	int GetMonthDay(int year, int month) const;

	void print() const;
	bool operator==(const Date& d) const;
	bool operator<(const Date& d) const;
	bool operator<=(const Date& d) const;
	bool operator>(const Date& d) const;
	bool operator>=(const Date& d) const;
	bool operator!=(const Date& d) const;

	Date& operator+=(int day);
	Date& operator-=(int day);
	Date operator+(int day) const;
	Date operator-(int day) const;

	Date& operator++();//前置++
	Date operator++(int);//后置++
	Date& operator--();
	Date operator--(int);

	int operator-(const Date& d) const;

	void operator<<(ostream& d) const;

private:
	int _year;
	int _month;
	int _day;
};

//ostream& operator<<(ostream& out, const Date& d);
//istream& operator>>(istream& in, Date& d);

//内联函数定义和实现放在一起
inline ostream& operator<<(ostream& out, const Date& d)
{
	out << d._year << ":" << d._month << ":" << d._day << endl;
	return out;
}

inline istream& operator>>(istream& in, Date& d)
{
	in >> d._year >> d._month >> d._day;
	return in;
}

Date.cpp

#include"Date.h"

//每月对应的天数
int Date::GetMonthDay(int year, int month) const
{
	assert(month > 0 && month < 13);

	int a[13] = { 0,31,28,31,30,31,30,31,31,30,31,30,31 };
	//判断是否为闰年
	if (month == 2 && ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)))
	{
		return 29;
	}
	else
	{
		return a[month];
	}
}

//缺省参数只写在声明，不写在实现
Date::Date(int year, int month, int day)
{
	_year = year;
	_month = month;
	_day = day;
}

void Date::print() const     //const Date*this
{
	cout << _year << ":" << _month << ":" << _day << endl;
}

//const Date& d(const类型的对象可以调用）
bool Date::operator==(const Date& d) const
{
	return _year == d._year
		&& _month == d._month
		&& _day == d._day;
}

bool Date::operator<(const Date& d) const
{
	return _year < d._year
		|| (_year == d._year && _month < d._month)
		|| (_year == d._year && _month == d._month && _day < d._day);
}

bool Date::operator<=(const Date& d) const
{
	return *this == d || *this < d;
}

bool Date::operator>(const Date& d) const
{
	return !(*this <= d);
}

bool Date::operator>=(const Date& d) const
{
	return !(*this < d);
}

bool Date::operator!=(const Date& d) const
{
	return !(*this == d);
}

Date& Date::operator+=(int day)
{
	if (day < 0)
	{
		*this -= -day;
		return *this;
	}

	_day += day;
	while (_day > GetMonthDay(_year, _month))
	{
		_day -= GetMonthDay(_year, _month);
		_month++;
		if (_month > 12)
		{
			_year++;
			_month = 1;
		}
	}
	return *this;
}

Date& Date::operator-=(int day)
{
	if (day < 0)
	{
		*this += -day;
		return *this;
	}

	_day -= day;
	while (_day < 0)
	{
		_month--;
		if (_month == 0)
		{
			_month = 12;
			_year -= 1;
		}
		_day += GetMonthDay(_year, _month);
	}

	return *this;
}

Date Date::operator+(int day) const
{
	Date tmp = *this;
	tmp += day;
	return tmp;
}

Date Date::operator-(int day) const
{
	Date tmp = *this;
	tmp -= day;
	return tmp;
}

//前置++
Date& Date::operator++()
{
	*this += 1;
	return *this;
}

//后置++
Date Date::operator++(int)
{
	Date tmp = *this;
	*this += 1;
	return tmp;
}

//前置--
Date& Date::operator--()
{
	*this -= 1;
	return *this;
}

//后置--
Date Date::operator--(int)
{
	Date tmp = *this;
	*this -= 1;
	return tmp;
}

int Date::operator-(const Date& d) const
{
	Date max = *this;
	Date min = d;

	int flag = 1;
	if (*this < d)
	{
		max = d;
		min = *this;
		flag = -1;
	}

	int n = 0;
	while (min != max)
	{
		n++;
		min++;
	}

	return n * flag;
}

void Date::operator<<(ostream& out) const
{
	out << _year << ":" << _month << ":" << _day << endl;
}

设为友员函数，可以访问私有成员
//ostream& operator<<(ostream& out, const Date& d)
//{
//	out << d._year << ":" << d._month << ":" << d._day << endl;
//	return out;
//}
//
//istream& operator>>(istream& in, Date& d)
//{
//	in >> d._year >> d._month >> d._day;
//	return in;
//}