C++ 常量正确性 Const Correctness 编码规范

常量正确性是指在 C++ 编码中，合理使用 const 关键字来明确界定哪些数据是只读的，哪些是可以修改的。遵循这一规范不仅能利用编译器在编译期拦截错误，还能作为代码的自文档，提高程序的可维护性和运行效率。

一、 变量与对象声明规范

在编写代码时，对于所有初始化后不应被修改的变量，必须强制使用 const 进行修饰。

1. 声明局部常量时，在类型前或后添加 const 关键字。
   • 示例：const int maxUsers = 100; 或 int const maxUsers = 100;。
2. 检查变量的生命周期，确认其值在后续逻辑中是否保持不变。
3. 优先使用 constexpr（如果编译期常量满足要求）而非 const，以启用更强的编译期优化。
   • 示例：constexpr double pi = 3.14159;。

二、 函数参数传递规范

函数参数是常量正确性应用最广泛的场景。核心原则是：只要函数内部不需要修改参数，就将其声明为常量。

1. 传递内置类型（如 int、double、bool）时，对于小对象通常直接按值传递。
   • 示例：void process(int value);。
2. 传递自定义类型（如 std::string、std::vector、类对象）时，使用 const 引用。
   • 目的：避免拷贝构造带来的性能开销，同时防止函数内部意外修改原对象。
   • 示例：

     // 禁止在 printUserInfo 内部修改 user 对象
     void printUserInfo(const User& user);

3. 避免对按值传递的参数本身加 const（即 void func(const int x)），因为这对调用者无意义且可能影响编译器优化。

三、 成员函数的常量性

成员函数需要根据其是否修改对象的状态来进行区分。这是实现逻辑常量性的关键。

1. 标记所有不修改任何非 mutable 成员变量的成员函数为 const 成员函数。
   • 位置：将 const 关键字放在函数参数列表的圆括号之后。
   • 示例：

     class Rectangle {
     public:
     // 该函数仅读取数据，不修改矩形状态
     int getArea() const {
         return width * height;
     }
     private:
     int width;
     int height;
     };

2. 确保 const 成员函数内部不调用任何非 const 成员函数。
   • 编译器会强制执行此规则，因为非 const 成员函数可能修改对象状态。
3. 重载成员函数时，利用 const 区分只读版本和读写版本。
   • 示例：

     class MyBuffer {
     public:
     // 用于 const 对象的只读访问
     char& operator[](std::size_t index) const;
     // 用于非 const 对象的读写访问
     char& operator[](std::size_t index);
     };

四、 指针与引用的常量性细节

处理指针和引用时，需要区分“指针本身不可变”和“指针指向的数据不可变”。这是初学者最容易混淆的部分。

1. 区分底层 Const 和顶层 Const。

2. 使用迭代器时，区分 iterator 和 const_iterator。
   • 选择 const_iterator 当你只需要遍历容器而不需要修改元素时。
   • 调用 cbegin() 和 cend() (C++11 引入) 来直接获取常量迭代器，避免容器本身非 const 时的隐式转换。

五、 返回值中的 Const

在函数返回值中使用 const 需要谨慎，现代 C++ 建议只在特定情况下使用。

1. 避免返回内置类型的 const 值（如 const int）。
   • 原因：对于内置类型，返回 const int 会导致 (a = b) = c 这样的非法操作，但由于返回值是右值，本身就不能赋值，因此加上 const 是多余的且可能阻碍移动语义（RVO）。
2. 返回引用时，如果不想让调用者通过引用修改内部数据，返回 const 引用。
   • 示例：

     class DataHolder {
     private:
     std::vector<int> data;
     public:
     // 外部可以读取，但不能通过这个引用修改 data[0]
     const int& getFront() const {
         return data.front();
     }
     };

六、 特殊情况：Mutable 关键字

当逻辑上某个成员函数是 const（不改变对象对外可见的逻辑状态），但物理上需要修改某些内部成员（如缓存、互斥锁、统计计数）时，使用 mutable。

1. 声明特定的成员变量为 mutable。
   • 限制：仅用于实现细节，绝不应用于对外暴露的数据成员。
   • 示例：

     class ExpensiveCalculation {
     private:
     mutable bool cacheValid = false;
     mutable double cachedResult;
     public:
     double getResult() const {
         if (!cacheValid) {
             // 即使是 const 函数，也可以修改 cacheValid 和 cachedResult
             cachedResult = performHeavyCalculation();
             cacheValid = true;
         }
         return cachedResult;
     }
     };

七、 常量正确性决策流程

在实际编码中，是否添加 const 往往需要快速判断。以下流程图展示了决策逻辑：

八、 代码审查检查清单

在完成代码编写或进行 Code Review 时，按照以下步骤执行检查：

1. 扫描所有函数参数，检查是否有大对象（非基础类型）未使用 const 引用传递。
2. 检查所有类成员函数，确认其中未修改成员变量的函数是否已标记 const。
3. 查找所有指针声明，确认 const 的位置是否符合预期（是指向数据常量，还是指针本身常量）。
4. 搜索类型转换，确保没有使用 const_cast 去掉原本的 const 属性（除非处理遗留 API）。
5. 验证 const 成员函数的线程安全性，因为 const 通常意味着多线程共享读，确保内部没有数据竞争（特别是对 mutable 成员的修改需加锁）。