我的基本理解是没有纯虚函数的实现,然而,我被告知可能有纯虚函数的实现。

class A {
public:
    virtual void f() = 0;
};

void A::f() {
    cout<<"Test"<<endl;
}

上面的代码可以吗?

让它成为一个带有实现的纯虚函数的目的是什么?


当前回答

需要明确的是,你误解了什么= 0;后有虚函数的意思。

= 0表示派生类必须提供实现,而不是基类不能提供实现。

在实践中,当您将虚函数标记为纯(=0)时,提供定义几乎没有什么意义,因为它永远不会被调用,除非有人通过Base:: function(…)显式地这样做,或者如果基类构造函数调用了所讨论的虚函数。

其他回答

如果我问你动物的声音是什么,正确的回答是问哪种动物,这正是纯虚函数或抽象函数的目的,当你不能在基类(animal)中提供函数的实现,但每个动物都有自己的声音。

class Animal
{
   public:
       virtual void sound() = 0;
}

class Dog : public Animal
{
   public:
       void sound()
       {
           std::cout << "Meo Meo";
       }
}

如果您有应该由派生类执行的代码,但不希望它直接执行——并且希望强制重写它。

您的代码是正确的,尽管总的来说这不是一个经常使用的特性,而且通常只在试图定义纯虚析构函数时才会看到——在这种情况下,您必须提供一个实现。有趣的是,一旦从该类派生出来,就不需要重写析构函数了。

因此,纯虚函数的一个合理用法是将纯虚析构函数指定为“非final”关键字。

下面的代码是惊人的正确:

class Base {
public:
  virtual ~Base() = 0;
};

Base::~Base() {}

class Derived : public Base {};

int main() { 
  // Base b; -- compile error
  Derived d; 
}

需要明确的是,你误解了什么= 0;后有虚函数的意思。

= 0表示派生类必须提供实现,而不是基类不能提供实现。

在实践中,当您将虚函数标记为纯(=0)时,提供定义几乎没有什么意义,因为它永远不会被调用,除非有人通过Base:: function(…)显式地这样做,或者如果基类构造函数调用了所讨论的虚函数。

你必须给一个纯虚析构函数一个主体,例如:)

阅读:http://cplusplus.co.il/2009/08/22/pure-virtual-destructor/

(链接中断,使用存档)

纯虚函数有或没有主体仅仅意味着派生类型必须提供它们自己的实现。

如果派生类想要调用基类实现,基类中的纯虚函数体非常有用。