Интерфейсы и типы

Interface описывает форму объекта — имена и типы его свойств и методов — как контракт времени компиляции. Он поддерживает необязательные члены (?), readonly-члены, сигнатуры методов и вызова и индексные сигнатуры. Класс может implements интерфейс, а объектные литералы проверяются по нему. Интерфейсы стираются при компиляции, поэтому не добавляют затрат во время выполнения.

Оба могут описывать форму объекта и там во многом взаимозаменяемы. Отличия: interface поддерживает слияние объявлений и является конвенцией для контрактов объектов, классов и публичных API; псевдоним типа type способен также выражать объединения, пересечения, кортежи, mapped- и conditional-типы и давать имя примитиву — ничего из этого interface не умеет. Правило: бери interface для расширяемых форм объектов и классов, а type — для объединений и вычисляемых типов.

Проверка лишних свойств — правило для свежих литералов объектов: литерал, присвоенный или переданный прямо на месте, отвергается, если у него есть член, не объявленный в целевом типе. Структурная типизация приняла бы его; правило ловит опечатки вроде widht.

TypeScript сравнивает типы по форме, а не по имени. Значение подходит Point, как только у него есть требуемые члены: ни implements, ни импорта, ни объявленной связи. В номинальном языке вроде Java имя должно совпасть — там код отвергли бы.

TypeScript использует структурную («утиную») типизацию — совместимость определяется формой объекта, а не его объявленным именем. Объект присваиваем типу, если у него есть нужные члены, даже если он явно не объявляет этот интерфейс, а два несвязанных типа с одинаковыми членами совместимы. Свежие объектные литералы дополнительно проходят проверку на лишние свойства. Это контрастирует с номинальной типизацией в Java или C#, где объявленное имя должно совпадать.

Литерал теряет свежесть, как только его связали с переменной, а проверку лишних свойств получают только свежие литералы. Остаётся структурная типизация: ей важно лишь наличие требуемых членов. Значение присваивается, и опечатка уцелевает.

Каждое объявленное свойство обязано укладываться в тип значений сигнатуры, поэтому { [k: string]: number; name: string } — ошибка. Ключ обязан быть string, number, symbol или template-literal-типом. Чтение не проверяется: obj.missing имеет тип number.

Берите extends, когда тип ваш: это явно, а новое имя само говорит, что перед вами. Слияние — для случая, когда переименовать нельзя: добавить член в чужой тип, например Express.Request или Window. Добавку тогда видит каждая существующая ссылка.

Оба описывают объект, значения которого имеют общий тип V, но ограничивают ключи по-разному. Индексная сигнатура { [k: string]: V } допускает любой ключ этого примитивного вида. Record<K, V> — это mapped-тип над известным набором ключей K, который может быть конечным объединением строковых литералов вроде Record<'a' | 'b', V> — тогда должны существовать ровно эти ключи. То есть Record может задать фиксированный набор ключей, а индексная сигнатура остаётся открытой.

Объявление одного и того же имени интерфейса несколько раз сливает объявления в один интерфейс, члены которого объединяются. Это применяют, чтобы дополнить существующие типы — например, добавить свойства к Window или расширить типы библиотеки через module augmentation. Так сливаются только интерфейсы и namespace; повторный псевдоним типа type с тем же именем — ошибка. Члены с одинаковым именем, но несовместимыми типами в разных объявлениях — тоже ошибка.

Интерфейс — открытое имя формы, поэтому второе объявление может добавить члены. Алиас — закрытая привязка к уже вычисленному типу (union, условному), и добавлять члены некуда. Второй алиас с тем же именем — дублирующийся идентификатор.

Поверхностное приближение, привязанное к свежести: проверяется литерал, написанный в месте присваивания, и только он. Значение, пришедшее через переменную, возврат или spread, проносит лишние члены насквозь: структурная типизация спрашивает лишь о требуемых членах.

Экспортированные члены namespace становятся статическими членами значения: function f() {} плюс namespace f { export const v = 1 } дают f.v. Они занимают разные пространства объявлений, поэтому компилятор их сцепляет, а не сталкивает.