最近看《c++ Primer》,其中讲到,当一个类定义了一个构造函数后,编译器不会再生成默认构造函数。没有默认构造函数的类不能用作动态分配数组的元素。
查了下资料,原来当new对象数组时,不能给动态分配的数组每个元素一个初始化值,编译器于是会自动调用构造函数,而没有默认构造函数会出错。假设aClass为没有默认构造函数的类,当动态申请数组时new aClass[Length],并不能给数组初始化值,而new操作符不只是分配内存,而且需给编译器标识出内存中存放的是什么类型数据,故需要去调用类的默认构造函数,没有则出错。
当为静态数组时,没有构造函数的类就不会出错。因为静态数组声明时可以初始化,显示的调用构造函数。
于是这里又有一个问题,为什么new操作符有两个行为?在《More Effective C++》上有具体介绍。原来我们使用的new是所谓的new operator。这个操作符是由语言内建的,就像sizeof那样,不能被改变意义,它包含两个动作。第一,它分配足够的内存,用来放置某类型对象。第二,它调用一个constructor,为刚才分配的内存中的那个对象设定初 值。new operator总是做这两件事,无路如何也不能改变其行为。但是我们可以改变分配内存的方式。因为new operator 分配内存时,调用的是operator new,
我们可以将operator new 重载。和c中malloc函数一样,operator new的唯一任务就是分配内存。
但是有时候我们想自己调用构造函数初始化对象怎么办?c++标准中有一个特殊版本的operator new ,Placement new。它是在已经分配的内存中构造对象。假设有一个足够合适的空内存指针,可以通过operator new 分配得来,void *buffer,class Widget有一个Widget(int widgetSize)构造函数,只需要new (buffer) Widget(widgetSize)并调用了placement new。