c++ - 调用虚函数时继承类 "invalid pointer error"

Question

正如您在下面的代码中看到的，我有一个抽象基类“HostWindow”和派生自它的类“Chrome”。所有功能均在 Chrome 中实现。问题是，我无法在 Chrome 中调用虚拟函数。

class HostWindow : public Noncopyable {
public:
    virtual ~HostWindow() { }

    // Pure virtual functions:
    virtual void repaint(const IntRect&, bool contentChanged, bool immediate = false, bool repaintContentOnly = false) = 0;
    virtual void scrollbarsModeDidChange() const = 0;
}

class Chrome : public HostWindow {
    // HostWindow functions:
    virtual void repaint(const IntRect&, bool contentChanged, bool immediate = false, bool repaintContentOnly = false);
    virtual void scrollbarsModeDidChange() const;

    void focus() const;
}

假设我们有一个 Chrome 实例，我们调用了几个函数:

WebCore::Chrome *chrome = new Chrome();
chrome->repaint(IntRect(), true); // Null pointer error
chrome->focus(); // returns void (works)

每当我调用虚函数时得到的空指针错误是:

Program received signal EXC_BAD_ACCESS, Could not access memory. Reason: KERN_PROTECTION_FAILURE at address: 0x00000008

知道发生了什么吗？

更新:正如你们中的许多人所指出的那样——这段代码实际运行了。不幸的是，我无法提供更完整的示例，因为代码在 WebCore (WebKit) 的深处。但是，我已经缩小了问题的范围。如果我手动创建一个 Chrome 实例，调用虚函数就可以了。所以问题出在这个特定的 chrome 实例上——它无法正确实例化。现在，Chrome 实例在另一个类的构造函数中实例化。我会进一步调查...

更新 2:好的，检查有问题的实例上的 vtable 表明它是空的；来自 GDB:

p *(void **)chrome
$52 = (void *) 0x0

一个普通的实例有一个正确的虚表。所以，我必须弄清楚为什么 vtable 是 nil - 我想知道这是怎么发生的？也许是因为它在其他一些构造函数类中被实例化？

更新 3:看起来我对这个问题是正确的，因为它是在另一个类的构造函数中实例化的。

所以，在实例化之前是这样的:

Page::Page(ChromeClient* chromeClient, ...)
    : m_chrome(new Chrome(this, chromeClient))

并且 m_chrome 是一个无效的实例，具有 nil vtable。我已经更改了实例化，因此它会在第一次需要变量时发生(这涉及保存 ChromeClient 以备后用):

Page::Page(ChromeClient* chromeClient, ...)
    : m_chrome(0)
    , m_chrome_client(chromeClient)

Chrome* Page::chrome() const {
  if(!m_chrome) {
    m_chrome = new Chrome(this, m_chrome_client);
  }
  return m_chrome;
}

现在 Page::chrome() 实例是正确的，具有正确的 vtable - 相当奇怪!

更新 4:最后更新，我保证 :)。好的，所以我已经准确地指出了它。如果您在 Page 构造函数的主体中实例化它，您将使用 vtable 获得正确的实例。如果您在 Page 构造函数的头部实例化它，它没有 vtable。您可以在构造函数的头部进行的变量设置类型是否有任何限制？我猜这是另一个 Stackoverflow 问题。

感谢大家的帮助。

Answer 1

是的，“this”指针为零。添加 8 以获得偏移量，这是你的错。您显然根本没有任何实际对象。

由于您没有发布足够的代码来真正掌握，我猜。要么整个​​ this 指针为 0，要么虚函数表指针为 0，可能是因为该对象在创建之后和您尝试调用它之前已被删除。

我能给你的最好建议是制造一个小得多的试管。要么你会发现你的问题，要么你最终会得到一个可发布的例子。

在构建过程结束之前，vtbl 不会在实例中就位。事实上，规范要求逐步修改 vtbl 以匹配类层次结构的构造状态。