默认成员函数

默认成员函数就是用户没有显式实现，编译器会⾃动⽣成的成员函数称为默认成员函数。

C++有六个默认成员函数，不写的情况下编译器会默认⽣成以下6个默认成员函数，最重要的是前4个，最后两个了解⼀下即可。另外，C++11以后增加了两个默认成员函数， 移动构造和移动赋值，这里先不做介绍。

虽然编译器会自动生成成员函数，但不一定符合要求，是我们想要的，如果符合要求，那其生成的函数行为是什么？我们都需要了解。所以学习默认成员函数，我们有两大点要完成：

        ●不写时，了解编译器默认⽣成的函数⾏为。

        ●自己实现，要如何去写。

但一般情况都是我们自己实现，但有些情况下就不需要实现。

六个默认成员函数分别为：

---

构造函数

构造函数是特殊的成员函数，其功能是在对象实例化时自动调用初始化对象。其功能相当于栈中实现Init(初始化)一样，但构造函数就不需要再调用，在实例化时就会自动调用初始化好。

其函数与类名相同，且无返回值(其不需要再写void)，并且如果类中没有显式定义构造函数，则C++编译器会⾃动⽣成⼀个⽆参的默认构造函数，⼀旦用户显式定义编译器将不再⽣成。

#include<iostream>class Date
{
public://无参构造函数Date(){_year = _month = _day = 1;}//带参构造函数Date(int year, int month, int day){_year = year;_month = day;_day = day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;
};int main()
{//无参构造函数Date d1;d1.Print();//有参构造函数Date d2(2024, 5, 5);d2.Print();return 0;
}

构造函数的可以是有参的也可以是无参的，既然可以是有参的，那就可以写为缺省的构造函数，更利于初始化。

#include<iostream>class Date
{
public://全缺省构造函数Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;
};int main()
{//全缺省，就不用加括号Date d1;d1.Print();//半缺省Date d2(2024);d2.Print();Date d3(2024, 5, 5);d3.Print();return 0;
}

要注意的是，⽆参构造函数、全缺省构造函数和编译器默认⽣成的构造函数，都叫做默认构造函 数。但是这三个函数有且只有⼀个存在，不能同时存在。⽆参构造函数和全缺省构造函数虽然构成 函数重载，但是调⽤时会存在歧义。

前面提到，一般都要自己写构造函数，因为编译器生成的构造函数一般不能满足需求。有时有些特殊情况下，就不需要写构造函数。如数据结构栈和队列中有道经典的题目，用两个栈实现队列、用两个队列实现栈这种情况下，其会自己生成默认构造函数去调用相对应的构造函数 (用栈实现队列会自己生成默认构造函数去调用队列的构造函数，用队列实现栈会自己生成默认构造函数去调用栈的构造函数)。

#include<iostream>class Stack
{
public:Stack(int n = 4){_a = (int*)malloc(sizeof(int) * n);_capacity = n;_top = 0;}
private:int* _a;int _capacity;int _top;
};// 两个Stack实现队列
class MyQueue
{
public://编译器默认生成MyQueue的构造函数调用了Stack的构造，完成了两个成员的初始化//此处如果写了构造函数，也不会调用
private:Stack pushst;Stack popst;
};int main()
{MyQueue mq;return 0;
}

---

析构函数

析构函数与构造函数功能恰好相反，C++规定对象在销毁时会⾃动调⽤析构函数，完成对象中资源的清理释放⼯作。其功能相当于栈中实现Destroy(销毁)一样，但析构函数就不需要再调用，在销毁时就会自动调用。

析构函数名是在类名前加上字符~，其⽆参数⽆返回值(跟构造类似，也不需要加void)，若未显式定义，系统会⾃动⽣成默认的析构函数。

编译器⾃动⽣成的析构函数不对内置类型成员做处理，⾃定类型成员则会调⽤他的析构函数。也就是说⾃定义类型成员⽆论什么情况都会⾃动调⽤析构函数。如果类中没有申请资源时，析构函数可以不写，简单来说，析构函数就是用来清理释放申请的内存空间，并自动调用，防止未释放资源。

同样的，如果默认⽣成的析构函数就可以⽤，也就不需要显示写析构，如MyQueue。

#include<iostream>class Stack
{
public:Stack(int n = 4){_a = (int*)malloc(sizeof(int) * n);_capacity = n;_top = 0;}~Stack(){free(_a);_a = nullptr;_capacity = _top = 0;}private:int* _a;int _capacity;int _top;
};// 两个Stack实现队列
class MyQueue
{
public://编译器默认生成MyQueue的构造函数调用了Stack的构造，完成了两个成员的初始化//此处如果写了析构函数，也不会调用
private:Stack pushst;Stack popst;
};int main()
{Stack st;MyQueue mq;return 0;
}

---

拷贝构造函数

如果⼀个构造函数的第⼀个参数是自身类类型的引⽤，且任何额外的参数都有默认值，则此构造函数也叫做拷⻉构造函数，也就是说拷⻉构造是⼀个特殊的构造函数。它在创建对象时，是使用同一类中之前创建的对象来初始化新创建的对象。

简单来看一下代码示例：

#include<iostream>class Date
{
public://构造函数Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}//拷贝构造Date(const Date& d){_year = d._year;_month = d._month;_day = d._day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;};int main()
{Date d1(2024, 5, 6);d1.Print();//调用拷贝构造Date d2(d1);d2.Print();return 0;
}

这里也可以写成这样的形式：

Date d2(d1);
//两者含义相同只是形式不同
Date d2 = d1;

其要注意：

拷⻉构造函数的参数只有⼀个且必须是类类型对象的引⽤，使⽤传值⽅式编译器直接报错，因为语 法逻辑上会引发⽆穷递归调⽤。因为C++规定⾃定义类型对象进⾏拷⻉⾏为必须调⽤拷⻉构造，所以这⾥⾃定义类型传值传参和传值返回都会调⽤拷⻉构造完成。

如这段代码：

#include<iostream>class Date
{
public://构造函数Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}//拷贝构造Date(const Date& d){_year = d._year;_month = d._month;_day = d._day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;};void Func1(Date d)
{d.Print();
}int main()
{Date d1(2024, 5, 6);d1.Print();// C++规定自定义类型对象进行拷贝行为必须调用拷贝构造，所以这里的d1// 传值传参给d要调用拷贝构造完成拷贝，传引用传参可以减少这里的拷贝。Func1(d1);return 0;
}

函数func()在给d传值传参时就要调用拷贝构造，即先调用Date类的拷贝构造将d1的值拷贝给d，之后再调用func()函数进行打印。

所有拷贝构造的调用形式均是如此。所以拷贝构造函数一定不能使用传值的方式(并且使用传值的方式编译器会报错，不会通过编译)，要传引用的方式，否则会引发无穷递归。

若未显式定义拷贝构造，编译器会⽣成⾃动⽣成拷⻉构造函数。⾃动⽣成的拷⻉构造对内置类型成 员变量会完成值拷⻉/浅拷⻉(⼀个字节⼀个字节的拷⻉)，对⾃定义类型成员变量会调⽤他的拷⻉构 造(也就是说基本都要写拷贝构造函数)。

像Date这样的类成员变量全是内置类型且没有指向什么资源，编译器⾃动⽣成的拷⻉构造就可以完成需要的拷⻉，所以不需要我们显⽰实现拷⻉构造。

#include<iostream>class Date
{
public://构造函数Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;};int main()
{Date d1(2024, 5, 6);d1.Print();Date d2(d1);d2.Print();return 0;
}

但像Stack这样的类，虽然也都是内置类型，但是_a指向了资源，编译器⾃动⽣成的拷⻉构造完成的值拷⻉/浅拷⻉不符合我们的需求，所以需要 我们⾃⼰实现深拷⻉(对指向的资源也进⾏拷⻉)，如果这样的类不写拷贝构造函数会有问题出现。

如果不写拷贝构造：

​
#include<iostream>class Stack
{
public:Stack(int n = 4){_a = (int*)malloc(sizeof(int) * n);_capacity = n;_top = 0;}~Stack(){std::cout << "析构" << std::endl;free(_a);_a = nullptr;_top = _capacity = 0;}private:int* _a;int _capacity;int _top;
};
int main()
{Stack st1;// Stack不实现拷贝构造，⽤自动⽣成的拷贝构造完成浅拷贝Stack st2(st1);return 0;
}​

因为其示浅拷贝，所以两个_a指向的是同一块空间，造成在最后析构时释放的两次，导致程序崩溃。

所以我们要自己写拷贝构造，完成深拷贝。

#include<iostream>class Stack
{
public:Stack(int n = 4){_a = (int*)malloc(sizeof(int) * n);_capacity = n;_top = 0;}Stack(const Stack& st){_a = (int*)malloc(sizeof(int) * st._capacity);memcpy(_a, st._a, sizeof(int) * st._top);_top = st._top;_capacity = st._capacity;}~Stack(){std::cout << "析构" << std::endl;free(_a);_a = nullptr;_top = _capacity = 0;}private:int* _a;int _capacity;int _top;
};
int main()
{Stack st1;Stack st2(st1);return 0;
}

像MyQueue这样的类我们依旧不需要实现，其内部主要是自定义类型Stack成员，编译器自动生成的拷贝构造会调用Stack的拷贝构造，不需要显示实现 MyQueue的拷贝构造。

#include<iostream>class Stack
{
public:Stack(int n = 4){_a = (int*)malloc(sizeof(int) * n);_capacity = n;_top = 0;}Stack(const Stack& st){_a = (int*)malloc(sizeof(int) * st._capacity);memcpy(_a, st._a, sizeof(int) * st._top);_top = st._top;_capacity = st._capacity;}~Stack(){std::cout << "析构" << std::endl;free(_a);_a = nullptr;_top = _capacity = 0;}private:int* _a;int _capacity;int _top;
};class MyQueue
{
public:
private:Stack pushst;Stack popst;
};int main()
{Stack st1;MyQueue mq1;MyQueue mq2(mq1);return 0;
}

---

赋值运算符重载函数

要了解这个，首先我们就要了解运算符重载。

运算符重载

在C++中，运算符重载是通过创建运算符函数来实现的，这些函数被指定为全局函数或者成员函数。当运算符被⽤于类类型的对象时，C++语⾔允许我们通过运算符重载的形式指定新的含义。

C++规 定类类型对象使⽤运算符时，必须转换成调⽤对应运算符重载，若没有对应的运算符重载，则会编译报错。

运算符重载是具有特殊名字的函数，他的名字是由operator和后⾯要定义的运算符共同构成。和其他 函数⼀样，它也具有其返回类型和参数列表以及函数体。其参数个数和该运算符作⽤的运算对象数量⼀样多。

#include<iostream>class Date
{
public:Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}//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(2024, 5, 5);Date d2(2024, 6, 6);operator==(d1, d2);//该形式会自动转换为operator==(d1, d2)d1 == d2;return 0;
}

写在类外有很多麻烦，所以将其写在类内。

但要注意，⼀元运算符有⼀个参数，⼆元 运算符有两个参数，如果⼀个重载运算符函数是成员函数，则它的第⼀个运算对象默认传给隐式的this指针，因此运算符重载作为成员函数时，参数比运算对象少⼀个。 则⼆元运算符的左侧运算对象传给第⼀个参数，右侧运算对象传给第⼆个参数。

#include<iostream>class Date
{
public:Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}bool operator==(const Date& d){return _year == d._year && _month == d._month && _day == d._day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;
};int main()
{Date d1(2024, 5, 5);Date d2(2024, 6, 6);d1.operator==(d2);// 会转换成 d1.operator==(d2);d1 == d2;return 0;
}

要注意，运算符重载以后，其优先级和结合性与对应的内置类型运算符保持⼀致、不能通过连接语法中没有的符号来创建新的操作符。

此外，c++中有5个不能重载的运算符：“ ?: ” 、“ . ” 、“ :: ” 、“ sizeof ” 、“ .* ” 。 “ . ” 和 “ :: ” 运算符如果重载，可能会出现混淆；“ sizeof ” 运算符不能重载是因为内部许多指针都依赖它；“ .* ” 运算符引用指向类成员的指针。

赋值运算符重载

赋值运算符重载是⼀个默认成员函数，⽤于完成两个已经存在的对象直接的拷⻉赋值，这⾥要注意跟拷⻉构造区分，拷⻉构造⽤于⼀个对象拷⻉初始化给另⼀个要创建的对象。

​
#include<iostream>class Date
{
public:Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}//d1 = d2void operator=(const Date& d){_year = d._year;_month = d._month;_day = d._day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;
};int main()
{Date d1(2024, 5, 5);Date d2(2024, 6, 6);//赋值重载d1.operator=(d2);d1 = d2;//拷贝构造Date d3 = d1;return 0;
}​

一定要区分好拷贝构造和赋值重载。

赋值运算重载的参数建议写成const当前类类型引⽤，否则会传值传参会有拷⻉，写了可以提高效率。其有返回值，且建议写成当前类类型引⽤，引⽤返回可以提⾼效率，最重要的是有返回值⽬的是为了⽀持连续赋值场景。

上方代码不支持连续赋值。

所以修改为有返回值的

#include<iostream>class Date
{
public:Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}//d1 = d2Date& operator=(const Date& d){_year = d._year;_month = d._month;_day = d._day;return *this;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;
};int main()
{Date d1(2024, 5, 5);Date d2(2024, 6, 6);//赋值重载d1 = d2;//拷贝构造Date d3 = d1;d1 = d2 = d3;return 0;
}

没有显式实现时，编译器会⾃动⽣成⼀个默认赋值运算符重载，默认赋值运算符重载⾏为跟默认构 造函数类似，对内置类型成员变量会完成值拷⻉/浅拷⻉(⼀个字节⼀个字节的拷⻉)，对⾃定义类型 成员变量会调⽤他的拷⻉构造。

#include<iostream>class Date
{
public:Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}void Print(){std::cout << _year << '/' << _month << '/' << _day << std::endl;}private:int _year;int _month;int _day;
};int main()
{Date d1(2024, 5, 5);Date d2(2024, 6, 6);d1.Print();d2.Print();//编译器自动生成的赋值重载d1 = d2;d1.Print();d2.Print();return 0;
}

和拷贝构造一样，像Date这样的类成员变量全是内置类型且没有指向什么资源，编译器⾃动⽣成的赋值运算符重载就可以完成需要的拷⻉，所以不需要我们显⽰实现赋值运算符重载。像Stack这样的类，虽然也都是内置类型，但是_a指向了资源，编译器⾃动⽣成的赋值运算符重载完成的值拷⻉/浅拷⻉不符合我 们的需求，所以需要我们⾃⼰实现深拷⻉(对指向的资源也进⾏拷⻉)。像MyQueue这样的类型内部主要是⾃定义类型Stack成员，编译器⾃动⽣成的赋值运算符重载会调⽤Stack的赋值运算符重载，也不需要我们显⽰实现MyQueue的赋值运算符重载。