int a[4] = {1, 2, 3, 4};
对于这样的一个数组,"a"和"&a"代表的地址是相同的,即都是“数组首地址”(这已经是老生常谈了,究其原因是编译器“捣的鬼”,因为编译器知道a是一个数组名,所以它故意让&a返回与a相同的地址值。如果你不相信的话,可以打印出来看看)。
但是,尽管"a"和"&a"代表相同的地址,我们仍然不能用“int *p = &a;”代替“int *p = a;”,因为&a的类型是“int (*)[4]”,而不存在任何隐式转换能够将“int (*)[4]”转换为“int*”,所以前者是非法的;而后者是众所周知的“数组退化为指针”行为,是合法的(尽管这种“退化行为”有时候很危险,具体情况可以参考《Imperfect C++》第14章)。