函数定义上的纯说明符

Question

在 GCC 上编译时，我收到错误：函数定义上的纯说明符，但当我使用 VS2005 编译相同的代码时却没有。

class Dummy {   
  //error: pure-specifier on function-definition, VS2005 compiles 
  virtual void Process() = 0 {};
};

但是，当这个纯虚函数的定义不是内联时，它会起作用：

class Dummy
{
  virtual void Process() = 0;
};
void Dummy::Process()
{} //compiles on both GCC and VS2005

错误意味着什么？为什么我不能内联完成？如第二个代码示例所示规避编译问题是否合法？

Answer 1

好吧，我刚刚学到了一些东西。纯虚函数必须声明如下：

class Abstract 
{
public:
   virtual void pure_virtual() = 0;
};

它可以有一个函数体，尽管在声明点包含它是非法的。这意味着要拥有主体，纯虚函数必须在类外部定义。请注意，即使它有主体，该函数仍然必须被从 Abstract 派生的任何具体类覆盖。如果需要，他们可以选择显式调用 Abstract::pure_virtual()。

详细信息位于此处。

Answer 2

C++ 标准，10.4/2：

函数声明不能​​同时提供纯说明符和定义

Answer 3

此语法：

virtual void Process() = 0 {};

不是合法的 C++，但受 VC++ 支持。我一直不清楚标准为何不允许这样做。你的第二个例子是合法的。

Answer 4

根据定义，C++ 中的纯虚函数在声明中没有定义。

您的第二个代码块并没有避免编译器问题。它按照预期的方式实现了纯虚函数。

要问的问题是，如果您打算有一个默认实现，为什么需要将其声明为纯虚拟？

Answer 5

这在语法上是不允许的 - 可以包含纯说明符的声明符，即成员声明符，仅出现在不是定义的声明中。 [类.mem]
：

成员声明：
        属性说明符序列_opt
decl-specifier-seq_opt 成员声明符列表_opt ;
         函数定义

        [...]

成员声明符列表：
        成员声明符
         成员声明符列表
, 成员声明符

成员声明符：
       声明符
virt-specifier-seq_opt pure-specifier_opt
       声明符大括号或等于初始化器_opt
        标识符_opt 属性说明符序列_opt : 常量表达式

函数定义的语法不包含纯说明符， [dcl.fct.def.一般]：

函数定义：
     属性说明符序列_opt
decl-specifier-seq_opt 声明符 virt-specifier-seq_opt 函数体 >

Answer 6

您当然可以为纯虚函数提供主体。该函数将由该抽象类 vtable 指向。否则，相同的槽将指向特定于编译器的陷阱函数，例如 GCC 的 __cxa_pure_virtual。当然，标准中对此没有任何内容。