类的6个默认成员函数
- 构造函数
- 析构函数
- 拷贝构造函数
- 赋值运算符重载
- 取地址重载(主要是普通对象和const对象取地址)
构造函数
什么是构造函数??
以日期类为例:
class Date
{
public:
void init(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void print()
{
cout << _year << " " << _month << " " << _day << " " << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1,d2;
d1.init(2024, 5, 30);
d2.init(2024, 5, 29);
d1.print();
d2.print();
}
建立一个对象时,通常最需要立即做的工作是初始化对象,如对数据成员赋初值,如 d1.init(2024, 5, 30);。因为每次创建一个对象都要调用init,比较麻烦,所有构造函数的出现就是简化它;
构造函数就是用来在创造对象时初始化对象,为对象数据成员赋初始值。
构造函数是特殊的成员函数,需要注意的是,构造函数虽然名称叫构造,但是构造函数的主要任务并不是开空间创建对象,而是初始化对象。(类似于init)
其特性:
1. 函数名与类名相同。
2. 无返回值。
3. 对象实例化时编译器自动调用对应的构造函数。
4. 构造函数可以重载
以Date类为例:
class Date {
public:
//无参构造
Date() {
_year = 2024;
_month = 7;
_day = 20;
}
//带参构造
Date(int year, int month, int day) {
_year = year;
_month = month;
_day = day;
}
void print() {
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
Date d2(2024, 7, 21);
d1.print();
d2.print();
Date d3();
//声明了d3函数,该函数无参,返回一个日期类型的对象
}
注意:
- 如果通过无参构造函数创建对象时,对象后面不用跟括号,否则就成了函数声明;
- 如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成。
- 无参的构造函数和全缺省的构造函数都称为默认构造函数,并且默认构造函数只能有一个。
无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为
是默认构造函数。
编译器生成的默认构造函数有什么用??
C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类
型,如:int/char...,自定义类型就是我们使用class/struct/union等自己定义的类型,看看
下面的程序,就会发现编译器生成默认的构造函数会对自定类型成员_t调用的它的默认成员
函数。
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;
int _month;
int _day;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}
析构函数
什么是析构函数??
与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由
编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
其特性:
1. 析构函数名是在类名前加上字符 ~。
2. 无参数无返回值类型。
3. 一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载。
4. 对象生命周期结束时,C++编译系统系统自动调用析构函数.
如:
class Date {
public:
//无参构造
Date() {
_year = 2024;
_month = 7;
_day = 20;
}
//带参构造
Date(int year, int month, int day) {
_year = year;
_month = month;
_day = day;
}
~Date() {
cout << "析构函数调用" << endl;
}
void print() {
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
Date d2(2024, 7, 21);
d1.print();
d2.print();
Date d3();
}
运行结果:
在代码中我们并没有调用析构函数,但是在显示结果中析构函数被调用了,由此可知析构函数的调用是系统自动执行的。
拷贝构造函数
什么是拷贝构造??
从字面意思就可以知道,简单概括一下就是创建一个对象与已经存在的对象一样。
拷贝构造函数:只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用。
其特性:
1. 拷贝构造函数是构造函数的一个重载形式。
2. 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,因为会引发无穷递归调用。
拷贝构造写法:
Date(Date& d) {
_year = d._year;
_month = d._month;
_day = d._day;
}
调用及结果:
Date d2(2024, 7, 21);
Date d3(d2);
d3.print();
浅拷贝、深拷贝
拷贝又分为浅拷贝和深拷贝;
若未显式定义,编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按
字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝。如果涉及到资源申请时,调用浅拷贝就会崩溃,这时我们就要调用深拷贝;
注意:
类中如果没有涉及资源申请时,拷贝构造函数是否写都可以;一旦涉及到资源申请
时,则拷贝构造函数是一定要写的,否则就是浅拷贝。
什么是深拷贝?(看下面的例子)
class Stack {
public:
Stack(size_t capacity=10) {
_array = (int*)malloc(capacity * sizeof(int));
if (nullptr == _array) {
perror("malloc内存申请失败!");
return;
}
_size = 0;
_capacity = capacity;
}
void Push(const int& data)
{
_array[_size] = data;
_size++;
}
~Stack() {
if (_array) {
free(_array);
_array = nullptr;
_size = 0;
_capacity = 0;
}
}
private:
int* _array;
size_t _size;
size_t _capacity;
};
int main() {
Stack s1;
s1.Push(1);
s1.Push(2);
s1.Push(3);
s1.Push(4);
Stack s2(s1);
}
不写拷贝构造,系统生成的是浅拷贝,调用Stack s2(s1);时,s1和s2 占用的是同一块内存空间,在调用析构函数时,析构s2后,在析构s1,而此时s1的内存空间已经被析构过了,所有运行会崩溃。这时我们就要写深拷贝来解决这个问题;
Stack(Stack& a) {
_array= (int*)malloc(a._capacity * sizeof(int));
_size = a._size;
_capacity = a._capacity;
}
赋值运算符重载
怎么比较两个对象的大小?如:d1>d2;
我们通常会:
bool cmp(const Date& a, const Date& b) {
if (a._year > b._year)return true;
else if(a._year==b._year)
{
if (a._month > b._month)return true;
else if (a._month == b._month) {
if (a._day > b._day)return true;
}
}
return false;
}
cmp(d1 , d2);
但是如果是<、=我们要用不同的函数名去标记,次数一多,是比较麻烦且容易弄错,这时c++引入了运算符重载,运算符重载是具有特殊函数名的函数,也具有其返回值类型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似。
函数名字为:关键字operator后面接需要重载的运算符符号。
函数原型:返回值类型 operator操作符(参数列表)。
注意:
- 不能通过连接其他符号来创建新的操作符:比如operator@
- 重载操作符必须有一个类类型参数
- 用于内置类型的运算符,其含义不能改变,例如:内置的整型+,不 能改变其含义
- 作为类成员函数重载时,其形参看起来比操作数数目少1,因为成员函数的第一个参数为隐藏的this
- .* :: sizeof ?: . 注意以上5个运算符不能重载。
bool operator>(const Date& a, const Date& b) {
if (a._year > b._year)return true;
else if (a._year == b._year)
{
if (a._month > b._month)return true;
else if (a._month == b._month) {
if (a._day > b._day)return true;
}
}
return false;
}
d1 > d2;
这时我们写的是全局的operator>,类中的变量要是public才可被访问;
如果想把变量设置成private,可以把operator写成重载成员函数,或者引入友元函数;
//赋值运算符重载
friend bool operator>(const Date& a, const Date& b);
对于大小的比较有很多,如>、<、==、>=、<=等;我们只需要写出来两个完整的其他的就比较容易了。这两个可以是>和==,也可以是<和==。
bool operator>(const Date& a, const Date& b) {
if (a._year > b._year)return true;
else if (a._year == b._year)
{
if (a._month > b._month)return true;
else if (a._month == b._month) {
if (a._day > b._day)return true;
}
}
return false;
}
bool operator==(const Date& a, const Date& b) {
return a._year == b._year
&& a._month == b._month
&& a._day == b._day;
}
bool operator<(const Date& a, const Date& b) {
return !(a > b) && !(a == b);
}
运算符重载格式
- 参数类型:const T&,传递引用可以提高传参效率
- 返回值类型:T&,返回引用可以提高返回的效率,有返回值目的是为了支持连续赋值
- 检测是否自己给自己赋值
- 返回*this :要复合连续赋值的含义
前置++和后置++
//前置++
// 前置++:返回+1之后的结果
// 注意:this指向的对象函数结束后不会销毁,故以引用方式返回提高效率
Date& operator++() {
_day++;
return *this;
}
//后置++
// 前置++和后置++都是一元运算符,为了让前置++与后置++形成能正确重载
// C++规定:后置++重载时多增加一个int类型的参数,但调用函数时该参数不用传递,编译器自动传递
// 注意:后置++是先使用后+1,因此需要返回+1之前的旧值,故需在实现时需要先将this保存一份,然后给this+1
// 而temp是临时对象,因此只能以值的方式返回,不能返回引用
Date& operator++(int) {
Date tmp(*this);
_day++;
return tmp;
}
完结!!