为什么C语言（包括大多数高级语言）中的数组下标从0开始

在C语言中，所有定义的变量最终都是加载到内存中进行相关的操作的，包括数组；数组在内存中占据的空间是连续的，而且数组的每个元素都是相同的数据类型。这就决定了我们在访问数组时必须能够找到这一连续内存空间的首地址，这个首地址自然就落到了数组名的肩上。此时，这个首地址就是第一个元素的地址；这样一来，当需要访问其他数据元素时都需要和这个首地址进行关联，数组的下标实际上表示的意义是：数组中元素位置与首地址的偏移量。因此在C语言中数组的第一个元素下标即为0。另一种理解方式可以和自然数做类比：最小的自然数是0而不是1——道理是一样的。
看到了很多人用各种方式来解释这个问题都很牵强，实际上如果对内存理解比较深入的话就不存在这个问题了。