Классы

Они управляют видимостью членов. public — по умолчанию — доступен везде. private доступен только внутри объявляющего класса. protected доступен внутри класса и его производных классов. Эти модификаторы проверяются лишь на этапе компиляции и стираются из итогового JavaScript, поэтому для настоящей приватности в рантайме нужно использовать #private-поле.

Класс поддерживает типизированные поля экземпляра, constructor, методы, readonly-поля, задаваемые только в объявлении или конструкторе, static-члены, принадлежащие самому классу, а не экземплярам, и get/set-аксессоры, управляющие чтением и записью свойства. Поверх классов ES2015 TypeScript добавляет типы полей, модификаторы доступа и abstract.

class B extends A заставляет B наследовать члены A. Конструктор производного класса обязан вызвать super(...) до обращения к this. Методы можно переопределять, при желании помечая их override, а super.method() вызывает базовую версию. protected-член доступен в производных классах, а private — нет. TypeScript допускает только одиночное наследование — один базовый класс, — поэтому для нескольких контрактов используйте интерфейсы.

Аксессоры перехватывают чтение и запись свойства телами методов, при этом вызывающие пользуются обычным синтаксисом свойства. get name() выполняется при чтении свойства и возвращает значение; set name(v) выполняется при присваивании и получает новое значение. Они дают возможность добавить проверку, вычисление или логирование за obj.name. Свойство только с геттером фактически доступно лишь для чтения.

readonly помечает свойство как присваиваемое лишь один раз — при объявлении или внутри конструктора — после чего компилятор отвергает любое переприсваивание. Это только проверка на этапе компиляции, она стирается из итогового JavaScript, поэтому неизменяемости в рантайме не даёт. Он закрепляет привязку, а не содержимое: readonly-массив всё ещё можно изменить через push.

static-член принадлежит самому классу: он существует в единственном числе и доступен как ClassName.member, а не через экземпляр. Член экземпляра создаётся для каждого объекта при new и доступен через this. Внутри static-метода this — это класс.

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

private — аннотация TypeScript: проверяющий её соблюдает, а затем стирает, поэтому свойство остаётся в итоговом JavaScript и доступно через obj['x']. #x — поле ECMAScript, которое обеспечивает движок: код вне класса не может его назвать и не увидит в Object.keys.

Свойство-параметр — это параметр конструктора с модификатором доступа (public, private, protected) и/или readonly. TypeScript тогда автоматически объявляет поле класса с тем же именем и присваивает ему аргумент, поэтому constructor(private name: string) {} заменяет отдельное объявление поля плюс this.name = name. Это сокращение, убирающее шаблонный код.

Видимость. Модификаторы ортогональны: readonly управляет изменяемостью, private — видимостью. Обычное readonly-поле присваивается один раз, но читается снаружи; private readonly скрывает его и снаружи класса. Обе проверки — на этапе компиляции, они стираются при сборке.

На один уровень. readonly закрепляет привязку — свойство нельзя переприсвоить, — но не трогает объект, на который оно указывает, поэтому readonly items: string[] всё ещё допускает items.push(x). Readonly<T> так же поверхностен; настоящая глубина требует рекурсивного типа.

Он подавляет strictPropertyInitialization — проверку того, что поле без ? присвоено в объявлении или в конструкторе. ! не добавляет ни проверки в рантайме, ни инициализации, поэтому в поле вполне может лежать undefined, хотя тип обещает string.