✨前言✨
📘 博客主页:to Keep博客主页
🙆欢迎关注,👍点赞,📝留言评论
⏳首发时间:2023年11月11日
📨 博主码云地址:博主码云地址
📕参考书籍:《C++ Primer》《C++编程规范》
📢编程练习:牛客网+力扣网
由于博主目前也是处于一个学习的状态,如有讲的不对的地方,请一定联系我予以改正!!!
类中的六个默认成员函数
文章目录
- 构造函数
- 析构函数
- 拷贝构造
- 赋值运算符重载
- const成员函数
- 取地址操作符重载
构造函数
构造函数的作用:在创建对象时,同时帮助我们给对象一个初始值,并不是给对象开辟空间
构造函数的定义如下:
1️⃣ 函数名与类名一样
2️⃣ 构造函数是不带返回值的
3️⃣ 构造函数支持重载
4️⃣ 对象进行实例化时,编译器会自动调用构造函数
让我们来看一看以下这段代码,来看一下如何使用构造函数:
class Date {
private:int _year;int _month;int _day;public:Date() {_year = 2023;_month = 11;_day = 2;}Date(int year, int month, int day) {_year = year;_month = month;_day = day;}void print(){cout << _year << _month << _day << endl;}
};int main()
{Date d1();//编译器会当做是函数的声明,是要去调用函数Date d2;//调用Date类的不带参数构造函数d2.print();Date d3(2024, 11, 2);//调用有参数的构造函数d3.print();return 0;
}
如果自己不写构造函数,编译器也是会生成默认不带参数的构造函数!默认的构造函数有什么作用呢,让我们来看下面这段代码来进一步的理解:
class people {
private:int _age;double _height;double _weight;public:people() {_age = 1;_height = 1;_weight = 1;}};
class Date {
private:int _year;int _month;int _day;people p;public:void print(){cout << _year<<" " << _month<<" "<< _day << endl;}
};int main()
{Date d1();//编译器会当做是函数的声明,是要去调用函数Date d2;//调用Date类的默认构造d2.print();
}
我们可以发现,在d2这个对象中_year等是一个随机值,对于people这个类型的变量p是可以进行初始化的!事实上,在C++中,int/char/指针…等,也就是对于哪些可以直接拿来用的类型我们称为内置类型
,像利用union/struct/class等关键字定义的类型,我们称为自定义类型
。对于内置类型,构造函数是不进行处理的,对于自定义类型,是会去调用这个类型的默认构造!
编译器默认生成的无参构造函数,用户自己写的不带参数的默认构造函数,以及全缺省的构造函数我们都称之为默认的构造函数,而且一旦我们自己显式的写了构造函数,编译器就不会在生成构造函数了!
在C++11中,打了一个补丁,可以针对内置成员变量给定一个缺省值!注意此时成员变量仍然是一个定义,并没有因为给定这个缺省值就初始化了一个空间!
析构函数
与构造函数功能相反,析构函数的作用就是对象销毁时,自动调用析构函数,从而完成对象中的资源清理工作
!
语法格式如下:
1️⃣ 也是与类名相同的函数,函数名前面要加上~
2️⃣ 析构函数同样也是无参数也无返回值
3️⃣ 析构函数不能构成重载,一个类中只可以有一个析构函数,若用户显式写出,编译器就不在生成
4️⃣ 析构函数会在对象生命周期结束后,自动调用!
结合下列代码:
#include <iostream>
using namespace std;class Date {
private:int _year;int _month;int _day;
public:Date(){_year = 2023;_month = 11;_day = 2;}//析构函数~Date(){cout << "Date()" << endl;}void print(){cout << _year << " " << _month << " " << _day << endl;}
};class Stack {int* _x;int _top;int _capacity;
public:Stack(int capacity = 3) {_x = (int*)malloc(sizeof(int) * capacity);if (_x == nullptr){cout << "申请空间失败" << endl;return;}_capacity = capacity;_top = 0;}void print(){cout << _top << " " << _capacity << endl;}~Stack(){free(_x);_top = _capacity = 0;_x = nullptr;}
};
int main()
{Date d1;Stack st1;return 0;
}
析构函数类似于构造函数,对于内置类型,是不做处理的,对于自定义类型,是会去调用它的析构函数进行处理!对于我们之前所学的栈,一般就需要我们自己写析构函数,因为栈需要向系统申请资源开辟空间!这时我们需要利用析构函数,将这块资源进行清理,防止资源泄露!Date类可以使用默认的析构函数,Date类中全是内置类型,没有向系统申请空间!
图解如下:
拷贝构造
在C语言学习结构体中,我们知道,是可以传值传参的。在C++中,那么对于自定义类型进行传值传参会发生什么呢?
class Date {
private:int _year;int _month;int _day;
public:Date(){_year = 2023;_month = 11;_day = 2;}//析构函数~Date(){cout << "Date()" << endl;}void print(){cout << _year << " " << _month << " " << _day << endl;}
};class Stack {int* _x;int _top;int _capacity;
public:Stack(int capacity = 3) {_x = (int*)malloc(sizeof(int) * capacity);if (_x == nullptr){cout << "申请空间失败" << endl;return;}_capacity = capacity;_top = 0;}~Stack(){free(_x);_top = _capacity = 0;_x = nullptr;}
};
void func(Date a)
{a.print();
}
void func1(Stack st1)
{
}
int main()
{Date x;func(x);Stack st;func1(st);return 0;
}
运行代码,我们可以发现会报错!这是为什么呢?这是因为在进行传值传参的过程中,我们进行的只是值拷贝(浅拷贝),而在清理对象资源的时候,会自动调用析构函数,而对于Stack这样的类,同一块空间是会被释放两次!
上述代码图解过程:
在C++中,为了解决上述问题,规定,自定义类型在传值传参必须先调用拷贝构造函数!
拷贝构造函数的特点:
1️⃣ 无参数无返回值,函数名与类名相同,与构造函数构成重载
2️⃣ 函数的参数只有一个,是类类型的引用,不可以使用传值方式
在这里需要特别说明一下为什么拷贝构造函数不可以使用传值方式!先假设拷贝构造是传值传参的,调用函数进行传值传参需要先调用拷贝构造,而拷贝构造又是传值传参,又需要接着调拷贝构造……就这样套娃下去,形成一个无限递归!
改进代码如下:
//拷贝构造
Stack(const Stack& t)
{_x = (int*)malloc(sizeof(int) * t._capacity);if (_x == nullptr){perror("malloc fail");}_capacity = t._capacity;_top = t._top;memcpy(_x, t._x,sizeof(int)*t._capacity);
}
只需要在Stack类中重新写构造函数,实现对资源的拷贝,这样就不会存在对一块空间释放两次的问题!
其实对于Date这样的类,就算我们使用默认生成的拷贝构造,也是可以的,因为Date类中没有向系统申请资源!而对于Stack这样的类就必须我们自己实现,因为它向系统申请开辟了空间,我们需要拷贝这块空间的内容!同时,为了防止拷贝过程中,改变引用中的内容,我们通常会加上const修饰!
class myqueue
{Stack _pushs;Stack _pops;int _size;
};
int main()
{myqueue q1;myqueue q2(q1);return 0;
}
在上面的代码基础上,我们定义一个myqueue类,通过打断点按F11可以发现:拷贝构造对于自定义类型会去调用它的拷贝构造,对于内置类型会完成值拷贝!
学习了拷贝构造,我们可以来看以下这段代码,再来理解一下引用的用途:
Date test()
{Date x;x.print();return x;
}
int main()
{return 0;
}
你觉得返回的是x还是x拷贝的临时对象呢?实际上,x出了test函数就会销毁,所以只可以返回x的拷贝!如果我们写出如下的代码:
Date& test()
{static Date x;x.print();return x;
}
int main()
{return 0;
}
此时,由于x出了作用域还没有销毁!所以我们可以通过传引用返回!这样会减少拷贝对象的时间,是不是会大大提高效率呢?
赋值运算符重载
我们知道,内置类型的比较是可以直接用符号来进行比较的!C++为了增强代码的可读性引入了运算符重载的!运算符重载是具有特殊函数名的函数!
函数名字:operator 后面接需要重载的运算符符号()
下面来展示一段代码:
class Date {
public:int _year;int _month;int _day;
public:Date(){_year = 2023;_month = 11;_day = 2;}void print(){cout << _year << " " << _month << " " << _day << endl;}
};bool operator==(Date& x,Date& y)
{return x._year == y._year&& x._month == y._month&& x._day == y._day;
}int main()
{Date d1;Date d2;cout << (d1==d2) << endl;return 0;
}
为了便于理解,我们暂时先将类的成员改为public,我们通过operator关键字重载==符号,这样我们就可以像内置类型一样,通过 符号来判断是否相等! 在C++中,对于运算符重载,我们一般是放入类中处理,但是传参就要少一个了,因为有一个隐藏的this指针!具体代码可以参考下面:
bool operator==( Date& y){return _year == y._year&& _month == y._month&& _day == y._day;}
此外我们在介绍两个特殊的运算符重载:
//前置++运算符重载Date& operator++(){*this += 1;return *this;}//后置++运算符重载Date operator++(int){Date tmp(*this);*this += 1;return tmp;}
对于后置++运算符,我们通过给定一个整型来表示这是后置++(注意这个是语法规定)
编译器自己会根据我们所写的符号去调用相应的运算符重载函数(这个是需要我们自己写的)!编译器默认生成的成员函数是赋值运算符的重载,也就是说我们自己不写,也是会自动生成的!
//赋值赋值运算符重载Date& operator=(const Date& y) //返回值的目的是为了进行连续赋值,引用可以提高返回的效率{//防止自己和自己赋值if (this != &y){_year = y._year;_month = y._month;_day = y._day;}return *this;}
和拷贝构造的作用一样,对于内置类型会进行值拷贝(浅拷贝),自定义类型调用它的赋值重载运算符!但是对于Stack这样的类,向系统申请了额外资源的需要我们自己重写赋值重载实现深拷贝!
对于运算符重载需要注意事项:
1️⃣ 对于内置类型运算符的含义不可以改变。例如:不能重载+符号,里面写成了-的含义了
2️⃣ 不可以通过连接其他符号创建新的操作符。例如:opertor@
3️⃣ 重载操作符必须要有一个类类型的参数
4️⃣ 作为类的成员函数重载时,其形参看起来比操作数数目少1,因为成员函数第一个参数是隐藏的this指针
5️⃣.*
::
(域限定符)sizeof
?:
(三目操作符).
这五个运算符是不可以运算符重载的!
const成员函数
被const修饰的成员函数被称为const成员函数!
//大于重载bool operator>(Date& t)const //在函数参数后面加上const修饰{if (_year > t._year){return true;}else if (_year == t._year && _month > t._month) {return true;}else if (_year == t._year && _month == t._month && _day == t._day){return true;}return false;}
实际上const修饰的是隐藏的this指针,变成了const Date类型,表明在该成员函数中不能对类的任何成员修改!还需要注意的是当自定义类型的声明与定义分离时,我们如果要用const进行修饰,那么就要声明和定义一起加上!
当我们定义const对象和非const对象时,调用>重载运算符如图所示!这是为啥呢?原因就是d1是const Date类型对象,传入>重载运算符时第二个参数是Date*类型!可以理解为权限放大,这样是不允许的!权限只可以平移和缩小!
取地址操作符重载
最后两个默认的成员函数是取地址操作符的重载
Date* operator&(){return this;}const Date* operator&()const{return this;}
一般这两个默认的成员函数不需要我们自己进行重载,直接拿来用就可以了!如果我们想要让别人获取指定的内容可以使用!
//让你只可以拿到地址为0x11223344的内容
Date* operator&()
{return (Date*)0x11223344;
}const Date* operator&()const
{return (const Date*)0x11223344;
}