C++中数组访问的问题

今天讨论一个在实际开发中遇到的问题，先看一段示例代码：

int main()
{
    int index = 2;
    int arr[2] = { 1,2 };
    cout << arr[index] << endl;
    
	return 1;
}

代码功能很简单，定义一个数组，通过下标访问数据。程序运行效果如下：

程序中的问题在于角标越界，针对数组arr，其只有两个元素，但却访问了角标为2的位置，所以输出了未被初始化的内存地址中的数据。这种写法要在实际编程中加以注意。
其实大部分编译器都会给出提示，如示例代码使用VS2019编译，编译器给出如下提示：

编译器给出警告，但因为程序语法正常，故还是能够编译通过，只在运行时显示错误值。
我们将以上示例代码做一些修改，如下：

以上代码与文章开头代码功能相同，输出结果也相同，程序还是访问了未被初始化的内存地址，但这时编译器并不能给出警告，仍然导致显示错误。

下面来看下数组越界的过程，编写示例代码如下：

以上代码定义两个整型数组，并逐一输出数组中每个元素的地址值，结果如下：

从运行结果得出：同一数组内各元素在内存中连续排列；先后定义的两个数组中间有一段空闲内存。经过验证，这段空闲内存的长度并不确定，与两个数组的数据类型有关，同时可能还会受操作系统、编译器等因素的影响。

由两个数组的地址分配可以设想，通过arr1也能访问到arr2中的数据，如下代码及运行结果：

以上代码和文章开头代码类似，访问了越界的数组内容，期中角标不但可以超过数组长度，还可以为负数，编译器给出了警告，但程序能够正常运行。而且我们通过arr1访问到了arr2的内容，也用arr2访问了arr1的内容。

  这种情况在实际项目中经常会遇到，在自定义函数中访问数组内容（包括读写），但数组角标由参数或者全局变量传入，若角标超范围，编译器并不会给出提示。如果越界后刚好落到其他变量的内存上，就会使程序出现莫名其妙的问题。
因此为了避免上述问题，提出两点建议：
1.程序中访问数组时需对下标进行严格判断，防止越界，下标出现负值或超出数组总长度均为异常访问。
2.使用其他类型的数据结构（如vector），可以有效防止越界问题。

以上是有关“C++中数组访问的问题”讨论，观点中可能存在错误，欢迎在文末留言指正。