声明纯虚函数时 C++ LNK2001 错误

Question

我有两个类，基类A和派生类B。定义如下:

Class A {
public:
    A()
    {
        ImpleDefinition();
    }
    ~A()=default:

protected:
    virtual void ImplDefinition()=0;
}

class B : public A
{
public:
    B() : A()
    {
    }
    ~B()=default;

private:
    void ImplDefinition() override
    {
        /*Some detailed implementation*/
    }
}

因此，在编译此代码时，编译器报告“error LNK2001:无法解析的外部符号”错误。从代码本身来看，我看不出我犯了任何错误。有趣的是，如果我将“ImplDefinition”从纯虚函数更改为虚函数。

void ImplDefinition() {};

然后一切正常。这种情况该如何解释？

Answer 1

问题是您在 A::A() 中调用虚函数 ImplDefinition()。当在基类的构造函数中，当前对象始终是基类子对象，派生类部分根本不构造；这将在稍后执行。那么纯虚的A::ImplDefinition()就会被调用并导致错误；这里没有动态调度，B::ImplDefinition() 根本不会被调用。

进一步阅读When my base class’s constructor calls a virtual function on its this object, why doesn’t my derived class’s override of that virtual function get invoked?