Изучаю то, как структуры передаются в функции и возвращаются из функций. Такой код:
#include <stdio.h>
struct point {
int x;
int y;
};
struct point makepoint(int x, int y) {
struct point tmp;
tmp.x = x;
tmp.y = y;
return tmp;
}
int main() {
struct point pt = makepoint(1, 2);
struct point *pp = &pt;
return 0;
}
Вот дизассемблерные листинги обеих функций. Попробую их прокомментировать.
Функция main
:
0x080483e2 <+0>: push ebp
0x080483e3 <+1>: mov ebp,esp
0x080483e5 <+3>: sub esp,0x10 ; выделили 16 байт для структуры
0x080483e8 <+6>: lea eax,[ebp-0xc]
0x080483eb <+9>: push 0x2
0x080483ed <+11>: push 0x1
0x080483ef <+13>: push eax ; передали адрес структуры скрытым параметром
0x080483f0 <+14>: call 0x80483bb <makepoint>
0x080483f5 <+19>: add esp,0x8 ; освобождаем только 8 байт, остальные заняты структурой
0x080483f8 <+22>: lea eax,[ebp-0xc]
0x080483fb <+25>: mov DWORD PTR [ebp-0x4],eax
0x080483fe <+28>: mov eax,0x0
0x08048403 <+33>: leave
0x08048404 <+34>: ret
Замечаем, что функция main
выделяет в стеке 16 байт, но при выравнивании стека освобождаются только 8 байт. Остальные 8 байт заняты структурой.
Функция makepoint
:
0x080483bb <+0>: push ebp
0x080483bc <+1>: mov ebp,esp
0x080483be <+3>: sub esp,0x10
0x080483c1 <+6>: mov eax,DWORD PTR [ebp+0xc]
0x080483c4 <+9>: mov DWORD PTR [ebp-0x8],eax
0x080483c7 <+12>: mov eax,DWORD PTR [ebp+0x10]
0x080483ca <+15>: mov DWORD PTR [ebp-0x4],eax
0x080483cd <+18>: mov ecx,DWORD PTR [ebp+0x8]
0x080483d0 <+21>: mov eax,DWORD PTR [ebp-0x8]
0x080483d3 <+24>: mov edx,DWORD PTR [ebp-0x4]
0x080483d6 <+27>: mov DWORD PTR [ecx],eax
0x080483d8 <+29>: mov DWORD PTR [ecx+0x4],edx
0x080483db <+32>: mov eax,DWORD PTR [ebp+0x8]
0x080483de <+35>: leave
0x080483df <+36>: ret 0x4
Еще раз посмотрим на это место в main
:
0x080483eb <+9>: push 0x2
0x080483ed <+11>: push 0x1
0x080483ef <+13>: push eax
0x080483f0 <+14>: call 0x80483bb <makepoint>
С учетом адреса возврата и сохраненного ebp
, адрес структуры (push eax) будет отодвинут на 3 дворда, это 0xC
байт, и, видимо, обращение к адресу структуры мы наблюдаем здесь:
mov eax,DWORD PTR [ebp+0xc]
А что происходит дальше в makepoint
? Сложно разобраться в этом коде.
В общем, я так понимаю: когда функция передает структуру другой функции, или когда другая функция возвращает структуру, вызывающая функция сама выделяет место для этой структуры. Потом передает только адрес этой структуры скрытым параметром.
Еще есть такая штука как выравнивание полей структуры. Можно это понаблюдать в листинге? С чем связано это выравнивание?