编程中的函数调用与参数传递分析
1. 变量分配差异
在不同版本的编译器中,局部变量在栈中的分配顺序可能不同。例如,MSVC 2010 和 MSVC 2013 在函数 f2()
中对 a
、 b
、 c
变量的分配顺序就存在差异。MSVC 2013 采用了与 MSVC 2010 相反的顺序。不过,C/C++ 标准并未规定局部变量在栈中必须按何种顺序分配,这种差异是由于编译器内部实现的变化导致的。
_b$ = -8
; size = 4
_c$ = -4
; size = 4
_f2
PROC
...
_f2
ENDP
_c$ = -12
; size = 4
_b$ = -8
; size = 4
_a$ = -4
; size = 4
_f1
PROC
...
_f1
ENDP
2. 几乎空的函数
有这样一段代码:
// forward declaration. the function is residing in some other module:
int boolector_main (int argc, char **argv);
// executable
int main (int argc, char **argv)
{
return boolector_main (argc, argv);
}
虽然不清楚为何要这样编写,