1. 类的6个默认成员函数
如果一个类中什么成员都没有,简称为空类。
空类中真的什么都没有吗?并不是,任何类在什么都不写时,编译器会自动生成以下6个默认成员
函数。(默认成员函数:用户没有显式实现,编译器会生成的成员函数称为默认成员函数。)
class Date{};
2.构造函数
2.1概念
#include<iostream>
using namespace std;
class Date {
public:
void Iint(int year=0,int month=0,int day=0) {
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date a;
a.Iint(2024, 4, 13);
a.Print();
Date b;
b.Iint(2024, 4, 12);
b.Print();
return 0;
}
对于Date类,可以通过 Init 公有方法给对象设置日期,但如果每次创建对象时都调用该方法设置
信息,未免有点麻烦,那能否在对象创建时,就将信息设置进去呢?
构造函数是一个特殊的成员函数,名字与类名相同,创建类类型对象时由编译器自动调用,以保证
每个数据成员都有 一个合适的初始值,并且在对象整个生命周期内只调用一次。
2.2特性
构造函数是特殊的成员函数,需要注意的是,构造函数虽然名称叫构造,但是构造函数的主要任
务并不是开空间创建对象,而是初始化对象。
构造函数特征:
- 函数名与类名相同
- 无返回值。
- 对象实例化时编译器自动调用对应的构造函数。
- 构造函数可以重载。
- 如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成
#include<iostream>
using namespace std;
class Date {
public:
//1.无参构造函数
Date()
{
_year = 0;
_month = 0;
_day = 0;
}
//2.带参构造函数
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 a;//调用无参构造函数
a.Print();
Date b(2024, 4, 10);//调用带参构造函数
b.Print();
return 0;
}
编译器默认生成的构造函数对于自定义类型会进行初始化,但是对于内置类型会取决于编译器是否会对内置类型进行初始化。C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类型,如:int/char...,自定义类型就是我们使用class/struct/union等自己定义的类型,。
下面以vs2022为例:
#include<iostream>
using namespace std;
class Date {
public:
//如果用户定义了显示的构造函数编译器不会再生成
1.无参构造函数
//Date()
//{
// _year = 0;
// _month = 0;
// _day = 0;
//}
2.带参构造函数
//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 a;
a.Print();
/*Date b(2024, 4, 10);
b.Print();*/
return 0;
}
如图中Date类中的内置对象(年,月,日)均为随机值。则说明vs2022没有对内置类型进行初始化。而对于自定义类型C++中规定编译器默认生成的构造函数会对自定义类型中的默认构造函数进行调用从而对自定义类型中的数据进行初始化。见下图:
#include<iostream>
using namespace std;
class Time {
public: Time()
{
cout << "Time()" << endl;
_hour = 0;
_min = 0;
_sec = 0;
}
private:
int _hour;
int _min;
int _sec;
};
class Date {
private:
int _year;
int _month;
int _day;
Time _t1;
};
int main()
{
Date d1;
return 0;
}
我们可以看到Date中的内置类型依旧没有被初始化,但是他的自定义类型Time t1经过调用Time类的默认成员函数对他的内置类型进行了初始化。注意:C++11 中针对内置类型成员不初始化的缺陷,又打了补丁,即:内置类型成员变量类中声明时可以给默认值。无参的构造函数和全缺省的构造函数都称为默认构造函数,并且默认构造函数只能有一个。注意:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认构造函数。
#include<iostream>
using namespace std;
class Time {
public: Time()
{
cout << "Time()" << endl;
_hour = 0;
_min = 0;
_sec = 0;
}
private:
int _hour;
int _min;
int _sec;
};
class Date {
private:
int _year=2024;
int _month=4;
int _day=13;
Time _t1;
};
int main()
{
Date d1;
return 0;
}
3.析构函数
3.1概念
析构函数:与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由
编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
3.2特性
- 析构函数名是在类名前加上字符 ~。
- 无参数无返回值类型。
- 一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载。
- 对象生命周期结束时,C++编译系统系统自动调用析构函数。
#include<iostream> #include<assert.h> using namespace std; typedef int STData; class Stack { public: void StackSTInit() { _a = nullptr; _capacity = 0; _top = 0; } void StackSTPush(const STData& Data) { int newCapacity = _capacity == 0 ? 4 : _capacity * 2; if (_top == _capacity) { STData* tmp = (STData*)realloc(_a, sizeof(STData) * newCapacity); if (tmp == nullptr) { perror("realloc fail"); exit(1); } _a = tmp; _capacity = newCapacity; } _a[_top] = Data; _top++; } STData StackSTTop() { return _a[_top - 1]; } void StackSTPop() { _top--; } void StackSTDestory() { assert(_a); free(_a); _a = nullptr; _top = 0; _capacity = 0; } ~Stack() { if (_a) { free(_a); _a = nullptr; _top = 0; _capacity = 0; } } private: STData* _a; int _top; int _capacity; }; int main() { Stack st; st.StackSTInit(); st.StackSTPush(1); st.StackSTPush(2); int a = st.StackSTTop(); st.StackSTPop(); int b = st.StackSTTop(); cout << a << " " << b << endl; return 0; }
5. 关于编译器自动生成的析构函数,是否会完成一些事情呢?下面的程序我们会看到,编译器生成的默认析构函数,对自定类型成员调用它的析构函数。
#include<iostream>
using namespace std;
class Time {
public: ~Time()
{
cout << "~Time()" << endl;
_hour = 0;
_min = 0;
_sec = 0;
}
private:
int _hour;
int _min;
int _sec;
};
class Date {
private:
int _year=2024;
int _month=4;
int _day=13;
Time _t1;
};
int main()
{
Date d1;
return 0;
}
上述场景出现的原因是在main方法中我们虽然没有创建Time的类,但是我们创建了Date类的一个变量d1其中d1有三个内置类型变量和一个自定义类型变量,而这三个内置类型销毁时不需要资源清理,最后系统直接会把他们的内存回收。而——t1是自定义类型变量需要资源清理,因此编译器便会去Time类中调用他的析构函数来对_t1进行资源清理。但是:main函数中不能直接调用Time类的析构函数,实际要释放的是Date类对象,所以编译器会调用Date类的析构函 数,而Date没有显式提供,则编译器会给Date类生成一个默认的析构函数,目的是在其内部调用Time类的析构函数,即当Date对象销毁时,要保证其内部每个自定义对象都可以正确销毁main函数中并没有直接调用Time类析构函数,而是显式调用编译器为Date类生成的默认析构函数。
注意:创建哪个类的对象则调用该类的构造函数,销毁那个类的对象则调用该类的析构函数。
4.拷贝构造函数
4.1概念
拷贝构造函数:只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存
在的类类型对象创建新对象时由编译器自动调用。
4.2特征
- 拷贝构造函数是构造函数的一个重载形式。
- 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错, 因为会引发无穷递归调用。
- 若未显式定义,编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝。
- 拷贝构造函数典型调用场景:
使用已存在对象创建新对象
函数参数类型为类类型对象
函数返回值类型为类类型对象
#include<iostream>
using namespace std;
class Date {
public:
Date(int year = 0, int month = 0, int day = 0)
{
_year = year;
_month = month;
_day = day;
}
Date(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2024,2,3);
Date d2(d1);
return 0;
}