类的6个默认成员函数
如果一个类中什么成员都没有,简称为空类。
空类中真的什么都没有吗?并不是,任何类在什么都不写时,编译器会自动生成以下6个默认成员
函数。
默认成员函数:用户没有显式实现,编译器会生成的成员函数称为默认成员函数。
1.构造函数
构造函数是一个特殊的成员函数,名字与类名相同,创建类类型对象时由编译器自动调用,以保证每个数据成员都有 一个合适的初始值,并且在对象整个生命周期内只调用一次。
构造函数是特殊的成员函数,需要注意的是,构造函数虽然名称叫构造,但是构造函数的主要任务并不是开空间创建对象,而是初始化对象。
其特征如下:
- 函数名与类名相同。
- 无返回值。
- 对象实例化时编译器自动调用对应的构造函数。
- 构造函数可以重载。
#include <iostream> #include <assert.h> using namespace std; class Stack { public: Stack() { cout << "Stack()" << endl; _a = nullptr; _size = _capacity = 0; } Stack(int n) { _a = (int*)malloc(sizeof(int) * n); if (nullptr == _a) { perror("malloc申请空间失败"); return; } _capacity = n; _size = 0; } void Push(int x) { _a[_size++] = x; } bool Empty() { return _size == 0; } int Top() { return _a[_size - 1]; } private: // 成员变量 int* _a; int _size; int _capacity; }; int main() { Stack st0; Stack st(4); st.Push(1); st.Push(2); st.Push(3); st.Push(4); //st.Destroy(); return 0; }
实例化st类之后,我们发现可以实现插入的功能,也就是下面的构造函数被调用了,说明第三点。
而实例化的st0对应的构造函数没有开空间,所以如果给st0插入就会报错
第四点因为两个构造函数参数数量不同,则构成重载函数.
注意:如果调用的构造函数是无参的,在类的实例化时,后面不要带括号,会被认为函数的声明,该函数无参,返回一个Stack类型的对象。
- 如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成。
class Date { public: void Print() { cout << _year << "年" << _month << "月" << _day << "日" << endl; } int _year; int _month; int _day; }; int main() { Date d1; d1.Print(); }
这个时间类没有构造函数,则C++编译器会自动生成一个无参的默认构造函数
6. 关于编译器生成的默认成员函数,不实现构造函数的情况下,编译器会生成默认的构造函数。但是看起来默认构造函数又没什么用?d1对象调用了编译器生成的默认构造函数,但是d1对象_year/_month/_day,依旧是随机值。也就说在这里编译器生成的默认构造函数并没有什么用??
解答:C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类型,如:int/char…,自定义类型就是我们使用class/struct/union等自己定义的类型,看看下面的程序,就会发现编译器生成默认的构造函数会对自定类型成员调用的它的默认成员函数。
struct Stack { Stack() { _size = 1; _capacity = 4; } int _size; int _capacity; }; class MyQueue { public: void push(int x) { } Stack _pushST; Stack _popST; }; int main() { MyQueue q; cout << q._popST._capacity << endl; cout << q._popST._size << endl; return 0; }
- 无参的构造函数和全缺省的构造函数都称为默认构造函数,并且默认构造函数只能有一个。注意:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认构造函数。
class Date { public: Date() { _year = 1900; _month = 1; _day = 1; } Date(int year = 1900, int month = 1, int day = 1) { _year = year; _month = month; _day = day; } private: int _year; int _month; int _day; }; int main() { Date d1; }
以上测试函数能通过编译吗?
不能,因为有多个默认构造函数,不给d1给参数的话,区分不了他是全缺省,还是无参数。他两构成函数重载,推荐写全缺省方便
2.析构函数
概念
通过前面构造函数的学习,我们知道一个对象是怎么来的,那一个对象又是怎么没呢的?
析构函数:与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
析构函数是特殊的成员函数,其特征如下:
- 析构函数名是在类名前加上字符 ~。
- 无参数无返回值类型。
- 一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载
- 对象生命周期结束时,C++编译系统系统自动调用析构函数。
class Stack { public: Stack() { cout << "Stack()" << endl; _a = nullptr; _size = _capacity = 0; } Stack(int n) { _a = (int*)malloc(sizeof(int) * n); if (nullptr == _a) { perror("malloc申请空间失败"); return; } _capacity = n; _size = 0; } void Push(int x) { _a[_size++] = x; } bool Empty() { return _size == 0; } int Top() { //... return _a[_size - 1]; } //... ~Stack() { cout << "~Stack()" << endl; free(_a); _a = nullptr; _size = _capacity = 0; } private: // 成员变量 int* _a; int _size; int _capacity; }; int main() { Stack st; return 0; }
构造函数和析构函数都被调用
5.关于编译器自动生成的析构函数,是否会完成一些事情呢?下面的程序我们会看到,编译器生成的默认析构函数,对自定类型成员调用它的析构函数。
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; }
6. 如果类中没有申请资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,比如Date类;有资源申请时,一定要写,否则会造成资源泄漏,比如Stack类。
7.关于一个类对象,实例化之后,后定义的先发生析构,对比栈.
8.c++11修改补丁,内置类型可以通过缺省值给其赋值,不像自定义类型一样去调用自己的默认构造函数.