数组越界会在 c 语言中产生未定义的行为，可能导致段错误或覆盖其他变量的值。预防措施包括边界检查、使用哨兵值和使用容器类。

C 语言数组越界的后果

当访问超出数组范围的元素时，就会发生数组越界。在 C 语言中，数组从 0 开始索引，这意味着数组中的第一个元素是数组[0]。

后果：

• 未定义行为：数组越界会导致未定义的行为，即编译器和运行时系统无法预测程序的执行结果。这可能会导致程序崩溃、产生错误的结果或导致安全漏洞。
• 段错误：在某些情况下，数组越界可能会导致段错误，这是一种致命的程序错误，会导致程序立即终止。
• 垃圾值：如果越界访问的元素恰好位于另一个变量或对象的内存位置，那么可能会覆盖该变量或对象的值，导致不可预测的行为。

示例：

例如，以下代码会导致数组越界：

int arr[5];
arr[5] = 10; // 访问超出数组范围的元素

预防措施：

为了防止数组越界，可以采取以下预防措施：

• 使用边界检查：在访问数组元素之前，检查索引是否在数组范围内。
• 使用 Sentinel 值：在数组末尾添加一个哨兵值，以指示数组的结束。
• 使用容器类：使用标准 C 库中的容器类（例如，std::vector），它们可以自动管理数组大小和边界检查。

通过遵循这些预防措施，可以帮助避免数组越界问题，提高程序的鲁棒性和安全性。