摘要：
可见，函数的返回值为结构体类型，其返回值既不是“值传递”也不是通过“寄存器”回传。因为call指令暗含了“将函数的返回地址入栈的操作”，因此对应的ret指令暗含了“弹出函数返回地址的操作”，这一入栈、一弹出栈就平衡了。但div()函数却是通过“retn4”返回，即在“弹出函数的返回地址”之后又弹出4个字节，将div()函数的第一个参数即附加的参数也弹出了。
可见，函数的返回值为结构体类型，其返回值既不是“值传递”也不是通过“寄存器”回传。编译器在编译此类函数时，为其附加了一个指针参数（指向的地址在caller的堆栈上），且作为函数的第一个参数（函数本身的参数依次后移），函数语义上的返回值通过该附加的指针参数回传，而函数真正的返回值就是该指针。
————————————————版权声明：本文为CSDN博主「stillvxx」的原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接及本声明。原文链接：https://blog.csdn.net/stillvxx/article/details/41409949
我们知道，函数一般通过ret指令返回。因为call指令暗含了“将函数的返回地址入栈的操作”，因此对应的ret指令暗含了“弹出函数返回地址的操作”，这一入栈、一弹出栈就平衡了。但div()函数却是通过“retn 4”返回，即在“弹出函数的返回地址”之后又弹出4个字节，将div()函数的第一个参数即附加的参数也弹出了。至于为什么要这么干，注释中的说明有些戏虐的成分，应该是与调用规范有关。总之，通过“retn 4”返回到caller中（testdiv()函数中），由于多执行一次“出栈”操作，导致caller的栈不平衡了，因此在caller中通过“sub esp,4”又将堆栈扩展4个字节，恢复栈平衡。
————————————————
版权声明：本文为CSDN博主「stillvxx」的原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/stillvxx/article/details/41409949