CppCoreGuidelines C.42 如果构造函数不能构造一个有效对象，抛出一个例外

19 September 2022

C.42: If a constructor cannot construct a valid object, throw an exception

理由

放任无效对象一直存在，会导致麻烦的问题。

例子

class X2 {
    FILE* f;
    // ...
public:
    X2(const string& name)
        :f{fopen(name.c_str(), "r")}
    {
        if (!f) throw runtime_error{"could not open" + name};
        // ...
    }

    void read();      // read from f
    // ...
};

void f()
{
    X2 file {"Zeno"}; // throws if file isn't open
    file.read();      // fine
    // ...
}

例子

class X3 {     // bad: the constructor leaves a non-valid object behind
    FILE* f;   // call is_valid() before any other function
    bool valid;
    // ...
public:
    X3(const string& name)
        :f{fopen(name.c_str(), "r")}, valid{false}
    {
        if (f) valid = true;
        // ...
    }

    bool is_valid() { return valid; }
    void read();   // read from f
    // ...
};

void f()
{
    X3 file {"Heraclides"};
    file.read();   // crash or bad read!
    // ...
    if (file.is_valid()) {
        file.read();
        // ...
    }
    else {
        // ... handle error ...
    }
    // ...
}

注意

对于变量来说，不管是在栈上的还是某个对象的成员，都没法直接通过函数调用获取错误信息。如果有无效的对象，然后要倚靠用户使用前自己去调用 is_invalid() 这样的函数进行有效性检查，很麻烦、容易出错、效率不高。

例外

在某些领域，比如飞机控制等硬实时系统中，为了实时性，异常出错没有额外的工具支持，所以就必须使用is_valid()这样的技巧。这种情况下，及时的调用is_valid()来模拟 RAII。

其他选项

如果你有想法使用“构造后初始化”或“两级初始化”方法，请赶紧抹杀掉。如果你真的要这么做，请试试工厂函数方法。

注意

有人为了避免代码重复，用init()函数，而不在构造函数中进行初始化。把构造过程交给成员的默认初始化会更好。还有人觉得应该延迟到对象使用的时候再初始化，这种情况的解决办法是不要声明变量，知道要用的时候再声明并初始化。

programming 164

CppCoreGuidelines 475