Как сделать типизацию под случай undefined в объекте?

Question

[MishaXXL]

Как обычно описывают такой случай в интерфейсе для undefined?

cards: Cards = {}
card = this.cards[card_id] // Type 'undefined' cannot be used as an index type.

export interface Cards {
    [x: string]: AnyCard
}

interface AnyCard {
    id: string
    value: string
}

При попытке добавить undefined, все равно ругается

Property 'undefined' of type 'undefined' is not assignable to 'string' index type 'AnyCard'.

export interface Cards {
    [x: string]: AnyCard
    undefined: undefined
}

Answer 1

[Aetae]

Никак. Тип undefined не может быть ключом в принципе.
Из вариантов:
1. Убедиться что ключ не undefined руками:
card = card_id && this.cards[card_id];
2. Заставить ts думать, что ключ есть даже если его нет(и взять на себя ответственность за возможные ошибки):
card = this.cards[card_id!];
3. Явно привести к строке:
card = this.cards[String(card_id)];

Comments

[WbICHA]

Только второй пункт лучше всё же через as string, имхо, потому что намного заметнее, нежели одинокий восклицательный знак.

[Aetae]

WbICHA, абсолютно не согласен. Во-первых восклицательный знак отлично читаем, во-вторых as это уже каст типа и шансов накосячить скастовав излишне щедро тут куда больше, чем выкинув null/undefined.

[WbICHA]

Aetae, он по определению не может отлично читаться банально потому, что это один маленький символ в сплошном тексте.) Одно дело заметить его в одной единственной строке, а другое дело, когда ты листаешь сотню строчек кода.
А во-вторых, всегда можно использовать as Required<typeof value> если уж такое дело.)
Но в любом случае это редкий кейс когда тс тупит и андефайнд не убирает, в остальных случаях чек нужен и именно по этой причине я предпочитаю сделать его максимально заметным.

[MishaXXL]

ох уж этот тайпскрипт )
card_id! это выражение говорит ТС, что мы жопу ставим на то, что мы точно не получим undefined?
Как оно называется в ТС?

[Aetae]

MishaXXL, ага, именно так. Называется "non-null assertion operator".
WbICHA, я считаю что кастовать типы следует только тогда, когда ты именно кастуешь типы. Если ты делаешь какую-то иную тумбу-юмбу, то это только засоряет восприятие. Лучше либо коммент написать, либо кастануть по настоящему как в п3.