数组下标为什么从0开始

从数组存储的内存模型上来看，“下标”最确切的定义应该是“偏移（offset）”。
如果用array来表示数组的首地址，array[0]就是偏移为0的位置（即首地址），array[k]就表示偏移k个type_size的位置，计算array[k]的内存地址：

array[k]_address = base_address + k * type_size

但如果下标从1开始，那么计算array[k]的内存地址会变成：

array[k]_address = base_address + (k-1) * type_size

对比两个公式，如果下标从1开始，那么CPU就会多一次减法指令，会消耗性能，浪费资源。

另一方面也是历史原因，因为c语言设计者使用0作为数组的下标，以后的高级语言也沿用了这一设计。