Хочу разобраться в следующем вопросе.
Помню, в каком-то источнике читал объяснения Дениса Ритчи о причинах, по которым был сделан выбор в пользу реализации хранения массива непосредственно в структуре, вместо того, чтобы хранить в структуре указатель на массив. Как он рассказывал, причины были в том, чтобы уменьшить потребление памяти, а так же предоставить возможность прямого присвоения между объектами структур одинакового типа.
В том источнике рассматривались лишь одномерные массивы, но не многомерные.
Вопросы такие:
1) В отношении упаковки многомерных массивов внутри структур действуют те же правила, что и для одномерных?
Например, равноценно ли это:
struct s
{
int i;
char m[2][2];
};
Этому?
struct s
{
int i;
char m00,
m01,
m10,
m11;
};
2) Распространяется ли это на обычные массивы:
char m[2][4][8];
И каковы вообще правила адресации, если многомерный массив представлен в виде одномерного?
Поскольку я большую часть времени работаю с массивами в динамической памяти, то в моем представлении очень крепко устоялось представление о многомерном массиве в таком виде:
type **name;
3) Рассмотрим такой код:
#include <stdlib.h>
#include <stdio.h>
#define SIZE 10
int main(int argc, char **argv)
{
int s_arr_2[SIZE][SIZE];
int **d_arr_2 = malloc(sizeof(int*) * SIZE);
for (size_t i = 0; i < SIZE; ++i)
{
d_arr_2[i] = malloc(sizeof(int) * SIZE);
}
// Одинаковая запись, но по факту происходят совершенно разные вещи.
s_arr_2[0][1] = 1;
d_arr_2[0][1] = 1;
return 0;
}
Я слишком привык работать с динамическими массивами, в том числе с N-мерными. Я на автопилоте понимаю, что d_arr_2 указывает на область памяти, с которой начинается массив указателей, и в этом массиве указателей хранятся адреса массивов типа int.
Когда же я вижу s_arr_2, то у меня возникают некоторые сложности с пониманием того, как происходит адресация, ведь в этом случае многомерный массив на самом деле является одномерным, и запись вида s_arr_2[x][y] переводится компилятором в нечто, что явно и значительно отличается от того, что получается при d_arr_2[x][y].
Так что же происходит в случае s_arr_2[x][y]?