在虚函数调用过程中,rdi寄存器中的值(即this指针)是如何保持一致的,尽管在调用前后看起来像是从基类地址变为了派生类地址?
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。
在虚函数调用过程中,rdi寄存器中的值(即this指针)实际上在调用前和调用后都指向了派生类对象的地址,而不是基类地址。尽管在调用虚函数时,通过基类指针访问虚函数表,但this指针的传递是在函数调用时由调用者(即pvBaseB->test()这行代码)负责的,它总是传递当前对象的实际地址(即派生类对象的地址)。因此,在VDerived::test函数的汇编实现中,通过movq %rdi, -0x8(%rbp)将rdi(即this指针)的值存储在栈上,以供函数内部使用,此时this指针已经是指向派生类对象的地址了。