c++ - 为什么使用指向函数的指针调用虚函数时不需要 "this"指针？

Question

例子:

class A {
public:
    virtual void print() { std::cout << "A::print" << std::endl; }
}

我所知道的:我们可以用指向成员函数的指针和一个对象来调用成员函数，这样就可以了

typedef void (A::*fptr)(); //pointer-to-member-function
fptr p = &A::print;
A a;
(a.*p)(); // prints "A::print"

但似乎我可以在没有对象的情况下使用指向函数的指针调用 A::print:

typedef void (*fptr)();
long *vptr; // pointer to virtual table
fptr func;  // pointer-to-function

vptr = (long*)(&a);
func = (fptr)( *(long*)(*vptr) ) // pointer to first function in virtual table
func(); // prints "A::print"

我的问题是为什么这行得通？我们不需要“this”指针来调用虚函数吗？

Answer 1

它在这种情况下有效，因为您的 print 函数不访问任何类成员变量，这意味着该函数不需要使用“this”来执行，这就是它有效的原因。

如果有问题的方法依赖于任何成员变量，它会非常失败。

如果您考虑以下方法的汇编:

void func1() { return; }
struct Foo {
  void func2() { return; }
};

在这两种情况下，它们都可以简单地归结为:

  ret

在此处添加打印语句:

void func1() { printf("hello world"); }
struct Foo {
  void func2() { printf("hello world"); }
};

两者的汇编现在看起来像:

  call printf
  ret

因此，虽然您在第二种情况下使用错误的调用约定来调用方法，但在这种情况下这没什么大不了的(因为它从未被使用过)