C++类和对象（2）构造、析构函数

类的6个默认成员函数

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

class Date{};

空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成以下6个默认成员
函数。
默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数。
 本文继续来介绍C++中内容：构造函数与析构函数。

构造函数

概念

在之前数据结构栈的相关章节中，可以发现一个问题，在使用的时候经常会忘记进行初始化与销毁释放工作。在C++中就有了自动进行初始化与销毁释放空间的函数。

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

特性

构造函数是特殊的成员函数，需要注意的是，构造函数虽然名称叫构造，但是构造函数的主要任
务并不是开空间创建对象，而是初始化对象。

其特征如下：

1、函数名与类名相同。

2、无返回值。

3、对象实例化时编译器自动调用对应的构造函数。

4、构造函数可以重载。

下面举出两个类作为例子：

class Stack
{
public:
	Stack()
	{
		cout << "Stack()" << endl;
        // ...
	}

	Stack(int n)
	{
		cout << "Stack(int n)" << endl;
        // ...
	}

	void Push(int x)
	{
		//...
	}

private:
	// 成员变量
	int* _a;
	int _size;
	int _capacity;
};

int main()
{
	Stack s1;// 调用无参构造函数
	Stack s2(4);// 调用带参的构造函数
	Stack s1();// err
	// 注意：如果通过无参构造函数创建对象时，对象后面不用跟括号，否则就成了函数声明
	// 以下代码的函数：声明了s3函数，该函数无参，返回一个Satck类型的对象
	// warning C4930: “Stack s3(void)”: 未调用原型函数(是否是有意用变量定义的?)
	s1.Push(1);
	return 0;
}

class Date
{
public:
	// 1.无参构造函数
	Date()
	{}
    
    //默认生成的构造函数对内置类型不处理
    //默认生成的析构函数对内置类型不处理

	// 2.带参构造函数
	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 d2(2015, 1, 1); // 调用带参的构造函数
	d1.Print();
}

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

6、关于编译器生成的默认成员函数：C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类型，如：int/char...，自定义类型就是我们使用class/struct/union等自己定义的类型，编译器生成默认的构造函数会对自定类型成员_t调用的它的默认成员函数。当我们在编写日期类时如果使用默认构造函数，后有这样的问题：

默认构造函数：

1. 内置类型成员不作处理。
2. 自定义类型成员，会去调用它的默认构造（不用传参数）
3. 默认生成的构造函数的例子：用栈来实现队列的题目

   class MyQueue 
   {
   	public:
   		// 默认生成构造函数，对自定义类型成员，会调用他的默认构造函数
   		// 默认生成析构函数，对自定义类型成员，会调用他的析构函数
   	
   		void push(int x) {
   	
   		}
   		//....
   	
   		Stack _pushST;
   		Stack _popST;
   		int _size = 0;
   };
   	
   	int main()
   	{
   		MyQueue q;
   	
   		return 0;
   	}

    

可以看到在左图中，确实调用了自定义类型的默认构造函数与析构函数。

为了解决默认生成的构造、析构函数对内置类型不处理的问题，可以在声明的时候就给出缺省值。

7、无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个。注意：无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数（不传参数就可以调用构造函数），都可以认为是默认构造函数。以上述日期类作为例子：

 Date() 与 Date(int year = 1, int month = 1, int day = 1)会存在歧义。

析构函数

概念

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

特性

析构函数是特殊的成员函数，其特征如下：

1、析构函数名是在类名前加上字符 ~。

2、无参数无返回值类型。

3、一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。注意：析构函数不能重载

4、对象生命周期结束时，C++编译系统系统自动调用析构函数。

	~Stack()
	{
		cout << "~Stack()" << endl;
		free(_a);
		_a = nullptr;
		_size = _capacity = 0;
	}

5、关于编译器自动生成的析构函数，是否会完成一些事情呢？编译器生成的默认析构函数，对自定类型成员调用它的析构函数。

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