C语言数组的下标总是从0开始吗?

是的，对数组a[MAX](MAX是一个编译时可知的值)来说，它的第一个和最后一个元素分别是a[o]和aLMAX-1)。在其它一些语言中，情况可能有所不同，例如在BASIC语言中数组a[MAX]的元素是从a[1]到a[MAX]，在Pascal语言中则两种方式都可行。

注意：a[MAX]是一个有效的地址，但该地址中的值并不是数组a的一个元素。

上述这种差别有时会引起混乱，因为当你说“数组中的第一个元素”时，实际上是指“数组中下标为。的元素”，这里的“第一个”的意思和“最后一个”相反。

尽管你可以假造一个下标从1开始的数组，但在实际编程中不应该这样做。下文将介绍这种技巧，并说明为什么不应该这样做的原因。

因为指针和数组几乎是相同的，因此你可以定义一个指针，使它可以象一个数组一样引用另一个数组中的所有元素，但引用时前者的下标是从1开始的：
    /*don't do this!!*/
    int a0[MAX]，
    int *a1=a0-1; /*&a0[-1)*/
现在，a0[0]和a1[1)是相同的，而a0[MAX-1]和a1[MAX]是相同的。然而，在实际编程中不应该这样做，其原因有以下两点：

第一，这种方法可能行不通。这种行为是ANSI/ISOC标准所没有定义的(并且是应该避免的)，而&a0[-1)完全有可能不是一个有效的地址(见9．3)。对于某些编译程序，你的程序可能根本不会出问题；在有些情况下，对于任何编译程序，你的程序可能都不会出问题；但是，谁能保证你的程序永远不会出问题呢?   

第二，这种方式背离了C语言的常规风格。人们已经习惯了C语言中数组下标的工作方式，如果你的程序使用了另外一种方式，别人就很难读懂你的程序，而经过一段时间以后，连你自己都可能很难读懂这个程序了。