摘要const int *p与int const *p含义相同表示「通过指针不能修改所指对象」int * const p表示「指针本身不可再指向别处」。本文用经典与拓展示例说明差异并给出工程实践建议。关键词C 语言、const、指针、只读视图、常量指针一、核心结论速查写法一句话含义const int *grape指向只读int的指针不能通过grape修改那个int但grape可以指向别的地址。int const *grape与上一行完全相同仅const与类型名的书写顺序不同。int * const grape_jelly常量指针指向可改intgrape_jelly不能再指向别处但可以通过它修改指向的int。记忆口诀看*与const的相对位置const在*左边 → 数据只读const在*右边 → 指针只读二、const int *与int const *等价2.1 语义指针的类型是「指向const int」即通过该指针不能修改所指内存中的int。这不代表「内存里一定是常量」——对象本身可能是普通变量只是当前这个指针通道不允许写。2.2 经典例子只读函数参数标准库中大量接口用此约定表达「只读缓冲区」size_tstrlen(constchar*s);/* 实现中承诺不通过 s 修改字符串 */voidprint_values(constint*p,size_tn){size_ti0;for(i0;in;i){printf(%d ,p[i]);/* 可以读 *//* p[i] 0; *//* 编译错误不能通过 p 写 */}}2.3 经典例子指针可改指向不可改目标voidexample_read_only_view(void){inta1;intb2;constint*grapea;/* *grape 10; *//* 错误不能通过 grape 修改所指 int */grapeb;/* 正确grape 本身不是 const 指针可以改指向 */}2.4 拓展const int *指向非 const 变量voidexample_alias_read_only(void){intx5;constint*px;/* 合法用「只读视图」观察 x *//* *p 1; *//* 错误不能通过 p 写 */x1;/* 合法仍可直接改 x不经过 p */}2.5 拓展两种写法等价constint*p1;intconst*p2;/* 与 p1 类型相同 */团队可统一一种风格例如始终写const int *避免无谓争论。三、int * const常量指针3.1 语义指针变量本身是常量定义后不能再让该指针指向别的地址必须在定义时给出合法初值除非在特殊上下文如函数参数中另有规则。仍可通过该指针修改所指的int。3.2 经典例子固定指向某缓冲区voidexample_const_pointer(void){intbuffer[4]{1,2,3,4};int*constgrape_jellybuffer;/* 始终指向 buffer 首元素 */grape_jelly[0]99;/* 正确修改的是 int 对象 */*grape_jelly100;/* 同上 *//* grape_jelly; *//* 错误不能移动指针 *//* grape_jelly buffer[1]; *//* 错误不能改指针的值 */}3.3 经典例子函数内锁定指针形参实现细节voidbump_first(int*constp){if(pNULL){return;}(*p);/* 可以修改指向的 int *//* p; *//* 错误不能修改 p 本身 */}3.4 拓展与数组名的类比在多数表达式中数组名会退化为指向首元素的指针但数组名不是可赋值的左值voidexample_array_name(void){intarr[3]{0,0,0};/* arr NULL; *//* 错误不能对数组名整体赋值 */}思路上与「指针不可改指向」有相似之处但数组名与int * const在标准中的规则并不完全相同类比有助于直觉理解。四、三种组合对照表声明能否改指针指向的地址能否通过指针改所指intconst int *p能不能int * const p不能能const int * const p不能不能拓展const int * constvoidexample_both_const(void){constintx42;constint*constgrapex;/* grape x; *//* 错误指针常量 *//* *grape 0; *//* 错误指向 const int */}五、如何读复杂声明螺旋法则 / 先右后左从标识符出发向右读遇到)或边界再向左读交替进行。简化规则const默认修饰其左侧紧邻的类型若左侧没有可修饰成分则修饰右侧。掌握后可以继续分析const int **、int * const *等多级指针原则是逐层、逐个const与*分析。