面向对象编程(C++篇2)——构造面向对象编程(C++篇2)——构造

1. 引述
2. 详述
- 2.1. 数据类型初始化
- 2.2. 类初始化

1. 引述在C++中，学习类的第一课往往就是构造函数。根据构造函数的定义，构造函数式是用于初始化类对象的数据成员的。无论何时，只要类被创建，就会执行构造函数：

class ImageEx { public: ImageEx() { cout << "Execute the constructor!" << endl; } }; int main() { ImageEx imageEx; return 0; }

那么问题来了，为什么要有构造函数？
2. 详述 2.1. 数据类型初始化正如上一篇文章《面向对象编程(C++篇1)——引言》中提到的那样：类是抽象的自定义数据类型。对于C++的内置数据类型，我们可以采用如下方式进行初始化：

double price = 109.99;

这种初始化行为很像赋值操作，但是初始化与赋值是两种概念：初始化的含义是创建变量的时候赋予其一个初始值，而赋值的含义则是把对象的当前值擦除，以一个新的值来代替。实际上，我们同样可以使用类似构造函数一样的方式初始化内置数据类型：

double price(109.99);

那么，我们在定义变量的时候不进行初始化会怎么样呢？答案是会进行默认初始化（其实不太准确，在某些情况下，会不被初始化，进而产生未定义的行为，是非常危险的）：

double price; price = 109.99;

在C++中，一个合理的原则是：变量类型定义时初始化。这个原则不仅可以避免未初始化可能产生的未定义行为，还节省了性能：避免定义（默认初始化）后再进行赋值操作。
2.2. 类初始化可能你会认为，先定义（默认初始化）之后再进行赋值，对性能影响不大。这句话对于C#、Java、JavaScript这样的语言来说是成立的，它们的应用场景很多时候可以不用关心这个（性能场景则不一定）。而对于C++这样的面向底层的语言来说，追求的是"零成本抽象（zero overhead abstraction）"的设计原则，只是简单的数据结构影响当然不太，但是对于一个非常复杂的数据类型，则可能存在不可忽视的性能开销。
可以为一个类的数据成员提供一个类内初始值：

class ImageEx { int imgWidth = 0; int imgHeight = 0; int bandCount = 0; };

类的数据成员如果不进行初始化，那么就会如前所述，进行默认初始化：

class ImageEx { public:void Print() { cout << imgWidth << '\t' << imgHeight << '\t' << bandCount << endl; for (int i = 0; i < 10; i++) { printf("%d\t", data[i]); } }private: int imgWidth; int imgHeight; int bandCount; unsigned char data[10]; }; int main() { ImageEx imageEx; imageEx.Print(); return 0; }

运行结果：

文章图片

默认初始化的未定义行为当然不是我们想要的，于是我们给他加一个初始化函数：

class ImageEx { public:void Init() { imgWidth = 200; imgHeight = 100; bandCount = 3; memset(data, 0, 10 * sizeof(unsigned char)); }void Print() { cout << imgWidth << '\t' << imgHeight << '\t' << bandCount << endl; for (int i = 0; i < 10; i++) { printf("%d\t", data[i]); } cout << endl; }private: int imgWidth; int imgHeight; int bandCount; unsigned char data[10]; }; int main() { ImageEx imageEx; imageEx.Print(); imageEx.Init(); imageEx.Print(); return 0; }

运行结果：

文章图片

从上例可以发现，如果我们自己给类的数据成员进行初始化函数，其实类的数据成员早就进行了一次默认初始化操作，这个初始化函数其实是一次额外的赋值。以这个类对象中的数组数据成员data为例，假使这个数组的容量很大，其额外的一次赋值操作对于底层来说，是不可忽略的性能开销。
那么使用构造函数的原因就很容易理解了，构造函数就是实现当类定义时初始化数据成员的，这样可以避免额外的初始化性能开销:

class ImageEx { public: ImageEx() { cout << "Default initialization!" << endl; Print(); cout << "Execute the constructor!" << endl; Init(); }void Print() { cout << imgWidth << '\t' << imgHeight << '\t' << bandCount << endl; for (int i = 0; i < 10; i++) { printf("%d\t", data[i]); } cout << endl; }private: void Init() { imgWidth = 200; imgHeight = 100; bandCount = 3; memset(data, 0, 10 * sizeof(unsigned char)); }int imgWidth; int imgHeight; int bandCount; unsigned char data[10]; }; int main() { ImageEx imageEx; imageEx.Print(); return 0; }

进一步探究，构造函数本质是个函数，函数是由语句组成，已经定义的数据类型只能赋值初始化，而无法再进行构造。也就是说，在调用构造函数之前，数据成员还是已经默认初始化了：

文章图片

因此，初始化最好的实现是使用构造函数的初始值列表：

class ImageEx { public: ImageEx() : imgWidth(200), imgHeight(100), bandCount(3), data{ 0, 1, 2 } { cout << "Execute the constructor!" << endl; }void Print() { cout << imgWidth << '\t' << imgHeight << '\t' << bandCount << endl; for (int i = 0; i < 10; i++) { printf("%d\t", data[i]); } cout << endl; }private: int imgWidth; int imgHeight; int bandCount; unsigned char data[10]; }; int main() { ImageEx imageEx; imageEx.Print(); return 0; }

运行结果：