В этом уроке мы разберем наследование. Это механизм, который позволяет создавать подклассы на основе уже существующих классов. Подклассы наследуют свойства и методы родительского класса и могут расширять их.

В TypeScript наследование реализуется с помощью ключевого слова extends:

// В TypeScript уже включен класс File, поэтому определим свой класс файла с именем CustomFile
class CustomFile {
  constructor(
    public name: string,
    public size: number,
  ) {}
}

class ImageCustomFile extends CustomFile {
  constructor(
    name: string,
    size: number,
    public width: number,
    public height: number,
  ) {
    super(name, size);
  }
}

Наследоваться можно только от одного класса. Но цепочка наследования может быть бесконечной. Например, класс ImageCustomFile наследуется от класса CustomFile, который может наследоваться от другого класса и так далее.

Вся цепочка наследования образует иерархию классов. Так происходит, потому что классы могут использоваться и как типы — иерархия классов полностью совпадает с иерархией типов. Подкласс является подтипом базового класса и может использоваться вместо него, при этом задавать более строгие ограничения:

const file = new CustomFile('open-world.jpeg', 1000);
const image = new ImageCustomFile('open-world.jpeg', 1000, 100, 100);

const showImage = (image: ImageCustomFile) => {
...
};
showImage(file); // Error

При наследовании можно переопределять методы родительского класса. При этом нужно либо сохранить сигнатуру метода, либо соблюдать некоторые правила:

• Типы параметров переопределенного метода бивариантны — они не ограничены
• Тип возвращаемого значения переопределенного метода ковариантен — он должен быть либо тем же, либо более узким

Родительский метод принимает string и возвращает string. Переопределенный метод должен иметь более широкий или более узкий тип — например, string | null или 'some string'. Возвращать же должен такой же или более узкий тип — например, 'some string':

class CustomFileFactory {
  createCustomFile(name: string, size: number): CustomFile {
    return new CustomFile(name, size);
  }
}

class ImageCustomFileFactory1 extends CustomFileFactory {
  createCustomFile(name: string, size: number): ImageCustomFile {
    // OK
    return new ImageCustomFile(name, size, 100, 100);
  }
}

class ImageCustomFileFactory2 extends CustomFileFactory {
  createCustomFile(name: "file", size: number): CustomFile {
    // OK
    return new ImageCustomFile(name, size, 100, 100);
  }
}

class ImageCustomFileFactory3 extends CustomFileFactory {
  createCustomFile(name: number, size: number): CustomFile {
    // Error!
    return new ImageCustomFile(name, size, 100, 100);
  }
}

class ImageCustomFileFactory4 extends CustomFileFactory {
  createCustomFile(name: string, size: number): {} {
    // Error!
    return new ImageCustomFile(name, size, 100, 100);
  }
}

Реализуйте класс HttpError, который должен наследоваться от встроенного класса Error и принимать первым параметром код ошибки, а вторым — message. Также реализуйте классы NotFoundError, UnauthorizedError, ForbiddenError. Каждый из них должен наследоваться от класса HttpError и иметь свойство status, которое равно коду ошибки и message — сообщение, передающееся в базовый класс. Коды ошибок: 404, 401, 403.

import { NotFoundError } from "./errors";

const error = new NotFoundError("Not Found");
console.log(error.status); // 404
console.log(error.message); // Not Found