CppCoreGuidelines C.31 类获取的资源必须在析构函数中释放

21 August 2022

“All resources acquired by a class must be released by the class’s destructor”

理由

防止资源泄漏（尤其是错误情况下）

注意

对于有默认操作类，资源可以自动申请释放。

例子

class X {
    ifstream f;   // might own a file
    // ... no default operations defined or =deleted ...
};

类 X 的输入流 ifstream 会在 X 的析构过程中，隐式地关闭其打开的文件。

错误例子

class X2 {     // bad
    FILE* f;   // might own a file
    // ... no default operations defined or =deleted ...
};

X2 可能会导致一个文件句柄（file handle）内存泄漏。

注意

如果套接字不能关闭怎么办？析构函数、关闭、清理操作不可以失败。但是如果失败了会怎么样？析构函数的开发者不知道何时会调用该函数，不能抛出异常。而且很多关闭/释放操作不能重试。目前来说，没有一般的解决方案。如果可行，可以认为关闭/清理失败是设计错误，直接结束程序。

注意

类里面可以有指向不为其所管理的指针或引用。很明显，这些对象不能在类的析构函数中释放。比如：

Preprocessor pp { /* ... */ };
Parser p { pp, /* ... */ };
Type_checker tc { p, /* ... */ };

这里，p 指向的 pp 不是 p 管理的对象。

强化