类和对象再体验

一、初始化和清理

1.1 构造函数

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

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

构造函数的特征：

1. 函数名与类名相同。
2. 无返回值。
3. 对象实例化时编译器自动调用对应的构造函数。
4. 无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个。因为同时存在会造成调用不明确。
5. 构造函数可以重载。
   下面举例说明:
   
   很显然，构造函数无返回值，也无法有返回值，对象再实例化时编译器会自动调用对应的构造函数，这个大家可以自行验证。
6. 如果类中没有显式定义构造函数，则C++编译器会自动生成一个无参的默认构造函数，一旦用户显式定义，编译器将不再生成，
   举一个例子：
   

1.2 析构函数

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

//顺序表
class Linklist{
public:
	//初始化
	void Create(){
		_capacity = 8;
		base = (int *)malloc(sizeof(int)*_capacity);
		assert(base!=NULL);
		_size = 0;
	}
	//进入
	void Enter(int x){
		base[_size++] = x;
	}
	//出去
	void  Out(){
		_size--;
	}
	//打印
	void Printf(){
		for (int i = 0; i < _size; i++){
			cout << base[i] << " ";
		}
		cout << endl;
	}
	//释放堆空间，置0
	~Linklist(){
	if(base){
		free(base);
		base = NULL;
		_size = 0;
		_capacity = 0;
		}
	}
private:
	int *base;  //空间
	size_t _size; //大小
	size_t _capacity; //容量
};

这里专门定义了一个顺序表类，是让读者更加清楚知道，自己申请了空间，就可以通过析构函数去销毁，而栈上的空间，是自动回收的。
析构函数的特征:

1. 析构函数名是在类名前加上字符 ~。
2. 无参数无返回值。
3. 一个类有且只有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。
4. 对象生命周期结束时，C++编译系统系统自动调用析构函数。
5. 编译器调用的析构函数会对自定类型成员调用它的析构函数。
   

二、拷贝和赋值

2.1 拷贝构造

	Date(const Date& s){
		_year = s._year;
		_month = s._month;
		_day = s._day;
	}

拷贝构造的特征:

1. 拷贝构造函数是构造函数的一个重载形式。
2. 拷贝构造函数的参数只有一个且必须使用引用传参，使用传值方式会引发无穷递归调用。（因为传值会不断调用构造函数）
3. 若未显示定义，系统生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按字节序完成拷贝，这种拷贝我们叫做浅拷贝，或者值拷贝。（对自己申请空间进行默认的拷贝构造函数，就会造成程序崩溃）

2.2 运算符重载

作用：让代码具有可读性
函数名字为：关键字operator后面接需要重载的运算符符号(.* 、:: 、sizeof 、?: 、. 以上5个运算符不能重载)。
函数原型：返回值类型 operator操作符(参数列表)
举例:

	//赋值运算符
	Date& operator=(const Date& s){
		if (this != &s){
			_year = s._year;
			_month = s._month;
			_day = s._day;
			return *this;
		}
	}
	//==运算符
	bool operator==(const Date s){
		return _year == s._year&&_month == s._month&&_day == s._day;
	}
	//>运算符
	bool operator>(const Date s){
		return (_year > s._year) || (_year == s._year&&_month > s._month) || 
			(_year == s._year&&_month == s._month&&_day > s._day);
	}
	//>=运算符
	bool operator>=(const Date s){
		return *this > s || *this == s;
	}
	//<运算符
	bool operator<(const Date s){
		return !(*this >= s);
	}
	//<=运算符
	bool operator<=(const Date s){
		return !(*this>s);
	}
	//!=运算符
	bool operator!=(const Date s){
		return !(*this == s);
	}

这里我们就可以直接去比较两个对象的大小，而不需要去一一对比了。
这里重点说一下常见的赋值运算符特征:

1. 检测是否自己给自己赋值
2. 返回*this
   
3. 一个类如果没有显式定义赋值运算符重载，编译器也会生成一个，完成对象按字节序的值拷贝.(需要自己释放资源，就需要自己实现赋值运算符)

三、const成员

3.1 const修饰成员函数

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

不能在该函数中去修改这几个变量的值，等价于如下图:

3.2 取地址及const取地址操作符重载

	Date* operator&(){
		return this;
	}
	const Date* operator&()const{
		return this;
	}

这两个函数一般不需要重载，编译器会自动生成。