数组（Arrary）是一种线性表数据结构。它用一组连续的内存空间，来存储一组具有相同类型的数据。
从数组存储的内存模型上来看，“下标”最确切的定义应该是“偏移（offset）”。如果用a来表示数组的首地址，a[0]就是偏移为0的位置，也就是首地址，a[k]就表示偏移k个type_size的位置，所以计算a[k]的内存地址只需要用公式：
a[k]_address = base_address + k * type_size;
但，如果数组从1开始计数，那公式的k就要做相应的改变了：
a[k]_address = base_address + (k - 1 ) * type_size;
对比两个公式，我们发现，如果从1开始编号，每次随机访问数组元素都多了一次减法运算，对于cpu来说，就是多了一次减法指令。
数组作为非常基础的数据结构，通过下标访问数组元素又是其非常基础的编程操作，效率的优化就要尽可能的做到极致。从0开始，可以减少一次减法操作。