目录
类的6个默认成员函数
class Date {};
如果一个类中什么成员都没有,简称为空类。 空类中真的什么都没有吗?并不是,任何类在什么都不写时,编译器会自动生成以下6个默认成员函数。 默认成员函数:用户没有显式实现,编译器会生成的成员函数称为默认成员函数。(我们写了函数,就不会自动生成了)
构造函数
特性
构造函数是特殊的成员函数,主要任务是初始化对象,对象实例化时编译器自动调用对应的构造函数,在对象整个生命周期内只调用一次。(类似Init函数的功能)
其特征如下:
函数名与类名相同
无返回值(不需要写void)
无参构造函数和带参构造函数
class Date
{
public:
// 1.无参构造函数
Date()
{
_year = 1;
_month = 1;
_day = 1;
}
// 2.带参构造函数
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
void TestDate()
{
Date d1; // 调用无参构造函数
Date d2(2024, 1, 1); // 调用带参的构造函数
// 注意:如果通过无参构造函数创建对象时,对象后面不用跟括号,否则就成了函数声明
// 以下代码的函数:声明了d3函数,该函数无参,返回一个日期类型的对象
// warning C4930: “Date d3(void)”: 未调用原型函数(是否是有意用变量定义的?)
Date d3();
}
注意:如果通过无参构造函数创建对象时,对象后面不用跟括号,否则就成了函数声明。这样无法跟函数命名区分开。
构造函数可以重载
class Date
{
public:
//他们俩构成函数重载,但是无参调用时会存在歧义
Date()
{
_year = 3;
_month = 3;
_day = 3;
}
// 一般情况,建议每个类,都可以写一个全缺省的构造(好用)
Date(int year = 1, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year; // 年
int _month; // 月
int _day; // 日
};
一般情况,建议每个类,都可以写一个全缺省的构造函数。
如果我们忘记使用Init函数,就使用构造函数进行初始化。
编译器自动生成构造函数
如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成。
// 自动生成的构造函数意义何在?
// 两个栈实现一个队列
class MyQueue
{
private:
Stack _pushst;
Stack _popst;
};//此处编译器不会报错
编译器自动生成构造函数的规则:
- 对于内置类型(int / char / 指针成员变量)没有规定要不要做处理!(有些编译器会处理)
- 对于自定义类型(class / struct / union)成员变量才会调用他的无参构造
注意:C++11 中针对内置类型成员不初始化的缺陷,又打了补丁,即:内置类型成员变量在类中声明时可以给默认值。
class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
// 给缺省值
int _year = 1;
int _month = 1;
int _day = 1;
};
int main()
{
Date d(2024, 4, 9);
d.Print();//输出2024-4-9 //构造函数优先
return 0;
}
编译器还是会先把缺省值给d,再用2024,4,9覆盖在缺省值上面。
默认构造函数
无参的构造函数和全缺省的构造函数都称为默认构造函数,并且默认构造函数只能有一个。 注意:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认构造函数。 如果自定义类型没有他的默认构造函数,编译器会报错!
class A
{
public:
A()
{
_a = 0;
}
private:
int _a;
};
class Time
{
private:
//与Date处理一致
int _hour;// 默认生成构造函数。
int _minute;
int _second;
A _aa;// 自定义类型调用默认构造函数
};
class Date
{
private:
// 内置类型没有规定要处理(可处理,可不处理,看编译器)
int _year = 1;// 给缺省值
int _month = 1;
int _day = 1;
Time _t;// 自定义类型调用默认构造函数
};
int main()
{
Date d;
return 0;
}
实践总结
- 一般情况下,构造函数需要我们自己显示的去实现。
- 只有少数情况下可以让编译器自动生成构造函数,如MyQueue,成员全是自定义类型。
析构函数
与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由编译器完成的,而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
显式调用
显示调用:指的是在代码中明确指定要调用的函数名称和参数,这样调用语句明确地指定了要调用的函数。为了避免重复调用父类的析构函数,子类的析构函数应该显式调用父类的析构函数,并且应该在子类析构函数的代码的末尾调用父类的析构函数,确保资源的正确释放。
Child::~Child() {
// 子类特定清理操作
...
// 显式调用父类析构函数
Parent::~Parent();
}
隐式调用
隐式调用:指的是在代码中通过语言规则或编译器自动插入的机制触发函数的调用,而不需要显式指定函数的名称和参数列表。例如,当对象销毁时,编译器会自动插入相应的析构函数的调用。
class Parent {
public:
Parent() { ... }
~Parent() { ... }
};
class Child : public Parent {
public:
Child() { ... }
~Child() { ... } // 隐式调用的父类析构函数会放在此处
};
特性
析构函数名是在类名前加字符 ~
无参数无返回值类型
一个类只能有一个析构函数
若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载
系统自动调用析构函数
对象生命周期结束时,C++编译系统系统自动调用析构函数
//以栈为例
class Stack
{
public:
Stack(size_t capacity = 4)
{
cout << "Stack(size_t capacity = 3)" << endl;
_array = (int*)malloc(sizeof(int) * capacity);
if (NULL == _array)
{
perror("malloc申请空间失败!!!");
return;
}
_capacity = capacity;
_size = 0;
}
~Stack() //是不是与函数Destroy类似呢?
{
cout << "~Stack()" << endl;
if (_array)
{
free(_array);
_array = NULL;
_capacity = 0;
_size = 0;
}
}
private:
int* _array;
int _capacity;
int _size;
};
默认析构函数
编译器生成的默认析构函数,对自定类型成员调用它的析构函数。 与构造函数类似(内置类型不做处理,自定义类型去调用他的析构函数), 以下面代码为例:
class Time
{
public:
~Time()
{
cout << "~Time()" << endl;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}
// 程序运行结束后输出:~Time()
// main函数中并没有直接调用Time类析构函数,而是显式调用编译器为Date类生成的默认析构函数
注意
- 创建哪个类的对象则调用该类的构造函数,销毁那个类的对象则调用该类的析构函数。
- 如果类中没有申请资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,比如 Date类;有资源申请(malloc)时,一定要写,否则会造成资源泄漏,比如Stack类。
实践总结
- 有资源显示需要清理,就需要写析构函数,如Stack \ List
- 没有资源需要清理,就不用显示写析构函数,如Time \ Date
- 内置类型成员没有资源需要清理,剩下的都是自定义类型成员,就不用显示写析构函数,如MyQueue(两个栈实现队列)