【More Effective C++ 条款4】非必要不提供default constructor

1)default constructor在没有任何外来信息的情况下将对象初始化

2)但是有些对象如果没有外来信息,就没有办法完成初始化动作,那么这些对象,就没有必要提供default constructor

3)如果一个类缺乏default constructor,那么使用这个类的时候会存在一定的限制

限制1:产生数组的时候,没有任何一个方法可以为数组中的对象指定constructor自变量。

EquipmentPiece bestPieces[10];//错误!
EquipmentPiece *bestPieces=new EquipmentPiece[10];//错误!

限制2:不适用于某些模板类

对那些模板而言,被实例化的目标类型必须得有一个default constructor,这是一个普遍的共同需求,因为那些模板内几乎总是会产生一个以template作为类型而构架起来的数组,当然,如果谨慎设计模板,可以避免这个问题,但是很多模板的设计者独缺谨慎,这样会导致缺乏default constructor的类不兼容于许多模板


4)避免限制1的三种方法

方法1:在堆栈中创建数组,并且使用显示初始化列表

A a[5]={A(1),A(2),A(3),A(4),A(5)};

缺点:比较麻烦,如果数组元素有1W个,那么要写1w个构造函数,显然不可能

并且只适用于堆栈数组,堆中没有此语法(C++中堆栈指的是栈)

方法2:使用指针数组,而非对象数组

typedef EquipmentPiece* PEP;
PEP a[10];
PEP *b=new PEP[10];

数组中的各个指针可以用来指向一个个不同的对象

缺点:

1.不再需要这些对象时必须将此数组所指向的对象删除,避免内存泄漏

2.存放指针数组,需要额外的空间

方法3:使用内存池,使用operator new[]函数预先申请一块内存,要使用的时候再使用placement new(定位new)依次构造

#include<bits/stdc++.h>
using namespace std;

class EquipmentPiece//该类缺乏default constructor
{
public:
    EquipmentPiece(int IDNumber)
    {

    }
};

int main()
{
    //分配足够的raw memory,给一个预备容纳10个EquipmentPiece 对象的数组使用
    void *rawMemory=operator new[](10*sizeof(EquipmentPiece));
    
    //让bestPieces指向此块内存,使得这块内存被视为一个EquipmentPiece数组
    EquipmentPiece *bestPieces=static_cast<EquipmentPiece*>(rawMemory);
    
    //利用placement new 构造这块内存中的EquipmentPiece对象
    for(int i=0; i<10; i++)
        new (&bestPieces[i]) EquipmentPiece(1);

}

优点:可以在堆中创建数组,并且不需要占用额外空间

缺点:

1)在数组内对象的生命周期结束时需要手动调用其析构函数,然后调用operator delete[]释放这块内存

2)如果采用一般的数组删除语法,程序行为将不可预期,因为删除一个不可以new operator获得的指针,其结果没有定义


5)总结

添加没有意义的default constructor,也会影响classes的效率,如果member function 必须测试字段是否真被初始化了,其调用者必须为测试行为付出时间代价,并且为测试代码付出空间代价,因为可执行文件和程序库都变大了,万一测试结果为否定,对应的测试程序又要付出一些空间代价,如果class constructors可以确保对象的所有字段都会被正确初始化,上述所有成本都可以免除,如果default constructor无法提供这种保证,那么最好避免让default constructor出现,虽然这可能会对classses的使用方式带来某种限制,但同时也带来一种保证,当你真的使用了这样的classes,你可以预期他们所产生的对象会被完全的初始化,实现上也富有效率


原文地址:https://www.cnblogs.com/yinbiao/p/11757205.html