Съществуването на &а за мен е съвсем логично. То е за да е възможна поинтер аритметиката с масиви.

Мда, прав си. Сега си разбирам грешката - твърде буквално съм си мислел за а като за синоним на &a[0]. Пък то не е същото, макар числените изражения (като адреси) на а, &a[0] и &a да съвпадат. В много случаи а и &a[0] са взаимозаменяеми и това грешно ме е навело на мисълта, че са взаимозаменяеми винаги, което явно не е така.