数组越界不会报错的问题

数组的大小与最大下标关系为：数组大小—1=最大下标。及如果定义int a[10],那么a下标的值最大只能是9。
那在VC++6.0中为什么可以给不存在的a[10]进行赋值？
如果编译器每次都对下标的范围进行检测，那么程序运行速度会变慢。所以本着信任程序员的原则，编译器不会对下标是否越界进行检查，以此换来更快的运行速度。但随着编译器的不断改进，部分编译器（如visual stdio）变得更加智能，会提示下标溢出的错误，并终断程序运行。
还有一个问题：既然a[10]不存在，那么是如何进行赋值的呢？
数组开辟的是一串的连续空间，及每个数值是挨在一块的，即使下标越界，它也会在此数组内存的后面开辟一个空间用于存储a[10]。
这样随便开辟空间，不会有问题吗？
大部分情况下不会有问题，但是如果之前界外的内存已经存放了东西，那么我们越界过去就会覆盖那块内存，则有可能会导致错误的产生或是程序最终的运行结果出错。
所以为了避免程序报错与进行符合规范的程序编写，一定不可越界。