C++提供的默认函数
首先说一下一个C++的空类,编译器会加入哪些默认的成员函数
- 默认构造函数和拷贝构造函数
- 析构函数
- 赋值函数(赋值运算符)
- 取值函数
即使程序没定义任何成员,编译器也会插入以上的函数,也就是说当用户没有定义构造函数和析构函数时编译器会自动添加默认的构造函数和析构函数。但是某些情况下,由于成员的特殊性,需要自己进行构造函数与析构函数的编写。
构造函数基础
1. 关于构造函数,拷贝构造函数,赋值函数
C++中一般创建对象,拷贝或赋值的方式有构造函数,拷贝构造函数,赋值函数这三种方法。
- 构造函数是一种特殊的类成员函数,是当创建一个类的对象时,它被调用来对类的数据成员进行初始化和分配内存。默认构造函数没有参数,它什么也不做。当没有重载无参构造函数时,
A a
就是通过默认构造函数来创建一个对象 - 拷贝构造函数是C++独有的,它是一种特殊的构造函数,用基于同一类的一个对象构造和初始化另一个对象。当没有重载拷贝构造函数时,通过默认拷贝构造函数来创建一个对象
A a; A b(a); A b=a;
都是拷贝构造函数来创建对象b,因为这里b对象是不存在的,是用a 对象来构造和初始化b的!! - 当一个类的对象向该类的另一个对象赋值时,就会用到该类的赋值函数。当没有重载赋值函数(赋值运算符)时,通过默认赋值函数来进行赋值操作
A a; A b; b=a;
(强调:这里a,b对象是已经存在的,是用a 对象来赋值给b的!!)
一句话记住三者:对象不存在,且没用别的对象来初始化,就是调用了构造函数;对象不存在,且用别的对象来初始化,就是拷贝构造函数(上面说了三种用它的情况!) 对象存在,用别的对象来给它赋值,就是赋值函数。
2.关于深拷贝和浅拷贝
浅拷贝:如果复制的对象中引用了一个外部内容(例如分配在堆上的数据),那么在复制这个对象的时候,让新旧两个对象指向同一个外部内容,就是浅拷贝。(指针虽然复制了,但所指向的空间内容并没有复制,而是由两个对象共用,两个对象不独立,删除空间存在)
深拷贝:如果在复制这个对象的时候为新对象制作了外部对象的独立复制,就是深拷贝。
注意:构造函数可以被重载,可以多个,可以带参数;析构函数只有一个,不能被重载,不带参数
对象销毁过程
一.调用析构函数
- 销毁对象的第一步即调用析构函数,完成如下任务
1.执行析构函数体代码
2.逆序调用类类型成员的析构函数,析构所有成员子对象
3.逆序调用各个基类的析构函数,析构所有基类子对象
注意:执行析构函数体代码是整个析构过程的第一步,这保证了析构函数体代码所依赖的一切资源和先决条件, 在该代码被执行时尚且未被销毁,并保持析构前的状态
二.释放内存空间
销毁对象的第二步是用类似free的机制,将包括成员子对象、基类子对象等在内的,整个对象内存空间释放掉根据目前绝大多数C++编译器的实现,销毁对象的过程和创建对象的过程,通常是严格相反的
创建:分配内存->构造基类->构造成员->执行构造代码
基类:按继承顺序,从左至右,依次构造
成员:按声明顺序,从上至下,依次构造销毁:执行析构代码->析构成员->析构基类->释放内存
基类:按继承顺序,从右至左,依次析构
成员:按声明顺序,从下至上,依次析构
需要自己写构造函数的情况
倘若类中含有指针变量,则需要自己写构造函数。不能仅仅使用默认的构造函数。因为“缺省的拷贝构造函数”和“缺省的赋值函数”均采用浅拷贝而非“深拷贝”的方式来实现。
拷贝构造函数是在对象被创建时调用的,而赋值函数只能被已经存在了的对象调用
String a(“hello”);
String b(“world”);
String c = a; // 调用了拷贝构造函数,最好写成 c(a);
c = b; // 调用了赋值函数
如果不主动编写拷贝构造函数和赋值函数,编译器将以“浅拷贝”的方式自动生成缺省的函数。倘若类中含有指针变量,那么这两个缺省的函数就隐含了错误。以类String 的两个对象a, b 为例,假设a. m_ data
的内容为hello
,b.m _data
的内容为world
。现将a 赋给b,缺省赋值函数的“浅拷贝”意味着执行b .m _data = a. m_ data
。这将造成三个错误:一是b. m_ data
原有的内存没被释放,造成内存泄露;二是b. m_ data
和a. m_ data
指向同一块内存,a 或b 任何一方变动都会影响另一方;三是在对象被析构时,m_ data
被释放了两次。
因为系统提供的默认拷贝构造函数工作方式是内存拷贝,也就是浅拷贝。如果对象中用到了需要手动释放的对象,则会出现问题,这时就要手动重载拷贝构造函数,实现深拷贝。
String::String(const String& other) //拷贝构造函数
{
cout<<"copy construct"<<endl;
m_string=new char[strlen(other.m_string)+1] ; //分配空间并拷贝
strcpy(m_string,other.m_string);
}
下面说说深拷贝与浅拷贝:
需要自己写析构函数的情况
倘若类中有通过malloc或new动态分配的资源,则需要重写析构函数
对于析构函数:功能不仅限于释放资源,它可以执行任何作为类的设计者希望在最后一次使用对象之后执行的动作。在销毁对象时自动调用,例如:对象所在作用域的终止花括号或delete操作符等可以实现对析构函数的调用。
如果对象在其生命周期的最终时刻,并不持有任何动态分配的资源,也没有任何善后工作可做,那么完全可以不为其定义析构函数
•如果一个类没有定义析构函数,那么编译器会为其提供一个缺省析构函数,功能如下:
- 对基本类型的成员变量,什么也不做
- 对类类型的成员变量和基类子对象,调用相应类型的析构函数
这是因为缺省析构函数由编译器提供,它只负责释放编译器看得到资源,如成员子对象、基类子对象等。对于编译器看不到的资源,如通过malloc或new动态分配的资源,缺省析构函数不负责释放,必须通过自己定义的析构函数予以释放,否则将形成内存泄漏