7.9 既然数组引用会蜕化为指针, 如果 arr 是数组, 那么 arr 和 &arr  又有什么区别呢 ？

区别在于类型。

在标准 C 中, &arr 生成一个 ``T 型数组" 的指针, 指向整个数组。 在  ANSI 之前的 C 中, &arr 中的 & 通常会引起一个警告, 它通常被忽略。 在所有的 C 编译器中, 对数组的简单引用(不包括 & 操作符)生成一个 T 的指 针类型的指针, 指向数组的第一成员。参见问题 6.3, 6.10 和 6.15。

参考资料: [ISO, Sec. 6.2.2.1, Sec. 6.3.3.2]; [Rationale, Sec. 3.3.3.2]; [H&S, Sec. 7.5.6 p. 198]。