C/C++数组的下标可以为负

今天偶然碰到C/C++的数组下标可以为负值，感到十分奇怪。平时写代码，下标都是从零开始，从来没考虑到这个问题。写了一下测试代码，居然通过了。但是值却是乱的。但是如果你写下标的值在数组的范围内，是可以输出一个正确的值的。

int a[5] = {1,2,3,4,5};
 int *ptr1 = (int*)(&a+1);
 
  printf("%x,%x,",ptr1[-1]);
1
2
3
4
这个结果就是为5；
后来上网查了一下，也思考了一下，觉得其实挺正常的。数组的下标其实就是数组的头指针在移动，而在C/C++中，编译器是没有对数组进行越界检查的。例如上面的，你输出a[6]也是没错的，只是值是乱的而已。
这个特性其实在开发中几乎用不到，原因就是C/C++的编译器懒。在Java或者OC中，都是报错的。