const是C++中编译期契约,用于声明不可修改性以启用优化、保障类型安全、支撑const正确性;它约束访问路径而非绝对内存不可变,需区分顶层/底层const、合理使用const成员函数、mutable、const引用传参及constexpr协同。

const 在 C++ 中不是“只读变量”那么简单,它本质是编译期契约:告诉编译器“这个值/对象/接口不可被修改”,从而启用优化、增强类型安全、防止意外赋值,并支撑 const 正确性(const-correctness)这一核心设计原则。
const 修饰变量:最基础但易错的用法
声明时必须初始化;之后不可通过该标识符修改值。注意:它不保证内存绝对不可变(比如 const int* 指向的值仍可能被其他非 const 指针改),只约束当前绑定的访问路径。
-
推荐写法:
const int x = 42;或更符合 C++ 风格的int const x = 42;(两者等价,后者强调“int 是 const 的”) -
避免裸指针陷阱:
const int* p;表示“p 指向的 int 不可改”(底层 const);int* const p = &x;表示“p 本身不可改,但指向的值可改”(顶层 const);const int* const p = &x;二者都不可改 -
数组与 const:
const int arr[5] = {1,2,3,4,5};整个数组内容不可通过 arr 修改;但若用指针间接访问且原内存非 const,则仍可能绕过(不推荐)
const 成员函数:类接口的“只读承诺”
加在成员函数声明末尾(如 int get() const;),表示该函数不会修改 this 所指对象的任何非 mutable 成员。这是实现 const 对象调用、提升接口可读性和安全性的关键。
- 编译器强制检查:const 成员函数内不能调用非 const 成员函数,也不能修改非 mutable 数据成员
-
mutable 是例外:用于标记“逻辑上不改变对象状态”的可变成员(如缓存、计数器),允许在 const 函数中修改:
mutable int cache_hit_count; -
重载依据:const 和非 const 版本可构成重载,编译器按调用对象是否为 const 自动选择:
const T& operator[] (size_t i) const;vsT& operator[] (size_t i);
const 引用与 const 指针参数:高效且安全的函数入参
传递大对象(如 string、vector、自定义类)时,优先使用 const T& 而非 T 或 T&,兼顾效率(避免拷贝)和安全性(防止误改)。
立即学习“C++免费学习笔记(深入)”;
-
通用建议:
void process(const std::string& s);—— 接收任意字符串(字面量、临时对象、const/non-const 变量),且不修改它 -
禁止隐式转换陷阱:非常量引用不能绑定到临时对象,但 const 引用可以:
func(const std::string& s)可接受func("hello");而func(std::string& s)不行 - 返回 const 引用需谨慎:仅当返回的是生命周期长于函数作用域的对象(如类成员、静态变量、容器元素)才安全;避免返回局部变量的 const 引用
constexpr 与 const 的协同:从运行时约束走向编译时计算
C++11 起,const 是 constexpr 的必要不充分条件。constexpr 更进一步,要求表达式在编译期可求值,适用于数组大小、模板参数、static_assert 等场景。
-
基本规则:
constexpr int square(int x) { return x * x; }要求所有实参也必须是常量表达式才能触发编译期计算 -
const 不等于 constexpr:
const int x = rand();合法(运行时初始化),但不能用于需要常量表达式的地方;constexpr int y = 42;既是 const,也是编译期常量 -
类中的 constexpr 构造函数:可用于创建字面量类型(literal type)对象,支持在编译期构造,如
constexpr Point p{1, 2};
基本上就这些。const 不复杂,但容易忽略细节——尤其在指针/引用层次、成员函数设计和参数传递策略上。真正掌握它,不是为了写满 const,而是让 const 成为你代码意图的自然表达。










