Здравствуйте, jazzer, Вы писали:

J>Твои слова "Имя массива — это адрес его первого элемента" означают, что тип как arr5, так и arr6 — int*, соответственно, ни один вызов не должен скомпилироваться.

J>Так что суть именно в приведениях типа — я тебе только что продемонстрировал случай, когда оно не происходит и используется явный тип массива.
J>А когда оба эти массива можно передать в функцию, принимающую указатель на int — здесь как раз происходит приведение типа от массива к указателю.
ок.
Но

void f(int x[5]);

J>int main()
J>{
J>   int arr5[5];
J>   int arr6[6];

J>   f(arr5);
J>   f(arr6);
J>};

Куда происходит преобразование?