在 C++ 编译期间，'有虚拟方法......但非虚拟析构函数'警告是什么意思？

Question

#include <iostream>
using namespace std;

class CPolygon {
  protected:
    int width, height;
  public:
    virtual int area ()
      { return (0); }
  };

class CRectangle: public CPolygon {
  public:
    int area () { return (width * height); }
  };

有编译警告

Class '[C@1a9e0f7' has virtual method 'area' but non-virtual destructor

如何理解这个警告以及如何改进代码？

[EDIT] 这个版本现在正确吗？ （试图给出答案以阐明自己的概念）

#include <iostream>
using namespace std;

class CPolygon {
  protected:
    int width, height;
  public:
    virtual ~CPolygon(){};
    virtual int area ()
      { return (0); }
  };

class CRectangle: public CPolygon {
  public:
    int area () { return (width * height); }
    ~CRectangle(){}
  };

Answer 1

这意味着您需要在具有虚拟方法的基类上使用虚拟析构函数。

struct Foo {
  virtual ~Foo() {}
  virtual void bar() = 0;
};

不使用 is 会导致未定义的行为，通常在 valgrind 等工具中显示为内存泄漏。

Answer 2

如果一个类有一个虚方法，这意味着你希望其他类继承它。这些类可以通过基类引用或指针来销毁，但这仅在基类具有虚拟析构函数时才有效。如果你有一个应该多态可用的类，它也应该是多态可删除的。

这个问题也有深度回答here。下面是一个完整的示例程序，演示效果：

#include <iostream>

class FooBase {
public:
    ~FooBase() { std::cout << "Destructor of FooBase" << std::endl; }
};

class Foo : public FooBase {
public:
    ~Foo() { std::cout << "Destructor of Foo" << std::endl; }
};

class BarBase {
public:
    virtual ~BarBase() { std::cout << "Destructor of BarBase" << std::endl; }
};

class Bar : public BarBase {
public:
    ~Bar() { std::cout << "Destructor of Bar" << std::endl; }
};

int main() {
    FooBase * foo = new Foo;
    delete foo; // deletes only FooBase-part of Foo-object;

    BarBase * bar = new Bar;
    delete bar; // deletes complete object
}

输出：

Destructor of FooBase
Destructor of Bar
Destructor of BarBase

请注意，delete bar; 会导致调用 ~Bar 和 ~BarBase 这两个析构函数，而 delete foo; 仅调用 ~FooBase。后者甚至是undefined behavior，所以不能保证效果。

Answer 3

它只是意味着像这样的代码

CPolygon* p = new CRectangle;
delete p;

... 或任何包装成任何智能指针的东西， 由于 CPolygon 在删除时不是多态的，因此基本上不会正确运行，并且 CRectange 部分不会被正确销毁。

如果您不打算删除 CRectangle 和 CPolygon 多态，则该警告没有意义。