C/C++ 避免数组越界的方法

下面是“C/C++ 避免数组越界的方法”的攻略：

1. 确保数组下标不越界

首先，我们需要明确一点，数组越界的原因就是数组下标越界。因此，避免数组越界的最简单方法就是保证数组下标不越界。

1.1 对数组下标进行检查

我们可以在访问数组元素之前，对数组下标进行检查，确保其是否越界。具体来说，我们可以使用 if 语句判断数组下标是否小于 0 或者大于等于数组长度：

int arr[5] = {1, 2, 3, 4, 5};
int i = 6;
if(i < 0 || i >= 5){
    printf("数组下标越界！");
}
else{
    printf("数组下标未越界，arr[%d] = %d", i, arr[i]);
}

1.2 对数组访问进行检查

除了对数组下标进行检查，我们也可以在访问数组元素之前，检查数组是否能够被访问（即指针是否为空）。具体来说，我们可以使用 if 语句判断数组指针是否为空：

int* p = NULL;
if(p == NULL){
    printf("数组未被初始化！");
}
else{
    printf("数组已被初始化，p[0] = %d", p[0]);
}

2. 采用 STL 容器

除了手动进行数组下标和数组访问的检查外，我们还可以采用 STL 容器来避免数组越界。STL 容器有着更加严格的边界检查，可以有效地避免数组越界。

2.1 采用 vector 容器

vector 是一个可变大小的顺序容器，可以像数组一样使用下标进行访问。不过，vector 会自动管理内存，避免了手动进行内存管理的麻烦，同时其边界检查也更加严格。想要使用 vector 容器，需要通过头文件<vector>进行引用。

#include <iostream>
#include <vector>
using namespace std;

int main(){
    vector<int> v = {1, 2, 3, 4, 5};
    int i = 6;
    if(i < 0 || i >= v.size()){
        cout << "vector 下标越界！" << endl;
    }
    else{
        cout << "vector 下标未越界，v[" << i << "] = " << v[i] << endl;
    }
    return 0;
}

2.2 采用 array 容器

array 是一个固定大小的顺序容器，可以在编译时期指定容器大小。array 的内置边界检查可以避免数组越界，但需要注意的是，array 对象的大小是固定的，无法进行扩展或者缩小。想要使用 array 容器，需要通过头文件<array>进行引用。

#include <iostream>
#include <array>
using namespace std;

int main(){
    array<int, 5> arr = {1, 2, 3, 4, 5};
    int i = 6;
    if(i < 0 || i >= arr.size()){
        cout << "array 下标越界！" << endl;
    }
    else{
        cout << "array 下标未越界，arr[" << i << "] = " << arr[i] << endl;
    }
    return 0;
}

总结

避免数组越界，需要我们在代码编写过程中进行认真思考和严谨处理。最常见的方法是手动对数组下标和数组访问进行检查，确保其不越界。此外，我们还可以采用 STL 容器，利用其内置的边界检查机制，更加彻底地避免数组越界的问题。