构造函数——初始化列表

初始化列表的引入。

#include<iostream>
using namespace std;


//栈类
typedef int DataType;
class Stack
{
public:
	//默认构造：
	Stack(size_t capacity )
	{
		cout << "Stack()" << endl;
		_array = (DataType*)malloc(sizeof(DataType) * capacity);
		if (NULL == _array)
		{
			perror("malloc 申请空间失败");
			return;
		}
		_size = 0;
		_capacity = 0;
	}

	//拷贝构造  为了避免析构两次
	Stack(const Stack& s)
	{
		cout << "Stack(Stack& s)" << endl;
		//深拷贝 格外申请一块空间再来拷贝
		//格外申请空间
		_array = (DataType*)malloc(sizeof(DataType) * s._capacity);
		if (NULL == _array)
		{
			perror("malloc 申请空间失败");
			return;
		}
		//拷贝
		memcpy(_array, s._array, sizeof(DataType) * s._size);
		_size = s._size;
		_capacity = s._capacity;
	}

	//运算符重载： =
	Stack& operator=(const Stack& st)
	{
		if (this != &st)
		{
			//....
		}
		return *this;
	}

	//压栈
	void Push(DataType data)
	{
		//CheckCapacity();
		_array[_size] = data;
		_size++;
	}

	//析构函数。用来释放空间的
	~Stack()
	{
		cout << "~Stack()" << endl;
		free(_array);
		_array = nullptr;
		_size = _capacity = 0;
	}

private:
	DataType* _array;
	int _size;
	int _capacity;
};


//队列类
class MyQueue
{
public:

private:
	Stack _st1;
	Stack _st2;
};


int main()
{
	MyQueue mq;



	return 0;
}

看上面代码，当我们写一个队列类的自定义类型MyQueue时，我们知道我们是用两个栈来实现这个队列的自定义类型的，所以说它在初始化的时候，它会调用栈的默认构造函数来进行初始化，这个时候我们就不需要为这个队列类型单独的写默认构造函数了。
但是，要是栈就是不给队列类写默认构成函数。
那这个时候我们怎么办？
这个时候我们就要引入初始化列表了。

对构造体函数的赋值

构造函数的赋值其实分为两种方式

第一种方式

就是在函数体内赋值，就是以前我们用的那种方式。

class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;  //就是在函数体内部就给变量赋值了
_day = day;
}
private:
int _year;
int _month;
int _day;
};

虽然上述构造函数调用之后，对象中已经有了一个初始值，但是不能将其称为对对象中成员变量的初始化，构造函数体中的语句只能将其称为赋初值，而不能称作初始化。因为初始化只能初始化一次，而构造函数体内可以多次赋值

第二种方式，初始化列表

初始化列表：以一个冒号开始，接着是一个以逗号分隔的数据成员列表，每个"成员变量"后面跟一个放在括号中的初始值或表达式。

class Date
{
public:
	Date(int year, int month, int day)
		:_year(year)   // 没有写分号了
		, _month(month)   // 没有写分号哈
		, _day(day)      // 注意就不用写分号了
      {}                 //注意花括号的位置哈，没有写错，它就是这样的

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

我们还可以混着用

	//默认构造函数 我们还可以混着用
	Date(int year, int month, int day)
		: _year(year)
		, _month(month)    初始化列表的方式
	{
		_day = day;        直接赋值的方式
	} 

声明和定义的区别是什么？
答：声明是不用开空间的，而变量的定义是开空间的。

思考下面问题，为什么对象不在整体定义的时候就直接定义呢？为什么c++的祖师爷非要找个初始化列表来定义呢？？

对象的整体可以通过上面：Date d1(2023,7,28)的形式定义，但是对象中的成员变量总要有一个定义的地方吧，因为有些情况下存在大坑。
有三种有坑的情况：
三个大坑。
第一种被const修饰的成员变量。
Const变量有个条件就是必须在定义的地方初始化。
那你在整体定义的时候怎么来初始化它？所以我们才需要有一个地方方便我们初始化，这个地方就是：初始化列表
第二种成员变量被定义了一个引用。
引用也有一个特点，那就是引用也必须在定义的时候初始化。
第三种成员变量是自定义类型。
这个自定类型没有默认构造。如果他没有默认构造，那么他需要去调用带参的构造，(在他定义的时候去调用带参的构造)

初始化列表就恰好可以解决我们开头提出的那个问题

但Stack 栈类不提供默认构造的时候了，用两个栈实现的队列类MyQueue类该怎么办？
答：我们可以使用初始化列表的方式来解决这个问题。

记住，初始化列表是所有成员定义的地方。
如果是内置类型，比如int，double之类的，如果你不写，编译器会用随机值去初始化它。
如果是自定义类型，如果你不在初始化列表中写上。编译器则会调用它的默认构造函数来初始化它。

不管你写不写，也不管你是内置类型还是自定义类型，每个成员都会被初始化列表初始化。

还有一件事：