Имена массивов в си?

Question

[avion]

Здравствуйте, чем является имя массива в C? Имя массива это не совсем указатель, так как для него не работает операция присваивания другого указателя. Clion отображает имя массива как некий класс int [n]. Так же адрес расположения массива и адрес, который он содержит совпадают. При создании многомерного массива (двух мерного в частности) имя массива имеет класс int [n][n]. Но также адрес расположения имени массива, и адрес который он содержит совпадают, поэтому приведением к типу int* можем получить обычный указатель на int и с помощью него, управлять выводи массива. При этом для функции нет разницы имя массива или указатель, так как она принимает просто адреса. Так что это за типы такие?

Answer 1

[Армянское Радио]

Начнем с устранения ваших проблем в терминах, так как из него следует ваше непонимание ситуации. А также с устранения методических проблем.

Главный источник информации о языке - стандарт языка. Не книжки Страуструпа, Майерса, не то, что показывает CLion, IntelliSense и их друзья, а стандарт языка. Не следует делать выводов о работе и устройстве языка из этих источников.

Далее, нет такоего термина "имя массива в C". Есть термин "переменная типа массив". Если вы написали:
int ints[2];
- это у вас массив на стеке. ints при этом имеет семантику указателя, который всегда и гарантированно указывает на 0 элемент в массиве. Понятно, что коль скоро это указатель на стек, записать туда другой указатель (ints=somePointer) нельзя - потому что нигде в программе, на самом деле, этот указатель не хранится - он вычисляется и подставляется компилятором на ходу.

Из этого не следует(!), что переменная типа "массив" не имеет семантики указателя.

Comments

[avion]

А как насчет многомерных массивов, например 2-ый массив, получается это обычный указатель на 0 элемент 0 строки, а не указатель на указатель **?

[Армянское Радио]

Двумерный массив может быть двух видов. Тот, который язык делает на стеке, вида ints[2][4] - это один большой блок, в котором данные лежат построчно, и к нему применяются те же правила, что и к одномерному массиву. То есть, нет, это не массив указателей на строки. Компилятор это разруливает и правильно применяет квадратные скобки.

[Армянское Радио]

Дмитрий Золотарев, Нетушки! Массив указателей получится, если двумерный массив создавать динамически, в цикле выделяя память под отдельные строки.

[avion]

Армянское Радио, Получается, переменная многомерного массива это не указатель на указатель, а просто указатель на 0 элемент, который можно двигать по правилу. arr[2][2], arr + i * n + j, где i = номеру строки, а j = номеру столбца

[Армянское Радио]

Данил, да. Это если массив создавался на стеке или на динамике, средствами языка - [][][] - вот этими. Если же массив создавался динамически при помощи циклов, то это как раз будет сборище указателей на указатели - и там правила будут уже другие.

[avion]

Армянское Радио, А почему к примеру, при передаче переменной многомерного массива, как аргумента:

void swap(int* a, int* b) {
    int temp;

    temp = *a;
    *a = *b;
    *b = temp;
}

int main() {
    int n = 2;

    int arr[n][n];

    for (int i = 0; i < n; ++i) {
        for (int j = 0; j < n; ++j) {
            scanf("%d", &arr[i][j]);
        }
    }

    swap(arr, arr + 1);

При таком определении, получаем, что меняется 0 и 3 элемент массива, так как arr + 1 определяется, как arr + 2 * 1 + 0
IDE пишет: Incompatible pointer types passing 'int [n][n]' to parameter of type 'int *'

Но если поставить * перед arr, то все нормально.

[Армянское Радио]

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

Answer 2

[Дмитрий Беляев]

Массивы в C - это сахар над арифметикой и разыменовыванием указателей
Согласитесь, проще и нагляднее писать arr[i] чем *(arr + i)

Так же, для хранения данных на стеке необходимо знать точный размер этих данных во время компиляции. Объявляя тип массива для переменной на стеке, мы еще и показываем компилятору, сколько памяти нам надо, то есть, когда мы пишемint arr[10];компилятор понимает, что тут нужно выделить sizeof(int) * 10 памяти на стеке

Answer 3

[CityCat4]

Здравствуйте, чем является имя массива в C?

Ничем. "Имя массива" - это просто удобное название для тех, кто не одолел темы указателей. Те, кто эту тему одолел, таким вопросом уже не задаются, потому что статические массивы типа int[5] для них просто перестают существовать. "Имя массива" указывает на его первый элемент, но сделать с ним ничего нельзя. Точка. Не нравится - используйте динамические массивы.

При создании многомерного массива (двух мерного в частности)

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

Осваивайте указатели и все эти костыли отвалятся сами по себе.