我可以用纯虚拟函数覆盖虚拟函数吗？

Question

我有三个班级：B、D 和 G。 D 是 B，G 是 D。 B 和 D 都是抽象的。 B 来自第三方。

B 有一个非纯虚方法，G 需要实现（成为D）。我可以将虚函数重新定义/覆盖为纯虚函数吗？

例子：

class B // from a third party
{
public:
   virtual void foo();
};

class D : public B
{
public:
   void foo() override = 0; // allowed by gcc 4.8.2
   virtual void bar() = 0;
};

class G : public D
{
public:
   // forgot to reimplement foo
   void bar() override;
};

int main()
{
   G test;  // compiler error is desired
}

对于“我可以吗？”的问题gcc 允许，但我没有术语/词汇来验证该行为是标准的一部分还是未定义并且恰好在今天起作用。

Answer 1

你问：

我可以用纯虚函数覆盖虚函数吗？

答案是：是的，你可以。来自 C++11 标准：

10.4 抽象类

5 [ 注意： 抽象类可以派生自非抽象类，纯虚函数可以覆盖非纯虚函数。 —尾注 ]

Answer 2

如果您使用更现代的编译器编译代码，那么您将收到以下解释问题的错误消息

prog.cc:23:6: error: variable type 'G' is an abstract class
   G test;  // compiler error is desired
     ^
prog.cc:10:9: note: unimplemented pure virtual method 'foo' in 'G'
   void foo() override = 0; // allowed by gcc 4.8.2
        ^
1 error generated.

至于标准（10.3 虚函数）

11 应定义在类中声明的虚函数，或 在该类中声明为纯（10.4），或两者兼而有之；但没有诊断 必需 (3.2)。