>>282
細かいことを言うようだけど &a == &a[0] ではないよ。
下の例で、3つのprintf()は同じ値(アドレス)を表示する。
けれども if の部分で有効なのは最初の行だけ。
下の2つのif行の注釈を外すとコンパイルエラーになるはず。
a と &a[0] は等しい。
&a と &a[0] は(値は同じだが)型が違う。型が違うので比較はできない。


#include <cstdio>

int main() {
　int a[] = {1, 2, 3, 4};

　printf("a == %p\n", a);
　printf("&a[0] == %p\n", &a[0]);
　printf("&a == %p\n", &a);

　if (a == &a[0]) printf("Equal\n");
　// if (&a == &a[0]) printf("Equal\n");
　// if (a == &a) printf("Equal\n");

　return 0;
}


>>282 の本題、&a と &a[0] の値が同じになる理由は、
配列の中身がメモリにどう格納されるか、を図で表すと分かりやすいんだが
俺の表現力では無理なんでどなたか頼む。