虚函数和绕道

Question

我最近一直在绕弯路编程，以及随之而来的一切。我绕了很多不同的功能； thiscall、stdcall、cdecl、虚函数等。但是有一件事我没有管理（这甚至可能是不可能的），那就是挂钩一个基类虚函数。例如;有一个 Car 类声明了一个虚函数（空）Drive。然后还有其他 3 个汽车类继承了汽车并实现了Drive。

如果我钩住汽车的（基类）Drive 函数（使用简单的“jmp”钩子），它会在Car 的后代触发Drive 时触发，如果他们这样做没有调用基函数？

解释得更彻底：

class Car
{
   virtual void Drive(void) { } // Empty virtual function
}

class Lamborghini : public Car
{
   void Drive(void) { // does lots of stuff, but does NOT call base function }
}

所以我想知道是否调用了基本方法 get 或者它是否可以以某种方式挂钩？函数执行是直接跳转到Lamborghini::Drive 还是以某种方式通过Car 类，以便在后代调用Drive 时可以检测到？

编辑：如果基类函数为空，是否甚至可以挂钩它，因为它需要 5 个字节的空间？

Answer 1

不，基本方法不会自动调用。动态调度机制将检测它需要调用哪个 override 并且这将是被调用的函数。这通常通过一个虚拟表 (vtable) 来实现，该表存储指向类中每个虚拟函数的 最终覆盖器 的指针。使用动态分派时，编译器会通过该表注入间接调用并跳转到正确的函数。

请注意，vtable 实际上包含指向 thunks 或 trampolines 的指针，这些指针可能会在转发调用之前修改 this（隐式第一个参数）。使用这种方式的好处是，如果this不需要更新，编译器可以直接跳转到最终的覆盖器。无论如何，您可以利用此功能并修改 vtable 以指向您自己的代码（即，您可以更新每个 vtable 中的指针 -- 每个类型一个 -- 以引用您自己的 thunk 或 函数)

Answer 2

如果我没有正确回答您的问题，您的 Lamborghini 类中的 Drive 方法将根据虚函数表被调用。如果你想调用基类的Drive方法，你必须写Car::Drive;之类的东西。由于 VTBL，基类需要一些空间。希望我没有回答您的问题。

Answer 3

如果我理解正确，您希望每次调用Lamborghini::Drive 时都调用Car::Drive，即使Lamborghini:Drive 不直接调用基函数？

为此，最简单的方法是使用“内部”函数，该函数将是虚拟的（且受保护的），而初始方法将是非虚拟的并会路由调用。 这是一个例子：

class Car
{
    void Drive(void)
    {
        // ...
        Car::innerDrive(); // Base function call
        // ...
        this->innerDrive(); // 'Derived' function call
        // ...
    }
protected:
    virtual void innerDrive(void) { } // Empty virtual function
}

class Lamborghini : public Car
{
protected:
    void innerDrive(void) { // does lots of stuff, but does NOT call base function }
}