Значение * (& a - i) в цикле for. Это умножение?

Question

Я готовлюсь к предстоящему экзамену, когда я наткнулся на это:

char a = 'a'; 
char b = 'b'; 
int ai[] = { 1, 2 }; 
int i = 0; 

Предположим, что размер слова составляет 32 бита, что ИНТ составляет 32 бита, и что распределение памяти производятся в обратном порядке к декларации, начинающиеся с адреса. 68.

Нарисуйте диаграмму, показывающую эффект выполнения следующих строк кода.

for (i = 0; i < 8; i++) 
    *(&a – i) = 'z'; 

Это может показаться странным, но я новичок в C, и это первый раз, когда я видел умножения для цикла. Объяснение этому для цикла и умножения, примененного к нему, было бы оценено.

Answer 1

Я думаю, мы можем предположить, что это теоретический вопрос, который, учитывая дополнительные предположения, не определенные в вопросе (т. Е. Порядок байтов, заполнение) - вопрос отвечает. Но, как указывает @chux, существуют стандарты против такого поведения. Ибо, если это разрешено, код приводит к повреждению памяти стека. В качестве вопроса экзамена на самом деле вы спрашиваете диаграмму, какая память повреждена.

Если я интерпретировать вопрос правильно, то возможно представление памяти (предполагая, что целые числа являются LSB, есть 1 байт заполнения, и в обратном порядке для объявлений):

| Addr | Value | Desc | | ---- | ----- | ------------------------------ | | 55 | 0x00 | // int i = 0; | | 56 | 0x00 | | | 57 | 0x00 | | | 58 | 0x00 | | | 59 | 0x01 | // int ai[] = { 1, 2 }; | | 60 | 0x00 | | | 61 | 0x00 | | | 62 | 0x00 | | | 63 | 0x02 | | | 64 | 0x00 | | | 65 | 0x00 | | | 66 | 0x00 | | | 67 | 0x62 | // char b = 'b'; | | 68 | 0x61 | // char a = 'a'; |

петля, раскатывают, имеет значение:

[68] = 0x7a; // 'z'; [67] = 0x7a; // 'z'; [66] = 0x7a; // 'z'; [65] = 0x7a; // 'z'; [64] = 0x7a; // 'z'; [63] = 0x7a; // 'z'; [62] = 0x7a; // 'z'; [61] = 0x7a; // 'z';

Так воспоминания представляют переменными, а, б и частей [] массива аи будет поврежден. (Инкорпорейтед @chux замечания о порядке байт. Кроме того, я скорректировал порядок, в котором элементы аи [] появляется как на @chux и комментарии @Peter A. Schneider.)

| Addr | Value | Desc | | ---- | ----- | ----------------------------------------- | | 55 | 0x08 | // int i = 8; | | 56 | 0x00 | | | 57 | 0x00 | | | 58 | 0x00 | | | 59 | 0x01 | // int ai[] = { 0x7a7a0001, 0x7a7a7a7a }; | | 60 | 0x00 | | | 61 | 0x7a | | | 62 | 0x7a | | | 63 | 0x7a | | | 64 | 0x7a | | | 65 | 0x7a | | | 66 | 0x7a | | | 67 | 0x7a | // char b = 'z'; | | 68 | 0x7a | // char a = 'z'; |

Answer 2

Это не умножение, это разыменование указателя. Однако *(&a – i) - это уже неопределенное поведение в момент i > 0. В вашем конкретном вопросе, однако, где есть единороги, а UB ушел в прошлое, и где вы должны предположить, что распределения переменных выполняются в обратном порядке, они объявлены и нет дополнения, что бы перезаписать переменные b и ai.