TypeScript 5.8 satisfies vs as — объясните разницу на живом примере

[olga8]

Читаю код коллег и вижу что многие до сих пор пишут as Config везде где попало. Пробовал объяснить зачем satisfies — не очень доходит. Может кто сформулирует коротко и понятно: в каком случае satisfies лучше и когда всё-таки нужен as? Хочу на конкретном примере.

[alex42]

Главное отличие — satisfies проверяет тип но не меняет его. То есть если написать const palette = { red: [255, 0, 0], blue: '#0000ff' } satisfies Record<string, string | number[]> — TypeScript убедится что форма соответствует, но переменная palette останется с литеральным типом, и palette.red будет number[], а не string | number[]. С as вы просто говорите компилятору «верь мне», проверки нет.

[hunter22]

Короткий рецепт: as только когда вы точно знаете больше компилятора (например, после рантайм-проверки, или приводите к неизвестному типу из external lib). satisfies — когда хотите валидировать форму объекта и при этом сохранить точные типы полей для автодополнения. as отключает проверки, satisfies их добавляет.

[coder_vlad]

@alex42, Ещё важно: satisfies не работает как утверждение типа при передаче в функцию. Если функция ожидает Config, а вы передаёте литерал с satisfies — всё равно нужен явный тип на переменной или прямая передача. Это сбивает с толку поначалу.

[tommee]

В 5.8 добавили ещё инференс для satisfies в дженерик-контекстах, раньше было несколько неочевидных кейсов где он не сужал как ожидалось. Теперь работает лучше с условными типами.