[c++] abstract virtual destructor

[Mayor]

[c++] abstract virtual destructor

Код:

#ifndef window_cairo__HH
#define window_cairo__HH
struct point {
	int x;
	int y;
	point(int a,int b) : x(a),y(b) { } ;
};
#include <iostream>
using std::cout;
using std::endl;
class window {
	public:
	virtual point current() =0 ;
	virtual void current(const point& p) = 0;
	virtual void line(const point& p) =0;
	virtual void paint()=0;
	virtual ~window() {
	cout<<"destroing abstract window"<<endl;
	};
};
#endif

#ifndef xlib_window__HH
#define xlib_window__HH
#include "window.h"
#include<cairo-xlib.h>
class xlib_window : public window {
	Display *dpy;
	Window rootwin;
	Window win;
	int scr;
	cairo_t *cr;
	cairo_surface_t *surface;
	point p;
	public:
	xlib_window(int x=500,int y=300,const char* pc="hello");
	virtual point current();
	virtual void current(const point& cp);
	virtual void line(const point& p) ;
	virtual void paint();
	virtual ~xlib_window();
};
#endif

#include "xlib_cairo_window.h"

window* window_factory(string class_name,
		int x,int y ,const char* pc) {
	if (class_name=="1") x++;
	window *p=new xlib_window(x,y,pc);
	return p;
}


#include "factory.h"
#include <iostream>
int main() {
	window* p=window_factory("asdf",400,500,"alpha");
	p->paint();
	delete p;
        return 0;
}
// не скомпилится тк не выложил реализацию xlib cairo window

как отключить предупреждение компилятора, о невиртуальном деструкторе только в абстрактном классе window?

после определения виртуального деструктора в абстрактном классе window, он стал зачем-то вызываться в delete p - это я неправильно определил деструктор в наследуемом классе или недопонял стандарт с++ ?

[Алексей++]

виртуальный деструктор вызовется тот, который принадлежит типу изначально создаваемомого объекта - xlib_window.

window *p=new xlib_window(x,y,pc);
delete p;//вызовется ~xlib_window(), ~window()
p=0;


window *p=new window(x,y,pc);
delete p;//вызовется ~window()
p=0;

-------------------------
А если сделать деструктор не виртуальным, то будет такой результат

window *p=new xlib_window(x,y,pc);
delete p;//вызовется  ~window()
p=0;


window *p=new window(x,y,pc);
delete p;//вызовется ~window()
p=0;

[Вад]

В чём, собственно, проблема? Виртуальный деструктор нужен для того, чтобы корректно освобождать память под потомками по указателю на предка. Если ты этого не сделешь, произойдёт некорректное (неполное) уничтожение объекта. Так что не надо у абстрактного класса убирать виртуальный деструктор, и компилятор всё правильно предупреждает.

[Mayor]

В чём, собственно, проблема? ...
... Так что не надо у абстрактного класса убирать виртуальный деструктор, и компилятор всё правильно предупреждает.

проблемма в непонимании принципов работы виртуального деструктора - я подумал, что допустил какой-то косяк в определении абстрактного класса и из-за этого был вызван его деструктор

те я думал, что если деструктор виртуальный, то он вызывается только для класса с которого создавался объект, а оказалось он еще зачем то должен вызыватья для класса из которого создан указатель

а почему стандартная схема не используется начиная с вызова деструктора потомков, потом промежуточных, а потом деструтора базового класса?

да кстати относительно понимания: в xlib_window слова virtual уже лишние?

а может нужно было сделать в абстрактном классе деструктор тоже абстрактным?

[Вад]

Деструкторы предков вызываются потому, что только они заботятся об освобождении данных, хранимых этими предками. Поэтому любой деструктор потомка содержит неявный вызов деструктора предка (точнее, деструкторов всех прямых предков - может иметь место множественное наследование).

Виртуальный же деструктор отличается от обычного только тем, что в виртуальную таблицу заносится адрес деструктора потомка, чтобы при вызове delete для указателя на предок можно было корректно освободить объект, на самом деле являющийся потомком, вызвав его деструктор. Дальше цепочка вызовов деструкторов ничем не отличается от цепочки при вызове delete для потомка.

Вторично virtual для метода потомка можно уже не указывать. Если совпадает имя и сигнатура, он в любом случае будет виртуальным, если метод предка виртуальный.