c++六个默认成员函数（上）

六个默认成员函数

六个默认成员函数

默认成员函数的概念：如果用户不显式写，编译器会自动生成的函数，就是默认成员函数

构造函数

构造函数是六个默认成员函数之一，构造函数的功能类似于init，起了初始化的功能，构造函数的名字和类的名字相同，构造函数可以无参，有参，有参全缺省，构造函数在创建对象时，编译器会自动调用。

特性 ：
1.函数名和类名相同
2.无返回值
3.类的实例化时会自动调用
4.构造函数可以重载

class Date
 {
  public:
      // 1.带参构造函数（建议写全缺省的构造函数）
      Date(int year = 2024, int month = 4, int day = 9)
     {
          _year = year;
           _month = month;
          _day = day;
     }
  private:
      int _year;
      int _month;
      int _day;
 };
  void TestDate()
 {
      Date d2(2015, 1, 1); // 调用带参的构造函数
  
      // 注意：如果通过无参构造函数创建对象时，对象后面不用跟括号，否则就成了函数声明
      // 以下代码的函数：声明了d3函数，该函数无参，返回一个日期类型的对象
      // warning C4930: “Date d3(void)”: 未调用原型函数(是否是有意用变量定义的?)
      Date d3();
 }

5.如果类中没有显式写构造函数，则编译器会自动生成一个无参的构造函数，如果显式写了构造函数，编译器则不会自动生成构造函数。

注意：在C++中，定义了构造函数会自动调用，但是在实际中vs是不会调用构造函数的，所以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;
}

上面的代码在对类中的成员声明时就会根据参数的缺省值进行初始化，这是在没有显式写构造函数的时候。

如果存在自定义类型成员变量才会调用他的默认构造函数（无参构造）
注意：如果有参数那么就会报错

class Time
	{
	public:
	Time( )
	{
		cout << "Time()" << endl;
		_hour = hour;
		_minute = 0;
		_second = 0;
	}
private:
	int _hour;
	int _minute;
	int _second;
	
	A _aa;   //存在嵌套也没关系
};

class Date
	{
	public：
	private:
		// 默认生成构造函数。
		// 内置类型没有规定要处理(可处理，可不处理，看编译器)
		int _year;
		int _month;
		int _day;
	
		// 自定义类型调用默认构造函数
		Time _t;
	};

注意：全缺省的构造函数、无参的构造函数、和编译器默认生成的构造函数都可以作为编译器默认的构造函数

并且默认的构造函数只能有一个，意思就是这三个构造函数只能有一个，如果前两个同时存在，虽然构成重载，但是调用时编译器会产生歧义。

析构函数

析构函数的工作类似于destroy，但是对于内置类型一般不需要调用析构函数，一般需要用析构函数的是malloc出空间，还有new出来的空间

特征：
1.析构函数和构造函数类似函数名和构造函数稍微有点区别，只需要在类名前面加上一个~，就是析构函数。

//析构函数 
~Data()
{
	_year = -1;
	_month = -1;
	_day = -1;
	cout << "Data" << endl;
}

2.无参无返回值
3.第二条说无参，也就造成了析构函数不能进行函数重载
4.在对象的生命周期结束时，C++编译器会自动调用析构函数
5. 如果类中没有申请资源，析构函数可以不写，直接使用编译器生成的析构函数，比如：Date类，如Stack类的就需要自己完善一个析构函数。

拷贝构造函数

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

特征：
1.拷贝构造函数是构造函数的一种重载形式。
2.拷贝构造函数的参数只有一个就是传递的类的引用，如果进行传值调用的话就会产生无穷递归，编译器会报错。
对于第二点，为什么会产生无穷递归呢？

首先需要了解的一点是，编译器在对自定义类型进行传值传参的时候，会直接调用拷贝构造函数，所以当我有一个func函数的时候，需要传递一个自定义类型，则在传递之前，需要先调用拷贝构造函数，然后再去调用func函数。
了解上面之后，接下来我们就来讨论为什么传值传参会产生无穷递归，首先我们传值的话会调用拷贝构造函数，调用拷贝构造函数的话，因为调用拷贝构造函数的参数也是一个自定义类型，所以又会继续调用拷贝构造函数，接着就会一直进行递归调用，最后就会崩溃，接下来用图来展示

3.如果没有显式定义拷贝构造函数则编译器会自动生成一个默认的拷贝构造函数，并且在调用的时候会成功，但是需要注意的是这里编译器生成的拷贝构造函数是浅拷贝，而不是深拷贝。

所谓的浅拷贝就是值拷贝，只拷贝值，深拷贝就是比如我原来有一块malloc出来的空间，深拷贝会自动申请一块和以前那块一样的空间，然后将值拷贝进去，而浅拷贝，则会和以前malloc出来的空间共用一个空间，这样会导致一个问题，我们拿栈来举例，如果我们用编译器自动生成的浅拷贝的话，当我们拷贝完成的时候，如果以前的空间再次进行push的话以前的size会++，但是新的size则不会++，还有一个严重的问题就是浅拷贝的话，析构函数会调用两次，对同一块空间进行两次释放，会产生很大问题。

注意：自定义类型同样会调用其拷贝构造函数完成拷贝

总结

默认构造函数（Default Constructor）：如果我们没有定义任何构造函数，编译器将会生成一个默认构造函数。默认构造函数不接受任何参数，并且执行成员变量的默认初始化。在很多情况下，这可能是合适的，但如果类的成员需要特定的初始化值，可能需要显式定义构造函数。

析构函数（Destructor）：如果我们没有提供析构函数，编译器会生成一个默认的析构函数。默认析构函数会释放对象所占用的内存，如果对象包含有指针成员，可能不会正确地释放内存或执行其他必要的清理工作。如果类需要在对象销毁时执行特定操作，比如释放资源或者清理其他状态，就需要显式定义析构函数。

拷贝构造函数（Copy Constructor）：实践中总结:
1、如果没有管理资源，一般情况不需要写拷贝构造，默认生成的拷贝构造就可以。如 Date
2、如果都是自定义类型成员，内置类型成员没有指向资源，也类似默认生成的拷贝构造就可以。如:MyQueue
3、一般情况下，不需要显示写析构函数，就不需要写拷贝构造
4、如果内部有指针或者一些值指向资源，需要显示写析构释放，通常就需要显示写构造完成深拷贝。如:Stack Queue List等