C++数组越界问题

内存地址分配

计算机中会给每个内存单元分配一个地址，计算机通过地址来访问内存中的数据，当计算机需要随机访问数组中的某个元素时，它会首先通过下面的寻址公式，计算出元素存储的内存地址：

a[i]_address = base_address + i * data_type_size

其中data_type_size表示数组中每个元素的大小，在上述公式中，数组中存储的是int类型的数据，所以data_type_size就为4个字节。

数组时间复杂度

数组适合查找操作，但是查找操作时间复杂度并不为O(1)，即便是排好序的数组，用二分查找，时间复杂度为O(logn)。所以，数组支持随机访问，根据下标随机访问的时间复杂度为O(1)。

访问越界问题

int main(){
	int a[3]{0};
	for(int i = 0;i<=3;i++){
	a[i] = 0;
	cout<<"a["<<i<<"]:"<<a[i]<<endl;
	}
}

运行上述程序发现会无限循环输出0，因为数组大小为3，下标最大到2，而上述代码因为书写问题，导致for循环的最大索引访问到了3，数组a[3]访问越界，在C++中，只要不是访问受限的内存，所有的内存空间都可以自由访问，根据上面的数组寻址公式，a[3]会被定位到某块不属于数组的内存地址上，而这个地址正好是存储变量i的内存地址，也就是i的指针指向了&a[3]，那么a[3]=0相当与i=0，所以会导致代码无限循环。