在 C++ 中,数组是一种固定大小的连续内存空间,用于存储相同类型的数据。数组的索引是从 0 开始的整数,最大索引为数组的大小减 1。
例如,一个大小为 10 的整数数组的索引范围是 0 到 9。
由于数组的索引是整数类型,而 C++ 中的整数类型没有范围检查机制,因此在使用数组时,如果索引超出了数组的有效范围,就会导致未定义的行为,可能会引发程序崩溃或其他不可预测的错误。
例如,以下代码将导致未定义的行为:
int arr[10];
int i = 10;
arr[i] = 100;
在上面的代码中,`arr[i]` 尝试访问索引为 10 的元素,但是数组的最大索引是 9,因此访问超出了数组的有效范围。这将导致未定义的行为,可能会引发程序崩溃或其他不可预测的错误。 为了避免这种情况,可以使用 C++ 的标准库提供的 `std::vector` 或 `std::array` 容器来代替数组。这些容器具有范围检查机制,可以在索引超出范围时抛出异常,从而避免未定义的行为。例如,以下代码使用 `std::vector` 来代替数组:
#include <vector>
int main()
{
std::vector<int> arr = {1, 2, 3, 4, 5};
int i = 10;
arr[i] = 100;
return 0; }
在上面的代码中,`arr[i]` 尝试访问索引为 10 的元素,但是 `std::vector` 具有范围检查机制,会在索引超出范围时抛出 `std::out_of_range` 异常,从而避免未定义的行为。 因此,数组不能进行范围检查,为了避免索引超出范围导致的未定义行为,可以使用 C++ 的标准库提供的容器来代替数组。