Почему TypeScript не правильно определяет тип?

Question

[RDMStreet]

Есть запрос через библиотеку prisma, который возвращает значение с типом User[]. Почему при получение элемента с индексом 0 из этого массива я получаю переменную с типом User, а не User | undefined? Массив же может быть пустым.

Answer 1

[Дмитрий Беляев]

Потому что по сути под капотом такой тип:

type Array<T> = {
  length: number;
  [i: number]: T;
} & ArrayMethods<T>;

где ArrayMethods - описание методов из прототипа

Comments

[RDMStreet]

Понятно, а в таких ситуациях получается, что мне стоит прописывать тип переменной вручную?

[Aetae]

RDMStreet, если хочешь. Typescript далёк от идеала и построен на компромиссах. Обычно никто не хочет проверять на существование каждый элемент массива при каждом использовании, потому и тип предполагает наличие. Что-то иное - да, только самому.