17370845950

const修饰符紧贴谁就约束谁：const int p约束所指内容，int const p约束指针本身；二者等价于int const p和const int const p则两者皆不可变。

const 修饰符紧贴谁，就约束谁

区分 const int* p 和 int* const p 的核心，是看 const 紧挨着的是类型（int）还是指针符号（*）。前者约束“所指内容”，后者约束“指针本身”。读法上建议从右往左：比如 int* const p 读作“p 是一个 const 指针，指向 int”；const int* p 或 int const* p 都读作“p 是一个指针，指向 const int”。

三种常见写法及其等价关系

const int*、int const* 完全等价，都表示“指向 const int 的指针”——可以改指向（p = &y），但不能改所指值（*p = 5 报错）。int* const 表示“const 指针，指向 int”——初始化后不能改指向（p = &y 报错），但能改所指值（*p = 5 合法）。还有第三种：const int* const p，指针和所指内容都不可变。

int x = 10, y = 20;
const int* p1 = &x;   // ok
p1 = &y;              // ok: 可重定向
*p1 = 5;              // error: 不能修改 *p1
int const p2 = &x;   // ok，必须初始化
p2 = &y;              // error: 不能重定向
p2 = 5;              // ok: 可修改 *p2
const int* const p3 = &x; // 两者皆不可变

函数参数中 const 指针的典型用途

传参时用 const T* 是最常见场景，意图明确：不修改调用者传入的数据。编译器会阻止函数体内对 *ptr 的赋值，也允许传入字面量地址或临时对象（如 std::string 的 c_str() 返回值）。而 T* const 在参数中几乎无意义——函数内部本来就不能改变形参指针变量的地址（它只是栈上副本），加 const 纯属冗余。

• void print(const char* s)：安全接收 C 字符串，禁止篡改内容
• void process(const std::vector& v)：更常用引用，但若用指针，const std::vector* v 表明不修改容器对象本身
• void foo(int* const p)：语法合法，但实际没增加任何保护，可直接写成 int* p

容易混淆的声明顺序与 typedef / using

当用 typedef 或 using 定义别名时，const 的位置极易出错。例如：using IntPtr = int*;，那么 const IntPtr p 等价于 int* const p（const 修饰整个别名），而不是 const int* p。要得到后者，必须写成 const int* p 或 using ConstIntPtr = const int*。

using IntPtr = int*;
const IntPtr p1 = &x;    // 等价于 int* const p1 → 指针 const
IntPtr const p2 = &x;    // 同上，const 在右边也一样
const int* p3 = &x;      // 正确：指向 const int

真正难的不是语法本身，而是写声明时下意识忽略 const 相对于 * 的位置，尤其在嵌套类型（如 const std::unique_ptr*）里，建议一律采用“从右往左读 + 画星号树”的方式拆解。