C++类外的虚函数实现

Question

我是 C++ 新手。在尝试示例多态性代码时，我发现派生类中的基类虚函数定义只有在派生类内部定义或在派生类中声明外部时才可能。

以下代码给出错误：

class B
{
public:
    virtual void f();
};

void B::f() {
    std::cout<<"B::f";
}

class D : public B
{
public:
    void f2() {int b;}
};

// error: no "void D::f()" member function declared in class "D"
void D::f() {
    std::cout<<"D::F";
}

如果我在 D 中声明 f() ，它就会起作用。我想知道为什么当函数已经在基类中声明时，我需要再次显式声明该函数。编译器可以从基类获取签名吗？

提前致谢..

Answer 1

您不能将成员添加到类定义之外的类中。如果您希望D 覆盖B::f，那么您必须在类定义中声明它。这些就是规则。

在基类中声明成员不会自动为派生类提供相同的成员。从基类继承为派生类提供了基类的所有成员，因此您可以选择是否重写、隐藏或添加基类成员，但必须通过声明重写函数来在类定义中指示重写的选择。

Answer 2

尽管 D 派生自 B，因此您可以在 D 的实例上调用 f()，但这并不意味着您不需要将声明放入标头中。

您实现的任何函数都必须在标头中显式声明。

但是，您不需要将其实现放在那里。只是

class D : public B
{
public:
   /*virtual*/ void f();
};

您可以选择是否在此处包含“虚拟”一词

Answer 3

在 C++ 中，类定义告诉编译器该类实现了哪些函数。因此，如果要编写函数“D::f()”，则必须在 D 的类定义中包含 f()。

函数“B::f()”已在基类中定义的事实是无关紧要。每个类定义必须显式声明它实现的函数。

Answer 4

更改 D 类的代码如下并尝试：

class D : public B
{
public:
    void f() override;
};

// error: no "void D::f()" member function declared in class "D"
void D::f() {
    std::cout << "D::F";
}