先说说为什么C语言的数组是从0開始：众所周知，C语言的数组是直接操作内存，那我们肯定得从内存的寻址開始说起，以“以行为主序”的分配为例：设数组的基址为LOC(a c1 c2)，每一个数组元素占领l 个地址单元，那么aij 的物理地址可用一线性寻址函数计算：
LOC(aij)=LOC(a c1 c2)+( (i- c1) *( d2 - c2 + 1)+ (j- c2) )*l
推广到一般的三维数组：A[c1..d1] [c2..d2][c3..d3]，则aijk 的物理地址为：
LOC(i,j,k)=LOC(a c1 c2 c3)+( (i- c1) *( d2 - c2 + 1)* (d3- c3 + 1)+(j- c2) *( d3- c3 + 1)+(k- c3))*l
显然，此处的c1 c2 c3 为0 会大大简化计算，越是多维数组效果越明显。这对于计算机寻址计算来说显然优点是大大的啊，这就是为什么最早C语言的数组起始都是0，至于什么其它的原因认为美啊什么的都是后来人们YY的。
其实。在如今非常多时候计算不再是瓶颈的时候。数组的下标也有从1開始的，比方matlab。难道matlab就不美了么？
因为C语言发明较早。影响有非常大，所以非常多后来的编程语言都借鉴了C语言的特征。保持了数组下标从0開始。比方C++和Java等，当然一些语言的愿意有所不同。比方Python。
为什么Python语言的下标也是从0開始，你能够看一下Python之父Guido van Rossum的说明：
https://plus.google.com/115212051037621986145/posts/YTUxbXYZyfi
译文可见：