8.6 技术解惑

8.6.1 数组的下标总是从0开始吗

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

在C语言中，a[MAX]是一个有效地址，但该地址中的值并不是数组a中的一个元素。这种差别有时会引起混乱，因为当你说“数组中的第1个元素”时，实际上是指“数组中下标为它的元素”，这里“第1个”的意思和“最后一个”相反。

尽管可以假设一个下标从1开始的数组，但在实际编程中不应该这样操作。因为指针和数组几乎是相同的，因此可以定义一个指针，使它可以同数组一样引用另一个数组中的所有元素，但在引用时前者的下标是从1开始的。

        /*Don't do this! ! */
        int a0[MAX]，
        int *a1=a0-1; /*&a0[-1]*/

现在，a0[0]和a1[1]是相同的，而a0[MAX-1]和a1[MAX]是相同的。然而，在实际编程中不应该这样操作，其原因有以下两点。

（1）这种方法可能行不通。这种行为在ANSI/ISO-C标准中是没有定义的（并且是应该避免的），而&a0[-1]完全有可能不是一个有效地址。对于某些编译程序来说，你的程序可能根本不会出问题。但是，谁能保证你的程序永远不会出问题呢？

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