Что такое абстрактный класс?

Абстрактный класс — это класс, который нельзя инстанцировать напрямую. Он содержит один или более чисто виртуальных методов (методы без реализации), помеченных = 0. Используется как базовый класс для определения общего интерфейса для производных классов, которые обязаны предоставить реализацию этих чисто виртуальных методов.

Основные свойства:

• Нельзя создать объект абстрактного класса: AbstractClass obj; — ошибка.
• Может содержать обычные (не виртуальные) методы и поля данных.
• Может содержать виртуальные методы с реализацией и чисто виртуальные методы.
• На него могут ссылаться указатели или ссылки базового типа: AbstractClass* ptr = new DerivedClass();
• Производные классы, не реализующие все чисто виртуальные методы базового класса, также становятся абстрактными.

Пример использования для определения контракта:

cpp