C++ 核心准则边译边学 哲学篇.11: Encapsulate messy constructs, rather than spreading... 封装复杂结构而非代码中传播

源网址：CppCoreGuidelines

原因

混乱代码更难开发且容易隐藏bug。一个好的接口应该能够简单安全的使用。混乱低级的代码会导致更多这样的代码。

例子

int sz = 100;
int* p = (int*) malloc(sizeof(int) * sz);
int count = 0;
// ...
for (;;) {
    // ... read an int into x, exit loop if end of file is reached ...
    // ... check that x is valid ...
    if (count == sz)
        p = (int*) realloc(p, sizeof(int) * sz * 2);
    p[count++] = x;
    // ...
}

这里低级累赘且容易出错。例如，我们“忘记”测试内存耗尽。我们可以用vector替代：

vector<int> v;
v.reserve(100);
// ...
for (int x; cin >> x; ) {
    // ... check that x is valid ...
    v.push_back(x);
}

注意

标准库和GSL都是这个思想的实例。例如，替换掉混乱的数组、联合体、转换、棘手的生命周期问题，gsl::owner等。关键抽象的实现是必要的，例如vector、span、lock_guard和future，我们使用那些比我们有更多时间和经验的专家设计实现的库。同样，我们可以而且应该设计和实现更专业的库，而不是让用户（通常是我们自己）面临反复实现低级代码的挑战。这是这些准则下的的超集原则子集的一种。

补充

• 寻找“混乱的代码”，例如复杂的指针操作和抽象实现之外的强制转换。