struct A {
virtual ~A() = 0;
};
struct B : A {};
// A::~A() {}
int main() {
B{};
}
Почему программа содержит ошибку линковки?
undefined reference to `A::~A()'
Почему можно и нужно определять чисто виртуальную функцию?
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуstruct A {
virtual ~A() = 0;
};
struct B : A {};
// A::~A() {}
int main() {
B{};
}
Почему программа содержит ошибку линковки?
undefined reference to `A::~A()'
Почему можно и нужно определять чисто виртуальную функцию?
Пока деструктор не определен, не возможно удалять объекты, созданные на его базе. Виртуальный деструктор делает возможным удалять объекты, при обращении к родителю. Чисто виртуальный деструктор обычно не применяется, но не значит, что не может применяться.
зачем тогда разрешать конструкцию чисто виртуального деструктора, если он не может быть чисто виртуальным?
Ну а зачем запрещать? Можно придумать примеры, когда чисто виртуальный или защищенный деструктор может стать инструментом для решения конкретной задумки, также, как и удаленный или защищенный конструктор. Посмотрим на простом примере:
//file a.h
struct A {
//или наследник класса, имеющий такой деструктор
virtual ~A() = 0;
//много полезных функций, например
template<class Piece>
Piece* CreatePiece()
{
return new Piece;
}
};
#ifdef Core
A::~A() {};
#endif // Core
//file m.h
#define Core
#include "a.h"
//деструктор "А" определен
struct Builder : A { /*... */};
struct D {
//можно пользоваться строителем
Builder b;
};
//file X
#include "a.h"
//деструктор "А" не определен
struct My_locale : A {};
//нельзя пользоваться объектом класса
//не разрешен вызов деструктора базового класса
Абстрактный базовый класс, это частичка порожденного класса. И он может иметь у себя указатель, конструктор, выделяющий память и деструктор, её освобождающий. И этот класс также имеет у себя и конструктор и деструктор.
Абстрактность заключается в запрещении реального создания объекта чисто данного класса. Но можно создавать объекты других классов, у которых он является базовым.
Виртуальность деструктора позволяет вызывать удаление объекта основываясь только по указателю на абстрактный класс.
# include <iostream>
class Base {
public :
Base ();
virtual ~Base ()=0;
private :
int * ip ;
} ;
Base::Base(){
std::cout<<"Base()"<<std::endl;
ip = new int[10];
}
Base::~Base(){
std::cout<<"~Base()"<<std::endl;
delete[]ip;
}
class Son : public Base {
public :
Son ();
virtual ~Son ();
} ;
Son::Son():Base(){
std::cout<<"Son()"<<std::endl;
}
Son::~Son(){
std::cout<<"~Son()"<<std::endl;
}
int main(){
Base * b = new Son;
// вызов виртуального деструктора + удаляется объект Son
delete b ;
// реальный объект абстрактного класса создавать нельзя
// Base * bp = new Base;
}
смотрим как создаются и уничтожаются объекты :
Base()
Son()
~Son()
~Base()
Виртуальность заключается в запрещении реального создания объекта типа базового виртуального класса.
- а можно это как то детальнее расписать? а то выглядит суперстранно.