什么是数组？
在介绍C语言中数组的下标从什么开始之前，我们需要先了解什么是数组。简单来说，数组就是一组相同类型的数据元素的集合。相同类型的限制是非常重要的，因为在C语言中，所有元素的大小都必须相同，否则会导致数据错乱甚至程序崩溃。
数组中的每个元素通过一个下标来访问，下标可以是任意整数，但是它们都必须从某个特定数字开始。在C语言中，数组的下标是从0开始的。
C语言中数组的下标从什么开始？
在C语言中，数组的下标是从0开始的。这是一个非常重要的特性，因为它涉及到很多计算机底层的工作原理。例如，当我们声明一个数组a：
int a[5];
它将创建一个名为a的数组，大小为5个整数，可以使用下标0~4来访问每个元素。 a[0]代表第一个元素，a[1]代表第二个元素，以此类推。
为什么数组的下标要从0开始呢？这个问题涉及到C语言中的指针和内存分配机制。下标0就代表了这个数组在内存中的起始位置，每个元素的位置都是相对于数组起始位置的偏移量。这种偏移量的计算非常方便，因为它只需要用下标乘以元素大小。例如，a[3]的偏移量就是3 x sizeof(int)。
越界访问的危害
在C语言中，数组下标从0开始，也意味着数组的上界是n-1，n为数组大小。如果我们访问一个下标超出了数组上下界的元素，就会导致越界访问。这是一个非常严重的错误，因为它会破坏程序原有的内存结构，导致数据的不可预期行为甚至程序崩溃。
需要注意的是，C语言并不会对越界访问进行错误检查，这是因为C语言追求高效而简洁的设计哲学。因此，需要程序员自己对数组下标进行有效性检查，并保证不会访问越界元素。如果数组下标的值不确定，可以考虑使用条件语句来进行判断。
指向数组的指针
在C语言中，可以通过指针来访问数组中的元素。指针就是一个保存内存地址的变量，它可以指向任何内存位置。下面的代码示例演示了指针访问数组：
int a[5] = {1, 2, 3, 4, 5};
int* p;
p = a;
for(int i = 0; i < 5; i++)
{
printf("%d ", *(p + i));
}
这段代码首先创建了一个大小为5的整数数组a，然后定义了一个指向整数类型的指针p。我们将数组a的地址赋值给了指针p，然后使用指针来访问数组元素，即*(p+i)。在循环中，指针p每次递增i，以访问元素a[i]~a[i+4]。这是一种非常常用的数组访问方式，特别是在涉及到数组传递的函数中，使用指针访问数组非常方便。
多维数组的下标
多维数组是一种二维或更高维度的数组，它们可以通过多个下标来访问元素，例如：
int a[2][3] = {{1, 2, 3}, {4, 5, 6}};
这里创建了一个2行3列的整数二维数组a，可以使用a[i][j]的形式来访问每个元素。
C语言中，在多维数组中，下标的计算方式和一维数组非常类似。例如，a[1][2]的偏移量可以通过(1 x 3 + 2) x sizeof(int)来计算。因此，多维数组的下标仍然是从0开始的，但是需要根据维度逐层计算偏移量。
总结
在C语言中，数组的下标是从0开始的，这是一种重要的计算机底层设计。由于C语言不会对数组下标进行越界检查，因此需要程序员自己保证下标的有效性，避免越界访问。另外，指针访问数组是一种常用且方便的数组访问方式，特别是在涉及到数组传递的函数中；多维数组的下标计算方式也和一维数组非常类似，可以根据维度逐层计算偏移量。