近日，一段关于C语言指针递减的讨论在开发者社区引发热议。核心问题在于：当执行 p-- 操作后，指针是否还能合法指向数组 b 的某个元素？这一看似简单的问题，实则涉及C语言标准中关于指针运算的严格规定，稍有不慎就会触发未定义行为（Undefined Behavior）。本文将为读者抽丝剥茧，解读这一经典指针陷阱。
问题重现：一段看似正确的代码
假设有如下片段：
int a[5] = {0,1,2,3,4};
int *p = &a[3]; // p 指向 a[3]
int *q = p--; // 后置递减：p 先减1，然后返回原值 p_old
根据C语言运算符优先级，p-- 的语义是：先保存 p 的旧值，再将 p 自减1（指向下一个元素的前一个位置），最后表达式结果为旧值。因此 q 被赋值为 &a[3]，p 最终指向 &a[2]。一切似乎正常。
但修改代码为：
int a[5] = {0,1,2,3,4};
int b[5] = {5,6,7,8,9};
int *p = &a[0]; // p 指向 a[0]
int *q = p--; // p 递减后指向什么？
此时 p 原本指向 a[0]（数组首元素）。执行 p-- 后，逻辑上 p 应当指向 a[-1]，即数组第一个元素之前的地址。然而C标准规定：指针递减只能作用于指向数组元素（或指向数组最后一个元素之后的下一个位置）的指针。如果指针指向数组第一个元素，对其执行递减运算，结果将指向数组边界之外，属于未定义行为。编译器可以自由处理（可能产生随机地址、段错误，或恰好指向 b 数组的最后一个元素——但这只是巧合）。
标准解读：指针运算的“雷区”
C11标准（§6.5.6 加法运算符）明确限定：对指针加上或减去一个整数时，结果指针必须仍然指向同一个数组对象（或其尾后一个位置）。更严格地说，当指针指向数组第一个元素时，不允许做减法运算使其越界。之所以这样设计，是因为C语言并不要求数组在内存中连续布局（实际上它们是连续的），但标准需要为所有合法实现提供保证——允许编译器在数组边界设置保护页、进行优化，而无需为越界行为负责。
回到问题：p-- 若在 p 指向 a[0] 时执行，标准认为指针指针递减的结果是未定义的。即便某些特定编译器在特定平台上让 p “恰好”指向了相邻数组 b 的某个元素（比如 b[4]），这也完全是巧合。同一段代码换一个编译器或优化选项，行为可能截然不同。实践中，许多安全漏洞正是源于这种未定义行为的利用。
实践建议：如何安全操作？
- 避免指向数组第一个元素时递减：若需要遍历数组到开头并回退，可考虑使用
int *p = &a[1];然后先递减再访问，或使用正向索引。 - 使用索引代替指针运算：对于数组遍历，
int i配合a[i]永远安全可读。 - 启用编译器警告：大多数编译器（如 GCC 的
-Warray-bounds）能捕捉部分越界情况，但无法覆盖所有未定义行为。 - 静态分析工具：如 Coverity、Clang Static Analyzer 可发现这类指针运算风险。
结语
p-- 是否指向 b？答案取决于具体程序上下文。如果 p 指向合法数组内的元素（非首元素），递减是安全的；如果 p 指向首元素，则行为未定义，“指向 b”仅是巧合，不可依赖。C语言赋予程序员极大的内存控制权，但也要求对标准严谨遵循。理解指针运算的边界，是每个C/C++开发者从新手迈向专家的必修课。在编写底层代码时，牢记“未定义行为”是程序健壮性的头号公敌。