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

D>typedef int arr[10];

D>arr a;
D>const arr const &r = a;  // как это понимать? Ведь a не константа,
D>// меняя а получим изменение r, которой компилятор обязан гарантировать константность!!!

Компилятор ы будет гарантировать константность если ти попытаешся изменить r но a не константный масив. кстати референс есть константой по своей сути поетому const перед & необязателен