C语言中数组的下标是从0开始计数的，因此数组元素的下标下限是0。这个规则是C语言标准明确规定的，和数组的定义方式、存储位置都没有关系，只要是符合C语言标准的数组，第一个元素的下标一定是0。
C语言数组下标的基本规则
C语言中定义数组时，需要指定数组的元素个数，这个个数决定了数组能容纳的元素数量，而数组的下标范围是从0到元素个数减1。例如定义一个包含5个int类型元素的数组，其有效下标就是0、1、2、3、4，其中0就是下标下限，4是下标上限。
我们可以用一个简单的代码示例来验证这个规则：
#include <stdio.h>
int main() {
// 定义一个包含3个元素的int数组
int arr[3] = {10, 20, 30};
// 访问下标为0的元素，也就是第一个元素
printf("数组第一个元素的值：%dn", arr[0]);
// 访问下标为1的元素
printf("数组第二个元素的值：%dn", arr[1]);
// 访问下标为2的元素，也就是最后一个元素
printf("数组第三个元素的值：%dn", arr[2]);
return 0;
}
上述代码的输出结果会是：
数组第一个元素的值：10 数组第二个元素的值：20 数组第三个元素的值：30
和其他语言的下标规则对比
有些编程语言支持自定义数组的下标下限，比如Fortran可以将数组的下标下限设置为1或者其他数值，但C语言不支持这种自定义操作。C语言的设计理念是贴近底层硬件，数组名本质是指向数组首元素的指针，下标运算arr[i]实际上会被编译器转换为*(arr + i)的指针运算形式，当i为0时，就是指向首元素的指针解引用，因此0作为下标下限是和指针运算逻辑完全一致的。
下标越界的常见误区
很多初学者会误以为数组的下标下限是1，这是因为日常生活中计数通常从1开始，但C语言遵循0基计数的规则。如果尝试访问下标为-1的数组元素，就属于下标越界行为，C语言不会对此做语法检查，程序运行时可能会出现不可预期的结果，比如读取到错误的数据，甚至直接导致程序崩溃。
我们可以通过下面的代码看到越界访问的风险：
#include <stdio.h>
int main() {
int arr[3] = {10, 20, 30};
// 尝试访问下标为-1的元素，属于越界行为
printf("下标为-1的元素值：%dn", arr[-1]);
return 0;
}
这段代码的输出是不确定的，因为arr[-1]访问的是数组首元素地址往前偏移一个int大小的内存位置，这个位置的内容是不受程序控制的，可能是一个随机值，也可能触发内存访问错误。
总结
综合来看，C语言数组元素的下标下限固定为0，这是C语言标准的规定，也和数组的指针本质相契合。在使用数组时，我们需要明确有效下标的范围是0到元素个数减1，避免访问负数下标或者大于等于元素个数的下标，防止出现下标越界的错误。