const修饰变量要求定义时必须初始化,否则编译报错;其值不可修改,且const参与类型系统,如const int与int类型不同。

const 修饰变量:值不可变,但初始化时机很关键
声明 const int x = 10; 后,x 就不能被赋值或自增。但注意:它必须在定义时初始化,否则编译报错 error: uninitialized const。这不是运行时限制,是编译期强制约束。
常见误区是以为 const 只是“只读提示”,其实它参与类型系统——const int* 和 是不同类型,不能隐式转换(尤其传参或重载时)。
- 函数参数用
const int&能避免拷贝且禁止修改,比传值更高效 - 类成员函数加
const(如int get() const;)表示不修改对象状态,否则无法在const对象上调用 -
mutable是唯一例外:它允许在const成员函数里修改该成员(常用于缓存、计数器等)
const int* p:指向常量的指针(常量指针)
这个写法读作“p 是一个指向 int 类型常量的指针”。核心是:**指针可以改,所指内容不能改**。
示例:const int a = 5, b = 10; const int* p = &a; p = &b; 合法;但 *p = 20; 编译失败 —— 因为 *p 是 const int,不允许写入。
立即学习“C++免费学习笔记(深入)”;
容易混淆的点:
- 位置无关紧要:
int const* p等价于const int* p - 常用于函数返回或参数,比如
const char* strchr(const char*, int),保证调用者不会误改字符串内容 - 如果底层内存实际可写(比如指向栈变量),强行用
const_cast去掉const并修改,行为未定义(UB)
int* const p:指针常量(常量指针?不,这是指针常量)
读作“p 是一个指向 int 的常量指针”。核心是:**指针本身不可改,但所指内容可改**。
示例:int x = 1, y = 2; int* const p = &x; *p = 5; 合法;但 p = &y; 编译失败 —— 因为 p 是 const 指针,地址绑定后不可再赋值。
使用场景有限但明确:
- 常用于封装资源句柄,比如
FILE* const fp = fopen(...);,防止指针被意外重定向 - 必须初始化:
int* const p;直接报错,因为指针值无法延迟设定 - 和
const int* const p(指针和内容都不可变)对比时,后者才是“真正只读”的完整形态
const 在复杂声明中的解析:从右往左读最可靠
面对 const int* const p 或 int const* const* pp 这类嵌套,别靠记忆口诀,直接按“从右向左”拆解:
int const* const p → p 是 const(最右)→ 指向 const int(往左)→ 即:p 是常量指针,指向常量 int。
另一个例子:const int** p 表示 p 是指向“指向 const int 的指针”的指针,即 **p 不可改,但 *p 和 p 都可改 —— 这种层级容易出错,建议用 typedef 或 using 拆分(如 using IntPtr = const int*; 再写 IntPtr* p;)。
真正容易踩坑的是跨层 const 传递性:比如把 int* 赋给 const int** 会编译失败,因为这会绕过 const 安全(可通过 const int* const* 或显式 const_cast 绕过,但通常意味着设计有问题)。










