关于C语言数组指针算术未定义行为的疑问

首先要明确：**未定义行为（Undefined Behavior）**是C标准中最容易被误解的概念之一。K&R里提到的跨数组指针算术/比较、指针越界解引用都属于未定义行为，但这并不意味着代码一定会报错或崩溃——C标准从未要求编译器对这类行为强制报错，只规定其结果不可预测。

为什么代码没报错还能运行？ #

• 编译器检测能力有限：默认编译模式下，编译器不会主动检查所有运行时的未定义行为。比如指针越界、跨数组比较这类问题，很多时候只有在代码实际运行时才会暴露，编译器无法在编译阶段完全预判。即使开启-Wall -Wextra -pedantic这类严格编译选项，也只能捕获部分问题，无法覆盖所有未定义场景。
• 内存布局的巧合：在特定环境下，代码可能刚好处于一个能正常执行的内存布局中。比如两个数组在栈上连续分配，跨数组指针比较会按内存地址大小得出一个看似合理的结果；越界解引用也可能刚好访问到进程地址空间内的有效内存（比如相邻变量、其他数组的空间）。但这完全是环境带来的巧合，不具备可移植性。

为什么K&R要明确这些规则？ #

这些规则的核心是保证代码的可移植性和正确性。违反规则的代码可能在当前编译器、当前平台下运行正常，但一旦更换编译器、升级版本或者切换到其他平台，就可能出现崩溃、输出错误结果，甚至触发安全漏洞（比如越界读写破坏程序关键数据）。未定义行为的本质是：C标准放弃了对这类行为的约束，把所有可能性都交给了实现，你不能依赖任何稳定的结果。

举个简单的示例代码：

int arr1[5] = {1,2,3,4,5};
int arr2[5] = {6,7,8,9,10};
// 跨数组指针比较，未定义行为
if (arr1 + 10 > arr2) {
    printf("arr1 beyond end is greater than arr2\n");
}
// 指针越界解引用，未定义行为
int val = *(arr1 + 6);
printf("val: %d\n", val);

这段代码在某些环境下能正常输出，但换个编译环境，可能输出随机值，甚至直接崩溃。

总结 #

不要因为代码能运行就忽略未定义行为。严格遵守C标准的指针规则，是写出可靠、可移植代码的基础——未定义行为带来的“正常运行”只是暂时的巧合，绝非代码正确的证明。

内容的提问来源于stack exchange，提问作者Azim Qadri