从基类实例获取指向（纯）虚拟函数的指针

Question

我有下面的c ++ 11代码，可以正常工作，而我希望它会崩溃甚至无法编译。检索指向纯虚拟成员函数的指针应返回null或无效的指针，或者应被编译器阻止。我想了解它为什么起作用。

我知道还有其他（更好）的方式对此进行编码，这是理解语法的纯理论性问题。

#include <iostream>
#include <functional>

class Abstract
{
public:
    void foo()
    {
        auto func = std::bind(&Abstract::virtualFoo, this);
        func();
    }

protected:
    virtual void virtualFoo() = 0;
};


class Derived1 : public Abstract
{
private:
    void virtualFoo() override
    {
        std::cout << "I am Derived1\n";
    }
};

class Derived2 : public Abstract
{
private:
    void virtualFoo() override
    {
        std::cout << "I am Derived2\n";
    }
};


int main(int argc, char *argv[])
{
    Abstract * a1 = new Derived1;
    Abstract * a2 = new Derived2;

    a1->foo();
    a2->foo();

    return 0;
}

意图很明确，我想在基类函数foo（）中获得派生虚函数的指针。

但是，据我所知，它不起作用，甚至不应该使用纯虚函数进行编译。对于非纯虚函数，它应该执行基类函数。但是，我很惊讶地看到它可以编译并产生预期的输出：它先输出“ I is Derived1”，然后输出“ I am Derived2”。

如何&Abstract::virtualFoo甚至在不知道指向实际对象的指针的情况下也可以返回有效的指针，这对于访问vtable是必需的？

在线C ++链接：https : //onlinegdb.com/SJfku8rvV

对我来说，有效的语法应该是：

        auto func = std::bind(&this->virtualFoo, this);

取消引用this实际上应该访问vtable并返回一个函数指针。但是c ++ 11并不这样认为。

Answer 1

如何&Abstract::virtualFoo甚至在不知道指向实际对象的指针的情况下也可以返回有效的指针，这对于访问vtable是必需的？

您已将该函数声明为虚拟的。编译器知道该函数是虚拟的。该标准要求通过成员函数指针的调用进行虚拟调度。

编译器将必要的信息存储到成员函数指针中，以实现此目的。请注意，成员函数指针不一定只是指向单个地址的指针。它可以包含更多内容。

编译器实现此目标的确切方法是实现定义。