一、类的默认成员函数
二、构造函数
(图1)
#include<iostream>
using namespace std;
typedef int STDataType;
class Stack
{
public:
Stack(int n = 4)
{
_a = (STDataType*)malloc(sizeof(STDataType) * n);
if (nullptr == _a)
{
perror("malloc申请空间失败");
return;
}
_capacity = n;
_top = 0;
}
// ...
private:
STDataType* _a;
size_t _capacity;
size_t _top;
};
// 两个Stack实现队列
class MyQueue
{
public:
//编译器默认⽣成MyQueue的构造函数调⽤了Stack的构造,完成了两个成员的初始化
private:
Stack pushst;
Stack popst;
};
int main()
{
MyQueue mq;
return 0;
}
(代码1)
三、析构函数
析构函数与构造函数的功能相反,但析构函数并不是完成对对象本身的销毁,比如局部对象是存在栈帧的,函数结束时栈帧销毁,他就释放了不需要我们管,c++规定对象在销毁时会自动调用析构函数,完成对资源中的清理释放工作。析构函数功能类比我们之前stack实现的destroy功能
特点:
1、析构函数名是在类名前面加上字符~
2、无参数无返回值
3、一个类只能有一个析构函数,若未实现定义,系统会生成默认的析构函数
4、对象生命周期结束时,系统会自动调用析构函数
5、与构造函数类似,我们不写编译器自动生成的析构函数对内置类型成员不做处理,自定义类型会调用他的析构函数
6、注意我们自己写的析构函数,对于自定义类型成员也会调用他的析构,也就是说自定义类型成员无论什么情况都会自动调用析构函数
7、如果类中没有申请新资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,如图1的Data类型;如果默认生成的析构函数就可以用就可以不写,如代码1中的MyQueue;但是有申请资源时,一定要自己写析构,否则会造成资源泄露。
8、一个局部区的多个对象,c++规定后定义的先析构
我们还是以题目两个栈实现一个队列为例
四、拷贝构造函数
如果一个析构函数的第一个参数时自身类型,且任何额外的参数都有默认值,则此构造函数也叫做拷贝构造函数,也可以认为拷贝构造函数是一个特殊的构造函数。
特点:
1、拷贝析构函数是构造函数的一个重载
Data d1(2024,8,9);
Date d2(d1);//拷贝构造
2、拷贝构造函数的第一个参数必须是类类型对象的引用,使用传值方式编译器会直接报错,因为语法逻辑上会引发无穷递归调用。拷贝构造函数也可以多个参数,但是第一个参数必须是类类型对象的引用,后面的参数必须有缺省值
3、c++规定自定义类型对象进行拷贝行为必须调用拷贝构造,所以这里自定义类型传值传参和传值返回都会调用拷贝构造完成
所以当拷贝构造函数的第一个参数不是引用时,它就会无穷递归,c++规定类类型传值传参必须调用拷贝构造函数
4、若未自己定义拷贝构造,编译器会自动生成拷贝构造函数。自动生成的拷贝构造对内置类型成员变量完成值拷贝/浅拷贝,对自定义类型成员变量也会调用它的拷贝构造
5、Data这样类型的成员变量全是内置类型且没有指向资源,编译器自动生成的拷贝构造就可以完成所需要的拷贝,所以不需要我们自己实现拷贝构造;Stack这样的类虽然都是内置类型,但是_a指向了资源,自动生成的拷贝构造完成浅拷贝,就会在操作两个类对象时相互影响,所以我们要自己实现构造拷贝;MyQueue这样的类型内部主要是自定义类型Stack成员,编译器自动生成的拷贝构造会调用Stack的拷贝构造,也不需要我们实现。注意,如果一个类实现了析构并释放资源,那么他就需要自己实现拷贝构造,否则就不需要
Stack的拷贝构造函数:
6、传值返回会产生一个临时对象调用拷贝构造,而传引用返回对象的别名(引用),没有产生拷贝。如果返回对象是一个当前函数局部域的局部对象,函数结束数就销毁了,这时的引用相当于一个野引用,类似于一个野指针。要注意的是,传引用拷贝返回可以减少拷贝,但是一定要确保返回对象,在当函数结束后函数还在的话,才能用引用返回
注意:最好用const来修饰引用
注:如果是局部对象不要返回它的引用,当函数调用完后栈帧会销毁,当栈帧销毁后这个引用也就销毁了。要在加上static才可以使用,static stack st。
五、赋值运算符重载
运算符重载
1、当运算符被用于类类型的对象时,c++允许我们通过运算符重载的形式指定新的含义。c++规定类类型对象使用运算符时,必须转换成调用对应运算符重载,否则将会报错
2、运算符重载是具有特殊名字的函数,它的名字由operator和后面要定义的运算符共同组成,和其它函数一样,也具有其返回类型和参数列表以及函数体
3、重载运算符函数的参数个数和该运算符作用的对象数量一样多。一元运算符有一个参数(如*,++),二元运算符有两个参数(如+,-),二元运算符的左侧运算对象传给第一个参数,右侧运算符传给第二个参数。
如Data类的d1和d2对象的重载运算符函数:
4、如果一个重载运算符函数是成员函数,则它的第一个对象默认传给隐式的this指针,因此运算符重载作为成员函数时,参数比运算对象少一个
这时重载运算符函数就要这样写:
5、运算符重载以后,其优先级和结合性与对应的内置类型运算符保持一致
6、不能通过连接语法中没有的符号来创建新的操作符
7、.* :: sizeof ? : . 这5个运算符不能重载
8、重载操作符至少有一个类类型参数,不能通过运算符重载改变内置类型对象的含义,如:int operator+(int x,int y)
9、一个类需要重载那些运算符,要看哪些运算符重载后有意义,如Date类重载operator-就有意义,它可以把两个日期相减得到中间所隔的天数,而operator*就没有意义
10、重载++运算符时,有前置++和后置++,运算符重载函数名都是operator,无法很好的区分。c++规定,后置重载++时,增加一个int形参,跟前置++成为函数重载,方便区分
11、重载 << 和 << 时,需要重载为全局函数,因为重载为成员函数,this指针默认抢占了第一个形参位置,第一个形参位置时左侧运算符对象,调用时就成了 “对象<<cout,不符合习惯性和可读性。重载为全局函数把ostream/istream放到第一个形参位置就可以了,第二个形参位置当类类型对象
这样写如果是连续的话就行不通了,为了支持连续的改写成这样:
同理流提取应该这样写
赋值运算符重载
赋值运算符重载是一个默认成员函数,用于完成两个已经存在的对象直接的拷贝赋值,但是要注意跟拷贝构造区分,拷贝构造用于一个对象拷贝初始化给另一个要创建的对象
特点
1、赋值运算符重载是一个运算符重载,规定必须重载为成员函数。赋值运算重载的参数建议写成const 当前类类型引用,否则传值传参会有拷贝
2、有返回值,且建议写成当前类类型引用,引用返回可以提高效率,有返回值目的是为了支持连续赋值的场景
为了避免d1赋值给d1这样的操作也可以将赋值运算符重载写成这样
3、没有显示实现时,编译器会自动生成一个默认赋值运算符重载,默认赋值运算符重载行为跟默认拷贝构造函数类似,对内置类型成员变量会完成浅拷贝,对自定义类型成员变量会调用他的赋值重载函数,像Data类的赋值运算符重载就不需要我们显示实现,编译器自己生成的就够用了,但是Stack需要显示实现,同理一个类实现了析构并释放了资源吗他就需要显示写赋值运算符重载
六、取地址运算符重载
const成员函数
1、将const修饰的成员函数称之为const成员函数,const修饰成员函数放到成员函数参数列表的后面
2、const实际修饰该成员函数隐含的this指针,表明在该成员函数中不能对类的任何成员进行修改。const修饰Date类的print成员函数,print隐含的this指针由Date* const this 变为const Date* const this
根据成员函数的使用要求能用const修饰的尽量用const修饰,权限可以缩小但是不能放大
取地址运算符重载
取地址运算符重载分为普通取地址和const取地址运算符重载,一般这两个函数编译器自动生成的就够用了,不需要去显示实现。除非特殊的场景,比如我们不想让别人渠道当前类的地址,就可以自己实现一份,返回一个假地址
class Date
{
public:
Date* operator&()
{
return this;
//return nullptr;
}
const Date* operator&() const
{
return this;
//return nullptr;
}
private:
int _year;
int _month;
int _day;
}
总结
- 构造函数一般都需要自己写,自定义初始化
- 析构、构造时有资源申请(如malloc或者fopen)等,就需要显示写析构函数
- 拷贝构造和赋值重载,显示了析构,内部管理资源,就需要显示实现深拷贝
- 自定义类型凡事想要用运算符都要掺重载运算符