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语言中数组下标的工作方式,如果你的程序使用了另外一种方式,别人就很难读懂你的程序,而经过一段时间以后,连你自己都可能很难读懂这个程序了。