什么是数组元素的下标
在C语言中，数组是一种存储固定数量同类型数据的数据结构。而数组元素的下标可以理解为数组中每个元素的编号，它们从0开始一次递增。比如，对于一个长度为5的整型数组，它的下标分别为0，1，2，3，4。通过数组元素的下标，我们可以很方便地访问数组中的元素。
下标的作用在于确定数组中的具体元素，从而实现对数组进行读取、修改或删除操作。
数组下标的下限
C语言中，数组元素的下标下限为0，表示数组中第一个元素的位置。
虽然数组元素的下标下限为0，但实际上我们可以通过一些技巧实现数组下标从负数开始计数的效果。比如，我们可以利用指针访问数组元素，或者通过数组的首地址和偏移量的方式实现。
为什么数组下标下限为0
1. C语言底层的历史原因
在许多早期的编程语言中，数组索引的下限都是1。不过，在C语言问世后，它采用了从0开始计数的表示方法，这可以追溯到C语言底层的机器语言历史。
/* C语言中从0开始计数的数组示例 */
int a[4]; /* 声明一个长度为4的整型数组 */
a[0] = 1; /* 给数组第一个元素赋值为1 */
a[1] = 2; /* 给数组第二个元素赋值为2 */
a[2] = 3; /* 给数组第三个元素赋值为3 */
a[3] = 4; /* 给数组第四个元素赋值为4 */
2. 计算机内存地址的特殊性
数组下标为0的元素是数组中第一个元素，因此它存储在数组的最开始位置。对于一个长度为n的数组，数组元素所占用的内存地址空间是连续的，每个元素所占用的地址空间相同。
在C语言中，内存的分配和寻址都是以字节为单位进行的。而由于计算机内存地址的起始地址一般为0，C语言采用从0开始计数的数组下标，使得数组下标更加符合寻址的特殊性。
数组越界问题
数组下标从0开始计数，可以方便地实现数组操作。但是，如果程序访问一个不存在的数组元素，就会导致数组越界的问题。比如，以下程序中就会访问不存在的a[5]元素，导致出现不可预测的结果：
/* C语言中访问不存在的数组元素示例 */
int a[5] = {1, 2, 3, 4, 5};
int b = a[5]; /* 访问不存在的a[5]元素 */
数组越界问题会导致程序崩溃或产生其他不可预测的结果，因此必须避免。在实际编程过程中，我们应该始终注意数组越界问题，避免产生不必要的错误。
总结
C语言中数组元素的下标下限为0，表示数组中第一个元素的编号。这一设计可以追溯到C语言底层的机器语言历史和计算机内存地址的特殊性。虽然数组下标从0开始计数，在实现数组操作时方便了很多，但程序必须避免出现数组越界问题，否则会导致不可预测的结果。