对于二维数组名的理解

今天因为一些原因又碰到数组了，结果被二维数组名表示什么的问题搞得头晕脑胀，在网上查阅资料后把自己的理解记录一下

假设有一个二维数组a[2][3]，那么我们可以神奇发现

a=&a=a[0]=&a[0]=&a[0][0]

怎么回事呢？以下是我的理解：

a是二维数组名，表示二维数组里第一个一维数组（当把二维数组看成元素是一维数组的数组时，第一个一维数组就是第一个元素）的地址&a[0]，是一个指向某类型一维数组的常量指针

&a是二维数组的地址，是一个指向某类型二维数组的常量指针

a[0]是一个一维数组名（大概？），表示一维数组的第一个元素的地址&a[0][0]，是一个指向某类型对象的指针

由此我们可以得出a=&a[0]，a[0]=&a[0][0]，那么最上面的等式是怎么得出的呢？

是因为二维数组和一维数组的地址就是数组最底层的第一个元素的地址，毕竟数组里有很多元素，多维数组逻辑上还会嵌套，你取地址总不能取一大串吧？所以就有&a=&a[0][0]=&a[0]，最上面的等式也就成立了。但需要注意的是虽然值一样，但它们的步长是不一样的（本质上应该是指针的数据类型不同）