C++虚函数调用的汇编代码实现

在 C++ 中，虚函数是通过虚函数表来实现的。每个对象都有一个指向虚函数表的指针，虚函数表是一个数组，存储了该对象的虚函数的地址。

当调用一个虚函数时，编译器会先查找该对象的虚函数表，然后根据虚函数的索引找到对应的函数地址，最终调用该函数。

以下是一个简单的示例，展示了虚函数的汇编代码实现：

class Base {
public:
    virtual void foo() {
        printf("Base::foo()\n");
    }
};

class Derived : public Base {
public:
    virtual void foo() {
        printf("Derived::foo()\n");
    }
};

int main() {
    Base* ptr = new Derived();
    ptr->foo();
    delete ptr;
    return 0;
}

对应的汇编代码如下（采用 AT&T 语法）：

    .file   "main.cpp"
    .section    .text
    .globl  main
    .p2align 4,,15
    .type   main, @function
main:
.LFB0:
    .cfi_startproc
    subq    $8, %rsp
    movl    $8, %edi
    call    operator new(unsigned long)
    movq    %rax, %rdi
    leaq    .LC0(%rip), %rsi
    movl    $1, %edx
    movl    $0, %eax
    call    __printf_chk
    movq    %rax, %rdi
    movq    %rax, -8(%rbp)
    movq    $vtable for Derived(%rip), %rax
    movq    (%rax), %rax
    movq    (%rax), %rax
    movq    -8(%rbp), %rdx
    movq    %rdx, %rsi
    movq    %rax, (%rsp)
    call    *%rax
    leaq    -8(%rbp), %rax
    movq    (%rax), %rax
    movq    %rax, (%rsp)
    call    operator delete(void*)
    xorl    %eax, %eax
    addq    $8, %rsp
    .cfi_endproc
.LFE0:
    .size   main, .-main
    .section    .rodata
    .align 8
.LC0:
    .string "Base::foo()\n"
    .section    .rodata.cst4
    .align 4
vtable for Derived:
    .quad   0
    .quad   typeinfo for Derived
    .quad   Derived::foo()
    .section    .note.GNU-stack,"",@progbits

可以看到，在调用虚函数时，程序首先通过虚函数表找到对应的函数地址，然后通过 `call` 指令调用该函数。虚函数表的地址是通过 `vtable for Derived(%rip)` 获取的。调用完毕后，还需要调用 `operator delete` 释放内存。