C++从汇编来分析C++构造函数和析构函数

C++构造函数和析构函数

我们知道C++中有类和对象概念，对对象的操作我们一般通过函数实现，比如定义一个Dog类，实例化一个叫阿黄的小狗，狗可以执行跑步动作，可以旺旺的叫，这些功能都是通过函数来实现的。而构造函数是类的特殊函数，创建对象时，会自动调用构造函数(是先给对象分配空间，然后调用构造函数，而不是调用构造函数去给对象分配空间，下面会对此分析)，我们可以利用构造函数对成员变量进行初始化操作。看个例子：

#include<iostream>
using namespace std;

class Dog {
public:
	Dog() {}
	~Dog() {}

	void run(void) {
		cout << "dog is running!"<< endl;
	}

private:
};

int main(){
	Dog dog;
	dog.run();
	cout << sizeof(Dog) << endl;
	return 0;
}

类的成员函数在编译时就确定了，位于代码段，只有一份，并且不占用对象的空间，有意思的是为什么成员函数只有一份，它却可以访问到不同对象的成员变量?答案就是this指针， 当通过对象去调用函数时，这个唯一的函数的this指针指向了这个对象。上面代码的输出的类大小是1字节，这是为什么呢？虽然这个类没有成员变量，但是对象被创建出来肯定需要占用空间，不然怎么表示这个对象的存在，而且this指针也需要是这个对象空间的地址。

1. 构造函数

经过上面的分析，空类占用一个1个字节大小，非空类的大小就是成员变量的大小(需要注意的是和c语言struct一样，存在字节对齐的情况，比如int a; char b;这时的大小是8字节，而不是4+1=5字节)。构造函数的作用定义对象时调用构造函数对其初始化，上述代码定义对象是吧对象创建在栈中，出了生命周期后会自动释放，采用new的方式创建对象是在堆中，需要程序员手动释放。

1.1 默认构造函数和重写构造函数

类中如果我们不写构造函数，那么就存在默认的构造函数，默认的构造函数等效于上例Dog() {}的写法，函数体里没有内容，既然没有内容，那么是怎么构建出对象来的?笔者认为是这样的：构造函数只是对成员变量进行初始化操作，给变量分配内存空间在定义对象时就分配好了，如果构造函数没有内容，成员变量的值就是不确定的垃圾值，这里我使用IAR对c++代码编译成汇编，看汇编中是对构造函数进行了怎样的处理。

1.1.1 构造函数为空时（或者是默认构造函数）

C++代码：

class Test {
public:
	Test() {
//        a = 1;
//        b = 2;
//        c = 3;
//        d = 4;
//        e = 5;
    }

public:
	int a;
    int b;
    int c;
    int d;
    int e;
};

int test() {
    Test t;
    t.a = 1;
    t.b = 2;
    t.c = 3;
    t.d = 4;
    t.e = 5;

	return 0;
}

编译后的汇编代码：

从汇编代码中我们看到并没有调用构造函数，因为构造函数为空，编译器编译后并不存在构造函数的内容，而是直接将堆栈指针减去了20，5个int型变量占20个字节。

1.1.2 构造函数中对变量初始化

• C++代码：

class Test {
public:
	Test() {
        a = 1;
        b = 2;
        c = 3;
        d = 4;
        e = 5;
    }

public:
	int a;
    int b;
    int c;
    int d;
    int e;
};

int test() {
    Test t;
//    t.a = 1;
//    t.b = 2;
//    t.c = 3;
//    t.d = 4;
//    t.e = 5;

	return 0;
}

• 生成的汇编代码：
  
  从上图我们可知，给成员变量分配内存空间后，调用构造函数中对变量进行赋值。

1.2 类比C语言中的结构体

C语言中定义一个结构体变量，也是给变量分配内存空间，与C++中的struct和class类似，区别在于C++中可以自己写构造函数对变量初始化，省去了C语言中，需要手动调用初始化函数的麻烦。

2. 析构函数

如果对象定义在栈中，出了对象的生命周期，对象会自动释放，在释放之前会调用析构函数。如果析构函数为默认的析构函数，相当于没有调用。

• C++:

#include<iostream>

class Test {
public:
	Test() {
        a = 1;
        b = 2;
        c = 3;
        d = 4;
        e = 5;
    }
    ~Test() {
        a = 0;
        b = 0;
        c = 0;        
    }

public:
	int a;
    int b;
    int c;
    int d;
    int e;
};

int test() {
    Test t;
//    t.a = 1;
//    t.b = 2;
//    t.c = 3;
//    t.d = 4;
//    t.e = 5;

	return 0;
}

• 汇编代码