不废话,刚刚在群里被鄙视了,故
总结如下:
声明与原型 a、函数名必须相同
b、返回值必须相同
c、 造成函数参数可以随意操纵的假象
其实: 更加严格的写法是 extern void func(void);
这个时候直接链接出错。
由此我们可以使用这个特性,来使不同参数的参数兼容同一个公共接口: 如linux内核中的系统调用的实现;
我们继续衍生出去,如果声明的写法是 extern func();
那么则可以兼容所有的同名函数,而忽略其返回值与携带参数的类型/个数。
通过汇编后的main代码观察:
对于含参数的函数调用只是简单的从右向坐进行压栈,而对比检查只会发生在编译期。当函数返回时,由sfp保持的栈帧则直接弹出,不由上层来维护。
参数压栈时,esp压根没有变化,所以函数返回时,leave指令直接将ebp的值反压到esp中去,ret返回调用栈顶位置代码。