第17章零法则（Rule of Zero）

课程目录第17章零法则（Rule of Zero）

17. 零法则（Rule of Zero）：RAII与零法则、智能指针与零法则、现代C++的最佳实践

说实话，C++的构造函数和析构函数讲到这里，终于要聊一个让我个人非常舒服的法则了——零法则。

为什么说舒服？因为前面我们讲了那么多规则，什么三法则、五法则，每次写类都要小心翼翼地管理资源。但零法则告诉我们：你其实可以什么都不写。让编译器帮你搞定一切。

嗯，听起来有点偷懒，但这恰恰是现代C++的精髓所在。

17.1 什么是零法则？

零法则的核心思想很简单：如果你的类不需要自定义析构函数、拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符，那就一个都别写。

说白了，就是让编译器生成的默认版本去工作。你想想看，编译器生成的代码通常比手写的更安全、更高效，何乐而不为？

我在项目中见过太多这样的代码：

class BadExample {
    int* data;
public:
    BadExample() : data(new int(42)) {}
    ~BadExample() { delete data; }
    // 忘记写拷贝构造和拷贝赋值...
};

这种类一旦被拷贝，两个对象就会指向同一块内存。析构时double free，程序直接崩溃。我曾经在一个遗留系统里排查了一整天，最后发现就是这种问题。

那零法则下的正确写法是什么？

class GoodExample {
    std::unique_ptr<int> data;
public:
    GoodExample() : data(std::make_unique<int>(42)) {}
    // 不需要写析构函数，不需要写拷贝构造，不需要写任何特殊成员函数
};

看到了吗？unique_ptr自动管理了内存的生命周期。拷贝时编译器会阻止你（因为unique_ptr不可拷贝），移动时自动转移所有权。一切都在掌控之中。

17.2 RAII与零法则

零法则能成立，完全依赖于RAII（Resource Acquisition Is Initialization）。

RAII是C++里一个非常优雅的设计模式。它的核心是：资源在构造函数中获取，在析构函数中释放。你想想看，如果每个资源都被封装在一个RAII类里，那使用这个资源的类就不需要关心资源管理了。

举个例子：

// RAII封装：管理文件句柄
class FileHandle {
    FILE* fp;
public:
    FileHandle(const char* filename, const char* mode) 
        : fp(fopen(filename, mode)) {
        if (!fp) throw std::runtime_error("打开文件失败");
    }
    ~FileHandle() { if (fp) fclose(fp); }
    // 禁止拷贝
    FileHandle(const FileHandle&) = delete;
    FileHandle& operator=(const FileHandle&) = delete;
    // 允许移动
    FileHandle(FileHandle&& other) noexcept : fp(other.fp) {
        other.fp = nullptr;
    }
    FileHandle& operator=(FileHandle&& other) noexcept {
        if (this != &other) {
            if (fp) fclose(fp);
            fp = other.fp;
            other.fp = nullptr;
        }
        return *this;
    }
    void write(const char* data) { fputs(data, fp); }
};

有了这个RAII封装，使用它的类就可以遵循零法则了：

class Logger {
    FileHandle file;
public:
    Logger(const char* path) : file(path, "w") {}
    // 不需要写析构函数！FileHandle会自动关闭文件
    // 不需要写拷贝构造！FileHandle禁止拷贝
    // 不需要写移动构造！FileHandle支持移动
    void log(const std::string& msg) {
        file.write(msg.c_str());
    }
};

我个人习惯把这种设计叫做"责任下放"。每个类只负责自己的事情，资源管理交给专门的RAII包装器。这样代码的每个部分都清晰明了。

17.3 智能指针与零法则

智能指针是零法则的最佳搭档。现代C++提供了三种智能指针：

智能指针	所有权模型	适用场景
`std::unique_ptr`	独占所有权	资源只有一个所有者
`std::shared_ptr`	共享所有权	多个对象需要共享资源
`std::weak_ptr`	弱引用	打破循环引用，观察者模式

使用智能指针后，你的类可以完全遵循零法则：

class Document {
    std::vector<std::unique_ptr<Page>> pages;
    std::string title;
public:
    Document(const std::string& t) : title(t) {}
    void addPage(std::unique_ptr<Page> page) {
        pages.push_back(std::move(page));
    }
    // 不需要写任何特殊成员函数！
    // unique_ptr的析构函数会自动释放所有Page
    // 拷贝会被编译器禁止（unique_ptr不可拷贝）
    // 移动会正确转移所有权
};

这里有个小技巧：如果你需要让类支持拷贝，就把unique_ptr换成shared_ptr。但要注意，shared_ptr的拷贝是有代价的——引用计数的原子操作。我在项目中曾经因为滥用shared_ptr导致性能下降，后来改成unique_ptr配合移动语义，性能提升明显。

    核心原则：能用unique_ptr就别用shared_ptr。独占所有权更简单、更高效。

17.4 零法则的例外情况

当然，零法则不是万能的。有些场景下你不得不打破它：

自定义资源管理：比如你需要管理一个C语言库返回的原始指针
性能优化：某些场景下手动管理内存比智能指针更高效
特殊语义：比如你需要实现一个对象池，资源复用而不是释放

但即使在这些情况下，我也建议你先把RAII封装做好，然后再让业务类遵循零法则。我曾经在一个图形引擎项目中，把OpenGL纹理封装成RAII类，上层所有的渲染对象都遵循零法则。结果代码量减少了40%，bug率直线下降。

注意：如果你决定打破零法则，请确保你完全理解三法则/五法则。否则，你可能会陷入资源泄漏或double free的泥潭。

17.5 现代C++的最佳实践

总结一下，在现代C++中遵循零法则的最佳实践：

优先使用标准库容器：vector、string、map等已经实现了RAII
用智能指针管理动态内存：unique_ptr优先，shared_ptr按需使用
封装非内存资源：文件、网络连接、数据库句柄等，先封装成RAII类
让类只做一件事：业务逻辑和资源管理分离
默认使用= default：如果需要特殊成员函数，尽量让编译器生成

我个人认为，零法则不仅仅是一个技术规则，更是一种设计哲学。它告诉我们：好的代码不是写出来的，而是设计出来的。当你把资源管理交给专门的类，业务代码自然就干净了。

最后送大家一句话：在C++里，最好的代码就是什么都不写的代码。当然，前提是你得知道什么时候该写，什么时候不该写。

我的建议：新项目一律从零法则开始。只有当性能分析证明某个地方是瓶颈，并且手动管理能带来显著提升时，才考虑打破它。不要过早优化。

公众号:蓝海资料掘金营，微信deep3321

📚 课程目录

17. 零法则（Rule of Zero）：RAII与零法则、智能指针与零法则、现代C++的最佳实践

17.1 什么是零法则？

17.2 RAII与零法则

17.3 智能指针与零法则

17.4 零法则的例外情况

17.5 现代C++的最佳实践