深入解析C++中8114规则：为什么禁止对参数指针进行赋值

1次阅读

共计 1783 个字符，预计需要花费 5 分钟才能阅读完成。

8114 规则是 C ++ 编码规范中的一条重要条款，明确规定 ” 禁止对参数指针进行赋值 ”。这条规则源于工业界长期实践的经验总结，主要针对函数参数列表中传递的指针类型参数。其核心目的是避免因指针重新赋值导致的不可预测行为，提升代码的健壮性和可维护性。

在实际开发中，当函数接收指针参数时，常见的违规操作包括：

直接修改指针本身指向的地址
在函数内部对指针参数进行 new/delete 操作
将指针参数重新指向其他内存区域

当函数内部对传入的指针参数进行重新赋值时，可能导致原始指向的内存无法被正确释放。例如：

void processData(int* ptr) {ptr = new int[100];  // 违反 8114 规则
    // ...
}

这种情况下，调用方无法知晓内存已被重新分配，也就无法正确释放之前分配的内存。

如果在函数内释放了指针参数指向的内存，但没有将指针置空，调用方将持有一个无效的指针：

void badDealloc(int* ptr) {
    delete ptr;  // 危险操作
    // ptr 现在成为悬垂指针
}

函数参数本质上是与调用方的一种契约。修改指针参数破坏了这种契约，使得函数行为变得不可预测，严重影响代码的可维护性。

引用在 C ++ 中天然具有不可重新绑定的特性，是理想的替代方案：

void safeProcess(int& ref) {ref = 42;  // 安全，不会改变引用绑定}

现代 C ++ 推荐使用智能指针管理资源所有权：

void smartProcess(std::shared_ptr<int> ptr) {// 明确所有权语义，自动管理生命周期}

当确实需要修改指针本身时，应当使用指针的指针：

void legitModify(int** pp) {*pp = new int(42);  // 明确表明要修改指针本身
}

// 违反 8114 规则的典型代码
void riskyFunction(int* ptr) {if(condition) {ptr = new int(100);  // 危险！修改了参数指针
    }
    // ...
}

// 方案 1：使用引用
void safeFunction(int& ref) {ref = 100;  // 安全修改目标值}

// 方案 2：使用智能指针
void smarterFunction(std::unique_ptr<int>& ptr) {ptr.reset(new int(100));  // 明确所有权转移
}

// 方案 3：明确使用二级指针
void explicitFunction(int** pp) {*pp = new int(100);  // 明确要修改指针本身
}

引用通常不会带来额外性能开销
智能指针会引入少量运行时成本，但在大多数场景下可忽略
二级指针方案需要额外解引用操作

引用完全避免了指针重定向问题
智能指针自动管理生命周期
二级指针使意图更明确，减少意外

默认情况下优先使用引用而非指针参数
需要表示可选参数时，使用 std::optional 或指针（但不修改指针本身）
需要转移所有权时，明确使用智能指针
确实需要修改指针本身时，使用二级指针并添加详细注释
在代码审查中严格检查对指针参数的赋值操作

请思考以下场景：

void processBuffer(char* buf, size_t size) {if(size < MIN_SIZE) {buf = new char[MIN_SIZE];  // 这违反了 8114 规则
        size = MIN_SIZE;
    }
    // 处理缓冲区...
}

如何改进这个函数，使其既满足功能需求又符合 8114 规则？尝试使用本文提到的各种替代方案实现，并比较它们的优缺点。

在实际项目中，建议建立一个 checklist 来检查指针参数的使用：