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

Абстрактные классы — это специальный тип классов в объектно-ориентированном программировании, которые предназначены для создания базовой структуры, но не могут быть инстанцированы напрямую. Они служат основой для других классов, которые наследуют их свойства и методы.

Основные особенности абстрактных классов:

1. Невозможно создать экземпляр: Вы не можете создать объект абстрактного класса. Он предназначен только для наследования.
2. Абстрактные методы: Абстрактные классы могут содержать абстрактные методы — методы без реализации, которые должны быть реализованы в подклассах.
3. Создание иерархий классов: Абстрактные классы позволяют создавать иерархии, где общий функционал описан в абстрактном классе, а специфичный функционал — в подклассах.

Пример абстрактного класса в TypeScript:

Давайте рассмотрим пример, как мы можем использовать абстрактные классы в TypeScript:

// Определим абстрактный класс
abstract class Animal {
    // Абстрактный метод без реализации
    abstract makeSound(): void;

    // Метод с реализацией
    move(): void {
        console.log("Animal is moving!");
    }
}

// Подкласс Dog наследует от Animal
class Dog extends Animal {
    // Реализуем абстрактный метод
    makeSound(): void {
        console.log("Woof! Woof!");
    }
}

// Подкласс Cat наследует от Animal
class Cat extends Animal {
    // Реализуем абстрактный метод
    makeSound(): void {
        console.log("Meow! Meow!");
    }
}

// Ошибка: нельзя создавать экземпляр абстрактного класса
// const animal = new Animal(); // Ошибка

// Создаем экземпляры подклассов
const dog = new Dog();
const cat = new Cat();

dog.move();  // Вывод: Animal is moving!
dog.makeSound(); // Вывод: Woof! Woof!

cat.move();  // Вывод: Animal is moving!
cat.makeSound(); // Вывод: Meow! Meow!

Объяснение кода:

1. В этом примере мы создаем абстрактный класс Animal, который содержит абстрактный метод makeSound(), а также метод move(), который имеет реализацию.
2. Классы Dog и Cat наследуются от Animal и предоставляют свою реализацию для метода makeSound().
3. Мы не можем создать экземпляр Animal, потому что это абстрактный класс. Вместо этого мы создаем экземпляры подклассов Dog и Cat, которые реализуют необходимые методы.

Заключение

Абстрактные классы — мощный инструмент в объектно-ориентированном программировании, который помогает организовывать код, обеспечивать гибкость и повторное использование. Они особенно полезны, когда необходимо создать базовые классы с общим функционалом, который будет использоваться и модифицироваться специфичными подклассами.