一维数组 int a[4]
二维数组 int b[3][4]
a 和&a，都表示地址，值都一样，都是数组 a 第一个元素 a[0]的地址，区别是什么，是 他们的类型。有人可能要问，啊？什么类型？地址还有类型？不都是像 00CFAD4 之类的占 4 字节大小的数据么？这里，其实是我表述得不准确，我指的类型是指针变量的类型。
对于一维数组 a[4]，数组名 a，我们常说 a 是个指向数组首元素 a【0】的指针，，但我们要 注意，平时很常见的说法可能仅仅只是为了表述的方便才这么说的，实际上可能并不是这样。
要知道，指针就是地址，地址就是指针，我们平常定义的 int p，其实是在定义一个指向 int 数据类型内存的指针变量，指针变量 p 他有自己的地址，在他自己地址上存着的是指针变量 p 所指向的内存的编号（即指向的地址）。我们常说 int t，t 是一个整型变量，它里头存的是 一个整型的数据；那对于 int p，p 是指针变量，那他存储的应该是个指针类型的数据吧？ 可他存的不是地址么？我们从这个角度，或许就有点能理解，为什么说指针就是地址，地址 就是指针。
那回头看，说的完整点，啊， a 是个指向数组首元素 a【0】的指针变量——好像不对吧， 我们知道，数组名 a，它的指向是不能变的，a 就只能指向第一个元素 a【0】的地址，不能 更改指向，那我说他是指向数组首元素 a【0】的指针常量？emmmm，再想想之前提到的， 指针就是地址，地址就是指针，我感觉很不好，咱们就不咬文嚼字了，就按照平常说的习惯， a 是个指向数组首元素 a【0】的指针，啊，这个指针有个特点，它的指向不能改变，只能指 向首元素 a【0】的地址。
讲到这，可能会有人反驳说，诶？谁说不能变的，就我函数调用的时候，如果形参是指 针，（或者是数组，两者等价），那我传个数组名过去，我把 a 传过去，那我可以在调用的函 数里改变 a 的指向啊，我让 a++，他不就指向第二个元素了么？啊，这就涉及到另一个知识 了，虽说你传的是地址，但你传的不是用一个指针，这之前我们在群里探讨过，传指针就好 比传值一样，你传值的时候，入传的 int s，是在调用函数里 copy 一个 int s1，初始的时候 s1 的值和主函数里 s 的值一样，但你在调用函数里对 s1 的改变是与 s 无关的，调用函数结 束，s 还是没变，所以为了切实改变 s，我们要传 s 的地址，如指向 s 的指针，或直接传&s， 都是可以的。那对于传的是指针，如 intp=&s，其实过程也是一样的，会在调用函数里， copy 一个 intp1，一开始，p1 与 p 是存同一个值的，即指向同一个地址（s 的地址），那么 你通过 p1 对 s 进行修改，当然会切实的改变 s，但你对 p1 存储的值做出改变，即对 p1 的 指向做出改变的时候，是与 p 无关的，调用函数结束后，p 还是指向 s。说到这里肯定已经 有人察觉了，你改变 p1 指向，与 p 无关，你改变 s 值，其实与 p 也无关，我们仅仅利用的 p 把 s 的地址传给 p1，仅此而已，既然只是需要 s 的地址，那我在传参的时候直接传&s， 直接传 s 的地址不就得了？答案是，可行的，教学上说想要在调用函数中切实改变 s 的值， 那就传指向 s 的指针，其实这句话是有一定误导性的，搞得好像传值就是 copy 一个 s1，与 原来的 s 无关，而传指针 p，就不是 copy 了一样。其实都是 copy，只不过 p1copy 的是 s 的 地址，更高级一点。那，同理的，我要调用函数，改变指针 p 的指向，那么我就必须传入指 向 p 的指针 q，通过调用函数 copy 出来的 q1 来改变 p 的指向，或者直接传入&p。
讲到这，，，emmmm，我没乱，不慌，我上面着这一大段话，只是为了阐明，你在调用函数 中你能对 a 的指向进行改变，你改变的不是数组名 a 这个指针常量的指向，而是它的仿制品 a1,这个指针变量的指向，over 。
嗯，终于圆回来了，那我们继续回归正题。
一维数组名 a，是指针常量（可能这个定义还不够深刻，但现阶段我也只能理解到这个 程度)，a 和&a，有啥区别啊，区别是他们的类型。我们都知道，指针，是有类型的，有 char* 类型，也有 int类型等，但 a 和&a 之间的类型差异就不是如 char 和 int 那样明显、可视化。
a，它的类型是 int类型，所以我们才会有 int* p=a 这样的对指针 p 的初始，p 类型是 int* ， a 类型也是 int* ，类型一样。那么，a 类型是 int*，它指向第一个元素地址。而对于一维数 组，&a，它的类型是是什么呢？答案是 int [4]，&a 它指的是整个一位数组 a 的地址，而整个 数组 a 的地址就是首个元素的地址，即 a[0]的地址。所以说，a 和&a，他们存储的地址是一 样的，都是首个元素的地址。那这时可能会有人反驳说，哦，你说他们类型不一样就不一样 啊，明明存储的都是同一个值，凭啥不一样？好，那么问题来了，我们该如何体现它们类型 的区别？你看，a 时指向第一个元素的地址，&a 是指向整个元素的地址，我们对它们＋1， 看看 a+1 和&a+1,各自的地址有啥不一样不就行了吗？这里，我怕有些小萌新会混淆所以我 特地解释下，a+1 和&a+1 我并没有对指针常量 a 做改变哦，a++和 a=a+1 才是，而 a+1 是 啥意思？求出的地址有什么意义？就以一维数组 a【4】打比方，a 是 int类型的，指向的元 素类型是 int，int 类型元素占 4 字节，那么我 a+1 就是在 a 所指向的地址的基础上加上 a 说 指向的类型占的字节大小，如果说 a 指向地址是 00CFAD4，那么 a+1 就是 00CFAD8，a+2 就是 00CFADC，十六进制嘛，这我就不解释了。我们通过 a 显示的地址和 a+1 显示的地址， 做个差我们就能知道 a 这个指针指向的类型的大小，为 4 字节，就是单个数组元素的所占内 存的大小。而&a，它的类型是 int [4]，它表示的是&a 指向有四个元素的 int 类型的数组， 你对它加 1，即&a+1 的时候，得出的地址是在 a【0】地址的基础上加上整个数组所占的字 节，即再加上 16。。。这个大家可以去试验下，应该是这样的。
好了，完美，那我们开始解释下，二维数组是啥情况了。
二维数组 int b[3][4] b，， b【0】，，b【2】，，b，， b【2】，，&b，， &b【2】，，大家觉得这些都是啥意思？（憔悴） 这个二维数组，确实有点让人头疼哦，我不知道大家还记不记得我们在学 c 的时候，刚 涉及二维数组的时候，里头教了个数组表示法和指针表示法，把数组名 b 当成个指针用。。 对于一维数组 a， (a+3)=4 就是表示 a【3】=4，把 4 赋给 a【3】，对于二维数组 b，（ （b+2）+2）=4，就是 b【2】【 2】=4，大家理解么？？一定要理解啊，不然你怎么理解b 是啥意思。
一个个说，b，它是二维数组名，和一位数组名 a 一样的，a 是指向数组第一个元素的 地址，二维数组中数组名 b 也是这样的，他也是指向数组第一个元素的地址，只是，对于二 维数组而言，如 int b[3][4]，它只有 3 个元素，且每一个元素都是一个一位数组，且是 int [4]， 即只有 4 个元素的指向 int 类型的一维数组。一定要理解这种观察角度，这个角度可以扩展 到三维乃至更高维，如 int c[3][4][5],就是这个三维数组有 3 个元素，每个元素都是一个二维 数组，每个二维数组只有 4 个元素，每个元素都是一维数组，这个一维数组只有 5 个元素， 存储的是 int 类型的值。
好，回过来，b 是二维数组的数组名，指向二维数组第一个元素的地址，第一个元素类 型是啥？是一维数组嘛，即 int [4]，，，当我们直接要显示 b 所指向的地址，他会显示首个的 这个一维数组的地址，而一维数组的地址不就是一维数组首个元素的地址么？总的来说 b 会 显示 b[0][0]的地址，，但我们要知道，b 的类型是 int [4]哦。
那 b[0]和 b[2]是啥意思？
我们看 b 的时候，b，我们说它是二维数组的数组名，显示的是二维数组首个元素的地 址，类型是 int[4]；而对于 b[0]，我们认定它是二维数组第一个元素的首地址，没错，它也 是首地址，只不过它是一维数组的首地址，是哪个一维数组？b【0】嘛，第一个元素，那就 是第一个一维数组，那它显示的地址不就是第一个一维数组的首个元素的地址吗？即 b[0][0]， b[0]显示的地址和 b 显示的地址是一样的，都是 b[0][0]，但类型不一样哦，b 是二维数组的 首地址，数组里头元素的类型是 int[4]，即 b 的类型是 int（)[4]，，，而 b[0]是第一个一维数组 的首地址，数组元素类型是 int，即 b[0]的类型是 int，，两者的类型是不一样的。同样的，b[2]是二维数组第三个元素的首地址，显示的是 b[2][0]的地址，类型和 b[0]一样都是 int*。。。 那b 是啥意思？这就和我之前提到的指针表示法有关了，我们当时学指针表示法，是应该 理解了如（（b+2）+2）=4，这是啥意思了，b 是二维数组首地址，指向二位数组的第一 个元素（第一行一维数组），b+2 就是指的二维数组的第三个元素（即第三行一维数组）， （b+2）就是原本 b 加一加一的，每次加的类型都是 int4，但我一下后，就进 入当前所指的一维数组里头了，我再对他加一加一，每次加的类型就是 int 了，（b+2）+2 整体就相当于 b 一开始列方向上向下移动 2，走到了第三行(b[2])，然后又在行方向上向右 移动 2，走到了第三列（b[2][2]）,到达了 b[2][2]这个位置，因为整体是指针表示法嘛，你要 给 b[2][2]这个位置赋值 4，那肯定要对地址解引用一下，即*（（b+2）+2）=4。。。我也不 知道怎么解释得更细了，二维数组名 b 就像是个二重指针，指向 b[0],b[1],b[2],b[3]这些一重 指针，之所以说 b[0],b[1],b[2],b[3]是一重指针，因为它们都是指向各自一维数组的首地址的 指针，那不就是一重的么？所以说指针和数组的关系真的好密切哦，你像在学函数调用形参 的时候，你型参定义成 int []，和定义成 int，是等价的！
额说回来啊，那b 会显示 b[0][0]的地址，它的类型是 int，，拓展下，（b+2）会显示 b[2][0]的地址，它的类型也是 int，，大家发现没？！！！b【0】与b，，，b【2】与（b+2） 是等价的！！！和之前学的数组表示法、指针表示法，是不冲突的！！！
好，我们再看下&b，，，这个比较特殊，b 显示的地址是 b[0][0]，而它的类型是类型 int*[3]4，这是结论，啊有 get 到什么东西？你看，b 类型是 int*[4](指 向整个一维数组)，b 的类型是 int(指向一维数组中的单个元素的)，，这是取地址和解引用 诶，它们是那种穿衣服脱衣服、互逆的那种感觉诶。*b 的类型是指向一维数组单个元素，b （&b）的类型是指向整个一维数组，而&b 不就是指向整个二维数组么？它的类型不就应 该是 int[3][4]么？你对它加一，如&b+1 的时候，b[0][0]地址应该加上 46 才对！！
好，说完这个，我们说 sizeof，，这个真的是绝了，对于 sizeof，我们只谈一维数组哦，， 如一维数组 a[4],你 sizeof（a），得出的结果是 16，即整个数组所占的内存，而你 sizeof（&a） 的时候，得出的是单个元素所占的内存，即 4，，和上头说的&、*的逻辑完全不符，这就很 奇葩很奇葩，我试过，确实是这样的，多注意吧，不要怀疑，我上头说的&a 的含义是指向 整个一维数组，是对的，而 sizeof 这个我也试了，也是对的，，所以说就多注意吧。。有可能 sizeof 就是这么设计的，逻辑不融洽，当然也可能像广义相对论统一了电磁理论和引力理论， 等学得再深入，就会发现以前的理解有些 bug，两者的逻辑其实是融洽的。
结束，以上是我对数组名之类的现阶段的理解，劈里啪啦这么多字，从晚上 11 点肝到 凌晨两点，真的要不是看到群里有人在讨论这个，我也不会去查资料，发现 sizeof 这么奇葩。 所以说，讨论是很能促进相互进步的，这么多字我想也不会有多少人会看，但没关系啦，反 正我自己梳理了一遍后感觉理解的更深了，对我来说没人看也不算浪费时间，大家共勉吧。
我再多说亿句，刚想到的，我在学 c 的时候，看 b 站翁恺老师的视频，他上面有一个例子， 调用函数传数组，若在调用函数里求数组 a 的大小，用 sizeof（a），是错的，你得出的是 4， 而不是 16，以此可以作为调用函数里用的是 copy 的 a1 而不是数组名 a 的第一个佐证。 （从 text 导入到 word 里我才发现，我这 tm 是写了个论文啊，吐血，大家对数组名问 题感兴趣的可以看下，里面可能有我理解错的内容，欢迎大家探讨斧正）