删除 C++0x 中的虚拟函数

Question

目前尚不清楚如果我删除 C++0x 中的虚拟方法会发生什么：

 virtual int derive_func() = delete;

这是否意味着该类以及从它继承的所有内容都无法定义/实现 derive_func() 方法？或者这是非法/编译错误？

Answer 1

http://www.open-std .org/jtc1/sc22/wg21/docs/papers/2007/n2326.html#delete
删除的虚拟函数不能覆盖未删除的虚拟函数，反之亦然。
这意味着它非常无用（至少正如我读到的那样）唯一有效的用途是：

struct A{
     virtual void b() = delete;
};
struct B:A{
     virtual void b() = delete;
};

这是完全无用的，因为该函数永远无法被调用。对于非虚函数，使用更合理

编辑
需要完全明确的是，这是唯一可能的关系，子级可能不会实现，并且您可能无法删除未删除的继承虚拟。

Answer 2

flownt 说得对，但我想指出的是，在最终的 C++11 草案（N3337）中，相应的语言已移至第 10.3#16 节：

具有已删除定义的函数不得覆盖函数
没有删除的定义。同样，一个函数
没有删除的定义不得覆盖函数
已删除的定义。²

对我来说（第 8.4.3#1 节）似乎相当清楚，删除的定义实际上可以算作定义，实际上是一个内联定义，这意味着删除的定义满足 10.3#11：

应定义或声明在类中声明的虚函数
在该类别中纯正，或两者兼而有之；但不需要诊断。²

然而，当前的实现似乎不一致。这是我的测试用例：

struct Base {
    virtual void bar();
    virtual void foo() = delete;
};

void Base::bar() { }  // a definition of the first non-inline virtual function
int main() { Base b; }

• Clang 生成一个不可链接的程序：Base::foo 在 Base 的 vtable 中提到。如果你交换 foo 和 bar 的顺序，链接器会抱怨整个 vtable 丢失了（因为 Clang 认为 foo 是一个非-没有定义的内联函数）。 我将此作为错误提交；我们将看看开发人员的想法。

• GCC 抱怨在创建 vtable 时在翻译单元末尾“使用”了 foo；但它确实正确地将 bar 识别为第一个非内联虚拟成员函数，无论 foo 和 bar 的顺序如何。