Co oznacza komunikat "ma metodę wirtualną ... ale nie jest wirtualizatorem" podczas kompilacji 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); } 
    }; 

Has ostrzeżenie kompilacji

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

Jak rozumieć to ostrzeżenie i jak poprawić kod?

[EDIT] czy ta wersja jest teraz poprawna? (Próbując odpowiedzieć, aby wyjaśnić sobie koncepcję)

#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

Jeśli klasa ma metodę wirtualną, oznacza to, że chcesz, aby inne klasy dziedziczyły po niej. Te klasy mogłyby zostać zniszczone przez referencję lub wskaźnik klasy bazowej, ale działałoby to tylko wtedy, gdyby klasa podstawowa posiadała wirtualny destruktor. Jeśli masz klasę, która powinna być użyta polimorficznie, powinna być również usuwana polimorficznie.

Na to pytanie odpowiada również głębia here. Poniżej znajduje się pełna przykład program, który pokazuje wpływ:

#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 
} 

wyjściowa:

Destructor of FooBase 
Destructor of Bar 
Destructor of BarBase 

Zauważ, że delete bar; przyczyny oba destruktory, ~Bar i ~BarBase, aby nazwać, podczas delete foo; wywołuje tylko ~FooBase. Ten ostatni jest nawet undefined behavior, więc efekt nie jest gwarantowany.

Answer 2

oznacza to, że potrzebujesz wirtualnego destruktora w klasie bazowej przy użyciu metod wirtualnych.

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

Pozostawienie go jest może doprowadzić do nieokreślonego zachowania, zazwyczaj pojawia się jako wyciek pamięci w narzędzia, takie jak valgrind.

Answer 3

Oznacza to jedynie, że kod jak

CPolygon* p = new CRectangle; 
delete p; 

... lub cokolwiek zawijania do jakiegokolwiek inteligentnego wskaźnika, zasadniczo nie będzie zachowywać się poprawnie, ponieważ CPolygon nie jest polimorficzny o usunięcie, a część CRectange nie będzie właściwie zniszczone.

Jeśli nie usuniesz polimorficzności CRectangle i CPolygon, to ostrzeżenie nie ma znaczenia.