一直以来我以为构造函数的功能是创建对象并且为其成员初始化。现在发现并不是这样,首先我们可以这样理解,c++语言的设计者们为了使得面向对象程序设计中的资源易于管理,发明了构造函数和析构函数,先不考虑这两个函数到底做了什么,至少有一点是可以确定的,即这两个函数具有这样的特性:构造函数(叫什么名字不重要,你也可以称它为 A A 函数, 函数等任何你喜欢的名字)在声明一个对象的时候,会被执行,析构函数在该对象即将被销毁时,会被执行,所以它们本质上只是两个能在特定时刻执行的函数体。
当程序被编译时,编译器会去检查相应的类有没有显示定义的构造函数或者析构函数,如果没有,编译器则主动生成一个函数体为空的默认构造函数或者析构函数(什么也不做的执行体),这么做纯粹是为了遵循c++的语法规定(类中必须存在构造函数和析构函数)。
误解一:默认(编译器提供的)构造函数会对成员变量初始化
为了验证默认构造函数(编译器自动加上的)并没有初始化成员变量,我们可以看如下程序:
#include <iostream>
using namespace std;
class B {
public:
~B(){
cout << "B::~B() deconstructed " << endl;
cout << "val : " << val << endl;
}
private:
int val;
};
int main() {
B b;
return 0;
}
输出结果如下:
成员变量并没有被初始化,
误解二:构造函数是用来创建对象的,析构函数是用来销毁对象的
事实上,构造函数并不会创建对象本身,析构函数也不会销毁对象本身,验证程序如下:
#include <iostream>
using namespace std;
class A {
public:
A(){
cout << "A::A() constructed " << endl;
}
~A(){
cout << "A::~A() deconstructed " << endl;
}
};
class B {
public:
B() {
cout << "B::B() constructed " << endl;
}
~B(){
cout << "B::~B() deconstructed " << endl;
}
private:
A* a;
};
int main() {
B* b = new B;
return 0;
}
输出结果如下:
可以看到析构函数并没有执行,也就是说,对象本身的创建与销毁并不是由构造函数和析构函数来控制,后者只是在特定时刻会被执行的两个函数体而已,而对象本身的创建与销毁(生命周期)则是由操作系统(非堆区)或者程序员(堆区)来控制。
当变量处在非堆区(全局区,栈区),对象的销毁由操作系统控制,代码如下:
#include <iostream>
using namespace std;
class A {
public:
A(){
cout << "A::A() constructed " << endl;
}
~A(){
cout << "A::~A() deconstructed " << endl;
}
};
class B {
public:
B() {
cout << "B::B() constructed " << endl;
}
~B(){
cout << "B::~B() deconstructed " << endl;
}
private:
A* a;
};
A a;
int main() {
B b;
return 0;
}
输出结果如下:
当变量处在堆区,对象的销毁则由程序员控制,代码如下:
#include <iostream>
using namespace std;
class A {
public:
A(){
cout << "A::A() constructed " << endl;
}
~A(){
cout << "A::~A() deconstructed " << endl;
}
};
class B {
public:
B() {
cout << "B::B() constructed " << endl;
}
~B(){
cout << "B::~B() deconstructed " << endl;
}
private:
A* a;
};
A* a = new A;
int main() {
B* b = new B;
delete a;
delete b;
return 0;
}
这里还有有一个疑问:在函数外部,即全局变量定义的地方使用
new
n
e
w
,内存分配是在全局区还是堆区呢?
首先我们知道全局区的对象的销毁是由操作系统来控制的,所以如下代码便可以验证:
#include <iostream>
using namespace std;
class A {
public:
A(){
cout << "A::A() constructed " << endl;
}
~A(){
cout << "A::~A() deconstructed " << endl;
}
};
class B {
public:
B() {
cout << "B::B() constructed " << endl;
}
~B(){
cout << "B::~B() deconstructed " << endl;
}
private:
A* a;
};
A* a = new A;
int main() {
B* b = new B;
// delete a;
delete b;
return 0;
}
输出结果如下:
a
a
所指向的对象并没有被析构,由此可以知道即便在函数外部用 来分配内存,依然是在堆上进行的。
总结:构造函数和析构函数是两个在特定时刻:对象的创建和销毁,执行的函数体,所以当类中含有成员变量的时候,我们可以利用这两个函数的特性在构造函数里为成员变量初始化,然后在析构函数里销毁在堆区上开辟了空间的成员变量