默认成员函数
默认成员函数就是用户没有显式实现,编译器会⾃动⽣成的成员函数称为默认成员函数。
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的赋值运算符重载。