Доброго времени суток!
Стивен Прата прав, возможно лишь, он не уточнил, что объект абстрактного класса нельзя создать напрямую, т.е. на стеке или через оператор new:
#include <iostream>
using namespace std;
// Абстрактный базовый класс
class AbstractBase
{
public:
AbstractBase() {}
virtual ~AbstractBase() {}
virtual void show() = 0;
};
class Derived : public AbstractBase
{
public:
Derived() {}
~Derived() {}
void show() { cout << "I am Derived" << endl; }
};
int main()
{
AbstractBase sbase; // ОШИБКА: нельзя создать объект абстрактного класса
AbstractBase *pbase = new AbstractBase; // ОШИБКА: нельзя создать объект абстрактного класса
Derived sd; // OK: создание класса наследника на стеке
AbstractBase *d0 = new Derived; // OK: создание класса наследника с автоматическим приведением к базовому "в куче"
Derived *d1 = new Derived; // создание класса наследника "в куче"
sd.show();
d0->show();
d1->show();
delete d0;
delete d1;
return 0;
}
Вопрос, почему нельзя создавать объект абстрактного базового класса - потому что он содержит чисто виртуальные функции не имеющие реализации (они предназначены для реализации в классах наследниках). Если бы можно было создавать объекты таких классов, то непонятно тогда, как вызывать функции этих классов, не имеющие реализации?
Что касается коструктора(ов)/деструктора: это просто функции, да, это специальные функции - но это функции, и в целом их вызов ничему не противоречит.
Почему в классе наследнике вызывается конструктор базового класса (а точнее всех базовых в порядке наследования)? Поскольку при наследовании данные и функции базового класса как бы добавляются к данным и функциям класса наследника (ну, за исключением тех самых чисто виртуальных и виртуальных функций). Поэтому мы обязаны проинициализировать сначала поля базового класса, а затем наследника(ов). Если мы этого не сделаем, то при любом обращении к этим полям получим UB!
Вам следует обратить внимание вот на какие детали (про которые Прата, возможно, умолчал):
- Порядок вызова конструкторов и деструкторов четко определен.
- Вызов чисто виртуального метода в конструкторе абстрактного класса - это UB!
- Отсутствие виртуального деструктора абстрактного базового класса приводит к тому, что этот деструктор никогда не будет вызываться (что в свою очередь может привести к утечке памяти).
Надеюсь, ответил на Ваш вопрос наиболее полно. Если есть вопросы - задавайте!
Успехов!