数组越界如何排查？

数组越界是指程序访问数组时，使用的索引超出了数组的有效范围。这通常会导致程序崩溃、产生未定义行为或输出错误结果。以下是一些排查数组越界问题的方法：

1. 代码审查

• 检查数组定义和初始化
  • 确认数组的大小是否足够。例如，在C++中定义一个数组 int arr[5];，那么有效索引范围是 0 到 4。
  • 检查数组初始化时是否正确赋值。

    #include <iostream>
    int main() {
           
    int arr[5];
    // 错误示例：尝试访问越界索引
    arr[5] = 10; 
    return 0;
    }
    

• 检查循环条件
  • 循环是导致数组越界的常见原因。确保循环的终止条件不会使索引超出数组范围。

    arr = [1, 2, 3, 4, 5]
    # 错误示例：循环条件导致越界
    for i in range(len(arr) + 1):
    print(arr[i])
    

• 检查函数调用

  • 如果数组作为参数传递给函数，要确保函数内部对数组的操作不会越界。

    public class ArrayOutOfBoundsExample {
           
    public static void printArray(int[] arr) {
           
      // 错误示例：越界访问
      for (int i = 0; i <= arr.length; i++) {
           
          System.out.println(arr[i]);
      }
    }
    
    public static void main(String[] args) {
           
      int[] arr = {
           1, 2, 3, 4, 5};
      printArray(arr);
    }
    }
    

2. 调试工具

• 使用调试器
  • 设置断点：在可能出现越界的代码行前设置断点，逐步执行代码，观察变量的值和程序的执行流程。
  • 查看变量值：在调试过程中，查看数组的大小和索引变量的值，确保索引在有效范围内。
  • 以Python为例，使用 pdb 调试器：

import pdb

arr = [1, 2, 3, 4, 5]
pdb.set_trace()
for i in range(len(arr) + 1):
    print(arr[i])

在运行上述代码时，程序会在 pdb.set_trace() 处暂停，你可以使用 n（下一步）、s（进入函数）、p（打印变量值）等命令进行调试。

• 日志输出
  • 在代码中添加日志输出，记录数组的大小和索引变量的值，帮助你了解程序的执行情况。

    #include <iostream>
    int main() {
           
    int arr[5] = {
           1, 2, 3, 4, 5};
    for (int i = 0; i <= 5; i++) {
           
      std::cout << "Index: " << i << std::endl;
      std::cout << "Array size: " << 5 << std::endl;
      std::cout << "Value: " << arr[i] << std::endl;
    }
    return 0;
    }
    

3. 边界检查

• 在代码中添加边界检查逻辑，确保索引在有效范围内。

  arr = [1, 2, 3, 4, 5]
  index = 5
  if 0 <= index < len(arr):
    print(arr[index])
  else:
    print("Index out of bounds")
  

4. 静态代码分析工具

• 使用静态代码分析工具，如 Pylint（Python）、Cppcheck（C/C++）等，这些工具可以帮助你发现潜在的数组越界问题。

  # 安装Pylint
  pip install pylint
  # 检查Python文件
  pylint your_script.py
  

5. 单元测试

• 编写单元测试用例，覆盖各种可能的输入情况，包括边界情况，确保数组操作不会越界。

import unittest

def get_array_element(arr, index):
    if 0 <= index < len(arr):
        return arr[index]
    return None

class TestArrayAccess(unittest.TestCase):
    def test_valid_index(self):
        arr = [1, 2, 3, 4, 5]
        result = get_array_element(arr, 2)
        self.assertEqual(result, 3)

    def test_invalid_index(self):
        arr = [1, 2, 3, 4, 5]
        result = get_array_element(arr, 5)
        self.assertEqual(result, None)

if __name__ == '__main__':
    unittest.main()