Почему вызывающая сторона должна очистить стек в соглашении о вызовах cdecl?

Question

От: http://en.wikipedia.org/wiki/X86_calling_conventions

push c
push b
push a
call function_name
add esp, 12 ;Stack clearing
mov x, eax

Почему нам нужно явно добавить 12 в ESP для очистки стека, поскольку вызываемая функция должна была вытолкнуть параметры из стека, восстанавливая указатель стека ...?

Другой вопрос:

Теоретически, было бы возможно реализовать функции переменных параметров, когда вызываемый абонент позаботится о праве очистки (например, если вы передадите количество аргументов в стеке в регистре)?

Answer 1

Поскольку с соглашением о вызовах C вызываемая функция не извлекает параметры. В этом смысл этого соглашения о вызовах.

Это допускает такие вещи, как переменные аргументы.

Answer 2

Это было прямо на странице википедии над заголовком _cdecl

В этих соглашениях вызывающая сторона очищает аргументы из стека, что позволяет создавать списки переменных аргументов, например. Е ().