Ответ.

TypeScript реализует механизм проверки избыточных свойств (Excess Property Checking) для дополнительной безопасности, чтобы предупредить программиста об ошибках в объявлениях объектов, когда напрямую присваивается литерал объекта переменной с типом. Механизм появился из-за того, что структурная типизация TypeScript может допускать лишние необъявленные свойства, что часто приводит к ошибкам в логике программы, особенно при работе с API или формами.

История вопроса

Проверки избыточных свойств были введены для улучшения безопасности фронтенд-разработки, где структура объектов часто следует строгой контрактной модели (например, для сериализации в JSON). Когда объект создается как литерал и тут же передается функции или сохраняется в переменную определённого типа, TS выполняет "избыточную" проверку — ищет лишние свойства, которые не описаны в предполагаемом типе.

Проблема

Ошибка программиста может остаться незамеченной, если объект содержит опечатку или лишнее свойство, и такое свойство не будет использоваться должным образом или вовсе останется невидимым для бизнес-логики. Кроме того, Excess Property Checks могут сработать неожиданно — например, если объект не явно типизирован или обрабатывается с помощью spread-операторов или через промежуточные переменные.

Решение

TypeScript применяет Excess Property Checks к объектным литералам, которые присваиваются непосредственно переменной или параметру функции. Проверка ищет все свойства объекта и сверяет с объявленным типом — если лишние есть, будет ошибка компиляции.

interface UserProfile {
  name: string;
  age: number;
}

const user: UserProfile = {
  name: "Sam",
  age: 25,
  email: "sam@mail.com" // Ошибка: лишнее свойство email
};

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

interface FlexibleUser {
  name: string;
  [prop: string]: any; // Индекс сигнатура разрешает любые новые свойства
}

const user2: FlexibleUser = {
  name: "Sam",
  age: 25,
  email: "sam@mail.com" // Работает корректно
};

Ключевые особенности:

• Проверки лишних свойств применяются только к объектным литералам, присваиваемым явно типизированной переменной.
• Можно обойти проверки с помощью индекс сигнатуры или присваивания через промежуточную переменную.
• Защищает от тривиальных опечаток и ошибок структуры данных.

Вопросы с подвохом.

Если создать объект с лишним свойством, присвоить его переменной без типа, а потом переприсвоить тип, сработает ли Excess Property Checks?

Нет, избыточная проверка работает только при непосредственном присвоении литерала. Если объект создан заранее и потом только указывается тип, лишние свойства не выявляются.

const temp = {
  name: "John",
  age: 18,
  foo: "bar"
};
const u: UserProfile = temp; // Нет ошибки, foo проигнорировано

Работают ли Excess Property Checks для классов и экземпляров классов?

Нет, на классах и экземплярах классов эта проверка не выполняется, только для литералов объектов.

Можно ли отключить избыточные проверки глобально в настройках TS?

Нет, отдельной настройки для выключения нет. Однако, можно задать для свойств индекс сигнатуру или использовать оператор type assertion ('as'), чтобы явно указать, что проверка не нужна.

const special: UserProfile = {
  name: "Max",
  age: 22,
  hobby: "js"
} as UserProfile;

Типовые ошибки и анти-паттерны

• Использование type assertion для отключения проверки (может привести к пропущенным ошибкам в структуре объектов).
• Необоснованное использование индекс сигнатуры сбивает всю строгость описания типа.

Пример из жизни

Негативный кейс

Разработчик делает интерфейс для формы пользователя, разрешает все свойства через [key: string]: any, чтобы не возникало ошибок при лишних полях.

Плюсы: Не возникает ошибок компиляции при динамических данных

Минусы: Любые ошибки структуры формы или опечатки не выявляются, сложно искать баги

Позитивный кейс

Разработчик задаёт строгий интерфейс и использует отдельную функцию для трансформации динамических данных к строгой структуре, с предварительной валидацией.

Плюсы: Интерфейс всегда совпадает с ожидаемым контрактом, компилятор ловит опечатки, высокая поддерживаемость

Минусы: Нужно писать дополнительный код для проверки и маппинга динамических данных