二维数组

T a[M][N]

 

a： 表达式中的a的类型转换为T ( * )[N]，代表数组的首地址；

&a：是一个指向二维数组对象的指针，类型为T ( * )[M][N]。在C标准出现之前，一些早期的实现并不允许&a，因为这些编译器认为此时的a转换为一个右值，而&运算符要求一个左值，因此非法。C标准委员会鉴于对象的概念已经得到了扩展，而且允许&a并没有害处，因此把&运算符作为一个例外写进了数组到指针的转换条款中。这种情况下的a代表数组对象，&a表示对数组对象取地址，因此&a的结果跟a是相同的，但类型不同。

              笔者曾经见过某些观点认为，&a才是数组的首地址，不是a。这个观点初看起来似乎很有道理，一个数组对象的引用，不正是首地址吗？但实际上这种论述是不符合标准的，数组到指针的转换条款规定，当产生一个points to the initial element of the array object的时候，其前提是由array of type到pointer to type的转换，但&a的类型属于pointer to array of type，不是pointer to type，因此真正代表数组首地址的是a本身，不是&a。

&a[0][0]：这是数组首元素的地址。&a[0][0]常常被误解为数组a的首地址，其实a[0][0]只不过由于位置特殊，其地址值才与a相同，&a[0][0]是一个T类型对象的引用，不是一个数组对象的引用，而且其类型不是由array of type转换得来的，因此其意义不是数组首地址。

a[i]（其中 i >= 0 && i < M）：从数组嵌套的观点来看，a是一个一维数组，元素的类型为数组类型，因此a[i]的类型为T[N]，在表达式中转换为T*，是第i个一维数组的首地址。

a + 1：a隐式转换为指针类型T( * )[N]然后加1，请记住指针加法是以指针指向对象的大小为步长的，因此a + 1将跨过N * sizeof( T )个字节。

&a + 1：与a + 1同理，&a类型为T( * )[M][N]，因此&a + 1的步长为M * N * sizeof( T )。

 

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/supermegaboy/archive/2009/11/23/4855010.aspx