## const 用法

## 判别规则（核心，唯一要记的）

- 看到 const，先找它**左边最近的类型词 / `*`**——const 绑定它；若 const 在最左边（左边没东西），则绑定右边
- **绑定谁，谁就不能被修改**

一句话：**"const 挨着谁，谁就是只读的。"**

## 抽象描述（一句话本质）

const 禁止修改它绑定的对象。它既是给程序员的规范（编译期检查，防止误改），也会影响生成的代码（嵌入式里 const 数据进只读段 rodata/Flash，不占 RAM）。

## 正反例（建立直觉）

- **正例1**：`const int x = 5;` → const 在最左边 → 绑定右边 int → x 不能改
- **正例2**：`const int *p;` → const 最左边 → 绑定 int → "指向常量的指针"：`*p` 不能改，但 p 可以指向别处
- **正例3**：`int *const p;` → const 左边最近是 `*` → 绑定指针 → "常量指针"：p 不能再指向别处，但 `*p` 可以改
- **反例1**：`int const *p;` → const 左边最近是 int 不是 `*` → 绑定 int，与 `const int *p` 完全等价（很多人误以为和 `int *const` 有关）
- **反例2**：`int *p;` → 无 const，指针和值都能改

## 易混对比

| 写法                 | 读法           | 不能改谁    | 能改谁      |
| -------------------- | -------------- | ----------- | ----------- |
| `const int *p`       | 指向常量的指针 | `*p`（值）  | `p`（指针） |
| `int *const p`       | 常量指针       | `p`（指针） | `*p`（值）  |
| `const int *const p` | 两者都 const   | 都不能改    | 都不能改    |

记忆锚点：**const 离谁近，谁就不能动。** `const int *p` 里 const 挨着 int → 值是死的；`int *const p` 里 const 挨着 `*` → 指针是死的。

## 变体验证（3 题，全过=学会）

1. `int const *p = &a;` → `p = &b;` **合法**（const 绑定 int，p 能改指向）；`*p = 10;` **不合法**（值不能改）
2. `int *const q = &c;` → `q++;` **不合法**（指针不能改）；`*q = 20;` **合法**（值能改）
3. 陷阱题：`void show(const int *r) { r = &b; ... }` → `r = &b;` **合法**（很多人误以为 const 让指针也不能改，实际绑定的是 int）；`*r = 99;` **不合法**

## 口述要点（面试怎么讲）

- **结论先行**：判断"哪样东西不许改"，就看 const 挨着谁——`const int *p` 和 `int const *p` 等价（都绑定 int），`int *const p` 绑定指针
- **字符串场景**：`const char *str = "hello";`——字面量本来就存在只读区，直接改是未定义行为（通常运行时崩溃/段错误）。加 const 让**编译器在编译期就拦住你**，而不是等到运行时炸；去掉 const 代码能编过，但一改就崩
- **加分点（嵌入式）**：const 不仅管代码，还影响内存布局——const 变量进只读段（rodata/Flash），不占 RAM。同一数据放 Flash 就省一片内存，面试官爱听
- **易错点**：`int const *p` 不等于 `int *const p`；字符串的 const 主要价值是编译期拦截对只读区的非法修改

## 关系网络

| 相邻概念 | 和 const 的关系                                                         | 孤立理解会犯的错                                     |
| -------- | ----------------------------------------------------------------------- | ---------------------------------------------------- |
| volatile | 防不同敌人：const 防程序员改，volatile 防编译器缓存，可共存于只读寄存器 | 以为 const=volatile，或以为二者互斥                  |
| #define  | #define 文本替换、无类型检查；const 有类型、进只读段                    | 以为宏能替代 const——宏改不了内存布局，也查不出类型错 |
| static   | `static const` 组合 = 文件内只读常量，嵌入式常用                        | 以为 const 自带 static 的文件隔离效果                |
| 指针     | 三种写法 = const 绑定 int / 绑定 * / 两者都绑                           | 一看到 `int const *p` 就以为 p 不能动                |

## 学习日期

2026-08-03

---

_每主题一页，复习时只翻本目录。_