阅读量:0
默认成员函数
默认成员函数就是用户没有显式实现，编译器会⾃动⽣成的成员函数称为默认成员函数。
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 = d2 void 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 = d2 Date& 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的赋值运算符重载。
