Соглашение о работе с ядром в подпрограммах языка С++

Question

[Денис Савицкий]

В чём разница соглашений языка C++ и, например, Pascal о работе с ядром в подпрограммах? Имеется ввиду то, что очистка стека при выходе из подпрограмм на assembler'e в C++ осуществляется автоматически, а в других языках — нет.

Answer 1

[Rio]

В C и С++ по-умолчанию стек после вызова очищает вызывающий код. Так сделано было для того, чтобы работали функции с переменным числом параметров (ведь только вызывающий код знает, сколько параметров он положил в стек). В Паскале принято, что стек чистит сама вызываемая функция.

В разных ОС могут быть различные соглашения вызовов API, в Windows принят паскалевский вариант, поэтому все функции ядра Windows объявлены с модификатором __stdcall. Соответственно, модификатор __cdecl определяет функции, использующие сишный договор о передаче параметров.

Comments

[Rio]

Немного ошибся. Принятый в Паскале вариант отличается от _stdcall тем, что параметры помещаются на стек в обратном порядке.

Вот тут все варианты описаны, с ассемблерным кодом каждого: www.rsdn.ru/forum/cpp/159935.1.aspx

Answer 2

[MikhailEdoshin]

Вы имеете в виду calling conventions, т. е. stdcall, fastcall и т. п.? Собственно в этом и разница, одни очищают, другие нет. Если вы не пишете собственную libffi, то остается только следить за правильностью объявлений.