Почему в C / C ++ это необходимо для func-параметра, который получает MD-массив, имеющий размеры всех вложенных массивов / измерений?

здесь (PDF): Он говорит, что единственное отличие MD arrs в том, чтокомпилятор запоминает каждое воображаемое измерение но когда я нарушаю эти размеры компилятор ничего не делает, например:

char arr[3][5];
arr[0][5] = 10;

И что'смысл запоминать эти размеры?