在什么条件下，纯虚拟方法生成了

Under what conditions is the pure virtual method stub generated?

本文关键字：方法 虚拟 条件下 在什么      更新时间：2023-10-16

我已经在许多地方（例如在此）阅读了有关人们在 Runtime 上获得"纯虚拟方法"称为"错误和程序崩溃"的人。这个答案说

大多数编译器将此类VTable条目分配给一个存根，该存根在流产程序之前发出错误。

，这个甚至说Itanium abi指定了该存根。

问题是：我所有试图看到这种行为中的行为的尝试都被编译器（GCC 6.4.1）抓住， compile Time 作为未定义的参考。例如，从抽象类的构造函数调用纯虚拟函数时，我会得到一个警告

pure virtual ‘virtual int X::f()’ called from constructor

，但同时根本没有为X::f()生成任何代码，因此接下来是

undefined reference to 'X::f()'

链接器和汇编失败。这似乎是防止运行时错误的一种万无一失的方式。在哪种情况下，我的编译器实际上需要生成上述存根？还是足够聪明，可以尽早检测所有可能的病理情况？

通常会从构造函数中间接称为。这是一个最小的例子：

#include <iostream>
struct X {
    virtual void foo() = 0;
    void bar() { foo(); }
    X() { bar(); std::cout << "X"; }
};
struct Y : X {
    void foo() override {}
};

int main() {
    Y y;
    return 0;
}

如果呼叫直接出现在c'tor内部（因此，可以为纯虚拟函数产生有用的错误消息）。但是，当呼叫是间接的时，从另一个成员中，必须动态派遣。

自然地，Y部分尚未在X的构建过程中构造，因此整个事情在不确定的行为的烈火中崩溃了。

live示例 - 使用存根

相关文章：