CppCoreGuidelines C.41 构造函数须创建初始化完全的对象

15 September 2022

“A constructor should create a fully initialized object”

理由

构造函数在类中建立一种固定结构。类的用户必须可以认为构造好的对象是可以正常使用的。

不好的例子

class X1 {
    FILE* f;   // call init() before any other function
    // ...
public:
    X1() {}
    void init();   // initialize f
    void read();   // read from f
    // ...
};

void f()
{
    X1 file;
    file.read();   // crash or bad read!
    // ...
    file.init();   // too late
    // ...
}

以上代码中， X1 构造完成后还需要调用 init 函数才完成成员的初始化，在这之前调用其他函数就出错了。

请注意，编译器不会解析代码注释。

例外

如果某个对象不能很方便地通过构造函数初始化，就请使用工厂函数。

强化

（简单）每一个构造函数都要能够完全初始化每一个成员变量（直接，间接调用其他构造函数，或默认构造函数）。
如果构造函数有 Ensures 合约，请注意是否符合条件。

注意

如果构造函数需要一个资源来创建一个有效的对象。那么这个资源必须由析构函数释放。构造函数获取资源，析构函数释放资源就是所谓的 RAII（Resource Acquisition Is Initialization）。

technology 487

CppCoreGuidelines 474