Полагаю, у вас есть смысл в вашей логике. Даже если вы могли бы поспорить, запись int[2][3]
означает, что «первый индекс может иметь 2 разных значения, второй 3», что приводит к тому же самому, как он действительно работает.
В конце концов, это просто вопросспецификации и компиляции. И поскольку он указан так, а не так, он реализован и работает так.