Внутреннее устройство многомерного массива и неявное преобразование массива в указатель

Букв получилось многовато. Поэтому, чтобы сэкономить Ваше время, предлагаю сразу вопрос:
Буду очень благодарен, если кто-то сможет конкретизировать, как всё-таки устроен логически внутри себя многомерный массив в C++ и в какие моменты происходят в нём неявные преобразования?

Далее моя попытка разобраться в этом и нащупать логику (если времени на это нет, то считайте, что пост для Вас ограничен только текстом выше).

Пытаюсь разобраться, где именно происходят неявные преобразования(разложение) в этих выражениях.
Предполагаю:
#1:
1.1) b - неявно преобразуется (далее -->) из объекта "2D-массив" - в ptr на первый его эл-т - т.е. в ptr на 1D-массив элементов типа int*
1.2) к результату 1.1 применяется разыменование `(*b)`. Т.е. ptr на 1D-массив int* --> в объект 1D-массив int*
1.3) неявно --> в ptr на свой 1й элемент - т.е. в ptr на 1D-субмассив элементов типа int
//Тут становится понятно, что логика эта какая-то кривая, т.к. 1.4 должен выполнять адресацию по ptr'у на массив. Если бы так, то на выходе мы получили бы скорее адрес 1го элемента второго массива из 3-х интов (т.е. адрес эл-та "55"). Но никак не значение "22".

Пробую другую логику:
Считаю, что объект массив существует только для самого внешнего объекта многомерного массива. Тогда получается:

#1:
1.1) b - неявно преобразуется (далее -->) из объекта "2D-массив" - в ptr на первый его эл-т - т.е. в ptr на int* (т.е. в int**)
1.2) к результату 1.1 применяется разыменование `(*b)`. Т.е. получаем int* (ptr на "11", т.е. на 1й эл-т первого субмассива)
1.3) процедура адресации `[1]` выполняет 2 функции: сдвиг и разыменование. Т.о. получаем значение "22".

Вроде получается пока красиво.
Но попытаюсь применить эту же логику к случаю #2

#2:
2.1) b - неявно --> из объекта "2D-массив" - в ptr на первый его эл-т - т.е. в ptr на int* (т.е. в int**)
2.2) процедура адресации `[1]` выполняет сдвиг и разыменование. ...
//Тут становится ясно, что эта логика не работает, т.к. мы в результате шага 2.2 получили бы следующее: int** сдвинулся бы на 1 соответственно указываемому типу - т.е. на 4 байта указателя, а разыменование (которое подразумевается вторым действием оператора адресации) дало бы ptr на "22". И тогда последнее действие собственно разыменования явно указанного дало бы окончательный результат тоже "22". Но не "55".

Т.е. должна быть, видимо, какая-то внутренняя таблица размеров указываемых объектов для указателей, получившихся в результате объявления массива на каждом уровне (разве что только кроме последнего). А, следовательно, тогда уж мы возвращаемся к тому, что должны быть объекты "массив" не только для внешнего уровня, но мы это как-будто бы опровергли выше.

Попробую найти компромиссную логику:
Что если действительно объект массив существует не для всех уровней многомерного массива. А, предположим, для всех, кроме последнего. И объект этот в нашем случае НЕ "Массив элементов типа int**", а скорее что-то вроде "Массив элементов типа ptr на первый эл-т объекта "Три эл-та типа int*" (далее для краткости "МассивPtrTo3Int*").

Тогда #2:
2.1) b - из объекта "МассивPtrTo3Int*" неявно --> в ptr на первый его эл-т - т.е. в ptr на 1й эл-т объекта "3 эл-та типа int*"
2.2) процедура адресации `[1]` выполняет сдвиг и разыменование: сдвиг переносит нас к ptr'у на 1й эл-т второго объекта "3 эл-та типа int*", а разыменование --> это к 1-ому из эл-тов типа int*
2.3) Последнее действие явно указанного разыменования даёт нам его значение - "55".

Не стану уже Вас утомлять, но под эту логику согласованно ложится и вариант #1.

Кажется, я суть почти ухватил, только как-то немного расплывчато и нечётко получилось выразить.

Повторюсь:
Буду очень благодарен, если кто-то сможет указать на ошибки в рассуждении и, ГЛАВНОЕ, конкретизировать, как всё-таки устроен логически внутри себя многомерный массив в C++ и в какие моменты происходят в нём неявные преобразования.

0

Сообщение от Croessmah сам-то понял что написал?

А что непонятно?

После a[1] = 1 массив a не изменился?

0

rat0r, нет.

Разговаривать с троллем не вижу смысла. ББ.

0

Сообщение от Croessmah нет.

А что тогда будет изменением массива?
А если взять структуру
И присвоить полю s.i = 1;, объект s тоже не изменится?

0