Необязательное свойство и свойство с неопределенным значением выглядят похоже, но принципиально отличаются. Если у объекта отсутствует свойство, доступ к нему возвращает undefined. Аналогично, если свойство существует, но его значение явно установлено в undefined, доступ к нему также возвращает undefined. Однако оператор in выявляет фундаментальное различие: значение in объект возвращает false, когда свойство отсутствует, и true, когда оно присутствует с неопределенным значением. В TypeScript необязательное свойство, обозначенное ?, означает, что свойство может отсутствовать в объекте. Это различие имеет решающее значение для API, где пропуск свойства означает "без изменений", но явное присвоение ему значения undefined указывает на другое намерение. Опция компилятора exactOptionalPropertyTypes обеспечивает соблюдение этого различия, запрещая явное присвоение undefined необязательным свойствам, если к типу явно не добавлено | undefined. Такое точное типирование ценно для конфигурационных объектов и механизмов обновления, где наличие свойства имеет семантическое значение. Например, функция обновления может игнорировать пропущенные поля, но обрабатывать поля, установленные в undefined, иначе. Понимание этого различия жизненно важно для надежного проектирования API и точного манипулирования объектами.