问题
Well I've found something that interests me and I didn't manage to find an answer for it....
how does the va_arg \ va_start \ va_list \ va_end macros work under the hood in x64?
calling convention in i386 passes parameters on the stack hence the macro just increments some pointer that points to the stack base and forwards it
however in x64 all parameters are passed by registers.... so what happens there? how does the called function know which registers were used to pass arguments and doesn't clobber them....
回答1:
This is defined by the ABI for the architecture. On the SysV ABI for amd64 (so pretty much everything other than Windows), the ABI document says (page 56 and forward):
The prologue of a function taking a variable argument list and known to call the macro va_start is expected to save the argument registers to the register save area.
Then va_list is a struct with a pointer to the register save area and the place on the stack where some additional arguments could have been passed (not all function arguments fit in registers).
来源：https://stackoverflow.com/questions/40216160/variadic-arguements-and-x64