Stack around the variable '' was corrupted

下面这段代码：

int main()
{
    int a[3] = {1, 2, 3};
    a[3] = 4;
    return 0;
}

很明显的数组越界问题，VS2005中当设为Debug模式时，会弹出“Stack around the variable 'a' was corrupted”的对话框，设为Release模式时，一切OK；GCC编译(不管是否添加调试选项-g)，都OK，不同是怎么发生的呢？原来是VC在Debug模式下，会在数组相邻的栈空间内添加额外的调试信息，数组越界写的时候就发生了前面的问题。

来自知乎的解释很清晰：
c语言数组越界后的值在linux下和windows下为何不同？