标题:【Cpp】类和对象#构造函数 析构函数
@水墨不写bug
(图片来源于网络)
目录
正文开始:
(一)构造函数
构造函数是特殊的成员函数,需要注意的是,构造函数虽然名称叫构造,但是构造函数的主要任务并不是开空间创建对象,而是初始化对象。
其特征如下:
1. 函数名与类名相同。
2. 无返回值。(不需写为void)class A { public: A()//函数名和类名相同,且不需要写返回值类型 { _a = 1; _c = 't'; } private: int _a; char _c; stack st1; };
3. 对象实例化时编译器自动调用对应的构造函数。(自动初始化,省去了Init()函数)class A { public: A()//函数名和类名相同 { _a = 1; _c = 't'; } private: int _a; char _c; }; int main() { A a1; return 0; }
(上述程序中,在创建a1后自动调用A(),将_a,_c初始化)
4. 构造函数可以重载。(构造函数可以有多个,也就是对象的初始化方式可以有多个)简单举一个例子:
class B { public: B() { _a = 1; _c = 't'; _arr = (int*)malloc(sizeof(int)); } B(int n) { _arr = (int*)malloc(sizeof(int) * n); _a = 1; _c = 't'; } private: int _a; char _c; int* _arr; }; int main() { B b1; B b2(100); return 0; }
( b1对象没有传参,调用没有参数的构造函数;b2传了一个参数n,调用有一个参数的默认构造,可以指定开辟空间的大小)
但是对于下面的重载,情况就有所不同了:
class B { public: B() { _a = 1; _c = 't'; _arr = (int*)malloc(sizeof(int)); } B(int n = 8) { _arr = (int*)malloc(sizeof(int) * n); _a = 1; _c = 't'; } private: int _a; char _c; int* _arr; };
(这两个函数显然构成函数重载,因为他们的参数个数不同。但是在不传参调用的时候,会导致编译器报错,因为编译器无法区分无参调用调用的具体是哪一个函数)
5. 如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成。
6.对于自动生成的默认构造函数,有如下性质:i,自定义类型(int,float,int*等)不做处理,仍然是随机值;
ii,对于自定义类型(struct,class声明中的类),转跳到这个自定义类型的对应的构造函数中去,自动调用自定义类型的构造函数。
7.什么是默认构造,总结下来有如下几种情况:
i,自己没有写,编译器自动生成的的构造函数是无参数的构造函数,也就是默认构造;
ii,自己写了一个函数,但是没有参数,也可以被编译器识别为默认的构造函数,这时编译器就不会再自动生成一个构造函数了;
iii,自己写了一个函数,有参数,但是是全缺省的参数,这也可被编译器识别为默认的构造函数,这时编译器就不会再自动生成一个构造函数了;
(注意:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认构造函数。但是要注意编译器生成的构造函数不会处理内置类型)
(二)析构函数
析构函数:与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
析构函数是特殊的成员函数,其特征如下:
1. 析构函数名是在类名前加上字符 ~。(~表示取反,暗示了清理资源的工作)
2. 无参数无返回值类型。(无需写void)class stack{ public: stack(int n = 4)//函数名和类名相同 { _arr = (int*)malloc(sizeof(int) * n); _top = 0; _capacity = 0; } ~stack()//函数名和类名相同,不需要写返回值类型 { free(_arr); _top = 0; _capacity = 0; } private: int* _arr; int _top; int _capacity; };
3.对象生命周期结束时,C++编译系统系统自动调用析构函数。
4.一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载,也就是说析构只有一种方式。
5.对于自动生成的析构函数,有如下性质:i,对于自定义类型(int,float,int*等)不做处理,自定义类型本身不需要资源的释放;
ii,对于自定义类型(struct,class声明中的类),转跳到这个自定义类型的对应的析构函数中去,自动调用自定义类型的析构函数。
6.从上述特性可以得出:如果类中没有申请资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,比如Date类;有资源申请时,一定要写析构函数,否则会造成资源泄漏,比如Stack类。
总结:
默认生成虽然好,但是如果默认生成的构造/析构函数在调用时由于只处理自定义类型,如果自定义类型的构造/析构没有写,那么即使是默认生成的函数,本质上也是没有做任何工作。
class stack{ public: stack(int n = 4)//函数名和类名相同 { _arr = (int*)malloc(sizeof(int) * n); _top = 0; _capacity = 0; } /* ~stack() { free(_arr); _top = 0; _capacity = 0; } */ private: int* _arr; int _top; int _capacity; }; class A { public: A()//函数名和类名相同 { _a = 1; _c = 't'; } private: int _a; char _c; stack st1; };
(虽然A类没有写析构,但是编译器会默认生成,处理A中需要释放的资源st1;但是st1的类没有写析构函数,也只是调用默认生成的析构,这时,st1中的动态申请的堆空间就无法释放了,造成内存泄漏)
所以,我们能自己写的构造/析构,就最好自己写,不要过分依靠编译器默认生成。
完·~
未经作者同意禁止转载