Day 0：C语言中的数组越界访问

1. 原理与细节讲解

C语言中的数组本质上是连续的内存块，编译器不会为你检查数组下标是否越界。也就是说，访问arr[i]时，如果i超出了数组的合法范围，C语言标准并不保证行为结果，这属于未定义行为（Undefined Behavior）。

2. 典型陷阱/缺陷

陷阱：数组越界不会报错，且有时看起来“能用”，但实际可能破坏内存、覆盖其他变量、导致程序崩溃或产生隐晦bug。

成因：C设计初衷是高性能和贴近硬件，牺牲了安全性——不做运行时边界检查，以换取速度。

3. 规避方法与设计建议

• 总是确保下标合法：任何数组访问前，确保下标不小于0且小于数组长度。
• 封装数组操作：将数组操作封装到函数中，统一做边界检查。
• 使用sizeof宏：计算数组长度时用sizeof(arr)/sizeof(arr[0])，而不是硬编码长度。
• 尽量使用标准库安全函数（如strncpy, snprintf等），避免直接操作原始数组。

4. 代码示例

错误示例

#include <stdio.h>
int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    for (int i = 0; i <= 5; i++) { // 错误：i应该<5
        printf("%d\n", arr[i]);    // 当i=5时，访问了未定义内存
    }
    return 0;
}

正确示例

#include <stdio.h>
int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    int len = sizeof(arr)/sizeof(arr[0]);
    for (int i = 0; i < len; i++) {
        printf("%d\n", arr[i]);
    }
    return 0;
}

5. 底层原理

• 编译器行为：C编译器生成的代码只是简单地计算arr + i，然后取出该位置的数据，不管i是否越界。
• 内存破坏：如果越界写入，可能修改栈上其他变量、返回地址，甚至导致安全漏洞（如缓冲区溢出攻击）。
• 未定义行为：未定义行为意味着任何结果都是可能的，包括"正常"运行、崩溃、输出奇怪内容等。

6. 辅助图示

图示：arr[5]实际上已经越界，访问的是未定义的内存区域。

7. 总结与建议

数组越界是C语言初学者和老手都极易犯的错误，且危害极大。C不会为你兜底，越界访问导致的bug隐蔽且危险。每次数组访问都要明确边界，养成用sizeof自动计算长度、不硬编码的习惯。写重要代码时，可以考虑封装数组操作，使用安全函数。写完代码后，建议用工具（如Valgrind）检测越界问题，提升代码健壮性。

实际开发建议：

“永远不要假设数组访问是安全的，任何时候都要对下标进行有效性检查。”

公众号 | FunIO
微信搜一搜 “funio”，发现更多精彩内容。
个人博客 | blog.boringhex.top