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

J>предлагаю помедитировать над следующим кодом
J>

J>typedef int Arr[5];

J>void f(Arr& x);

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

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

На компиляторе не проверял, но должна быть ошибка трансляции на второй функции.
Передача массива по ссылке — нормально. Ну и что?
Имеется ввиду, что выполняется контроль типов и "массив другого типа" компилятор не пропускает.
К вопросу о полноценности типа массива. Yes?