构造函数的误解

一直以来我以为构造函数的功能是创建对象并且为其成员初始化。现在发现并不是这样，首先我们可以这样理解，c++语言的设计者们为了使得面向对象程序设计中的资源易于管理，发明了构造函数和析构函数，先不考虑这两个函数到底做了什么，至少有一点是可以确定的，即这两个函数具有这样的特性：构造函数（叫什么名字不重要，你也可以称它为 $A$ 函数，$\alpha$ 函数等任何你喜欢的名字）在声明一个对象的时候，会被执行，析构函数在该对象即将被销毁时，会被执行，所以它们本质上只是两个能在特定时刻执行的函数体。

当程序被编译时，编译器会去检查相应的类有没有显示定义的构造函数或者析构函数，如果没有，编译器则主动生成一个函数体为空的默认构造函数或者析构函数（什么也不做的执行体），这么做纯粹是为了遵循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$，内存分配是在全局区还是堆区呢？
首先我们知道全局区的对象的销毁是由操作系统来控制的，所以如下代码便可以验证：

#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$ 所指向的对象并没有被析构，由此可以知道即便在函数外部用 $new$ 来分配内存，依然是在堆上进行的。

总结：构造函数和析构函数是两个在特定时刻：对象的创建和销毁，执行的函数体，所以当类中含有成员变量的时候，我们可以利用这两个函数的特性在构造函数里为成员变量初始化，然后在析构函数里销毁在堆区上开辟了空间的成员变量