如果在编译时创建了vtable，为什么这个错误是链接器错误而不是编译错误？

Question

以下代码给出了错误

未定义引用`vtable for Derived'

代码：

#include <iostream>
class base{
    public:
    base(){}
    virtual ~base(){}
    virtual void test()
    {
    }
};
class Derived:public base{
    public:
    Derived(){}
    ~Derived(){}  
    void test();
};
int main() {
    base* b = new Derived ();
    delete b;
}

我理解的是因为虚拟fucntion test已声明但未在class Derived定义 。

但是当我使用g++ -c file.cpp进行编译时，根据这个 C ompile或汇编源文件，但不要链接 。 它没有给我任何错误和编译好。 因此，在链接时而非编译时生成上述错误。 从我学到的不是编译时创建的vtable 。 那为什么我不在编译时自己得到错误？

Answer 1

我用g++ foo.cpp -v得到了什么

/tmp/ccBc4VPu.o: In function `Derived::Derived()':
foo.cpp:(.text._ZN7DerivedC2Ev[_ZN7DerivedC5Ev]+0x1f): undefined reference to `vtable for Derived'
collect2: error: ld returned 1 exit status

这是一个链接器错误，而不是编译器错误本身。

错误的根本原因是test是在Derived中声明的，但实际上并未实现。 链接器给出了一个令人困惑的错误消息。 应该为缺少的Derived::test方法声明一个错误

Answer 2

编译器不要求所有方法都可用。 这对他来说已经足够了。

此方法可以在不同的编译单元（cpp / cxx文件）中实现，因此对于编译器，甚至无法检查此方法是否在其他位置可用。 编译器处理一个cpp文件。

它是将方法和调用匹配在一起的链接器作业。

Answer 3

但是你形成了一个必须在编译时创建vtable的视图，你错了。

单独编译是标准中的核心概念。 这是编译单元（也称为源文件）可以编译的原因，给定它需要的任何函数声明 - 即使它没有定义的可见性。

在典型的“编译然后链接”构建链中，这允许编译单元（源文件）在给定可能在另一个编译单元中定义的函数声明（成员函数与否）的情况下进行编译。

然后，链接器需要检测缺少函数的定义。

实际上，这意味着编译器可能会发出有关vtable的信息，但是（ahem）链接器会将vtable的规范链接到实际的成员函数。

Answer 4

GCC有一个FAQ条目来解决这个问题：

在构建C ++时， 链接器说我的构造函数，析构函数或虚拟表是未定义的，但我定义了它们

解决方案是确保定义所有非纯的虚方法。 请注意，即使声明为pure-virtual [class.dtor] / 7，也必须定义析构函数。