简单的冒泡法排序，不知道为啥在vs2017上编译出错 显示 Run-Time Check Failure #2 - Stack around the variable a was corrupted

多谢指教！


#include<stdio.h>

int main()
{
    int i,j,t=0;
    int a[] = { 1,3,6,2,5 };
    for (i = 1;i <= 4;i++) {
        for (j = 1;j <= 5 - i;j++)
            if (a[j] > a[j+1]) {
                t = a[j+1];
                a[j+1] = a[j];
                a[j] = t;
            }
    }
    printf("\n");
    for (i = 0;i < 5;i++) {
        printf("%d", a[i]);
    }
    return 0;
}

是否有越界

for (i = 1; i <= 4; i++)
{
    for (j = 1; j <= 5 - i; j++)
        if (a[j] > a[j+1])
i=1时，j最大=4，a[j+1]的j+1=5，越界了？

Stack around the variable a was corrupted
这种错误肯定是溢出了
当 i==1, j==4 时
if (a[j] > a[j+1]) 中 a[j+1] 溢出了

大佬能否帮忙细讲一下啥是越界...感觉不是很懂。因为我先定义数组再定义i这些变量，编译还是出错。

啥是越界
int a[5];
a[4] = 1; 这就不越界
a[5] = 1; 这就越界了

溢出了

还有就是i j应该从0开始