int a[1] всегда одно и то же или нет?
нет, одно указатель, другое массив
Переменная "статический массив" неявно кастуется к указателю на свой первый элемент. Пока не кастуется - это разные типы.
Обсуждают сегодня