Как правильно указать тип?

Question

[G F]

Пытаюсь сделать функцию которая бы принимала в качестве key - только ключи объекта типа string. Получилось это сделать, но внутри функции не могу использовать key как индекс. Я так понимаю перед использованием надо убедиться что пришло не never? Подскажите куда копать.
Код:

Сори что скрином, другого нет сейчас

Comments

[WbICHA]

Собственно, у тебя нет проверки в коде какой тип у T[K], только в типе для key проверяешь. Иными словами сейчас ничего не мешает value[key] быть не строкой, что, естественно, приведёт к ошибке.

[G F]

WbICHA, пробовал добавлять гвард вида

typeof value[key] === 'string'
// Или
typeof key === 'string'

Непосредственно перед вызовом match, не помогает :(

[G F]

В доках тоже примера с кондишеналами с невер в параметре не нашел

[G F]

https://github.com/microsoft/TypeScript/issues/30728
Hmmm

[WbICHA]

G F, если не ошибаюсь, тут уже ограничения тса, он так глубоко в это дело не смотрит.
Мне сейчас очень неудобно это самому всё проверять, так что пока что есть такой вариант:
(value[key] as string).match()

[G F]

WbICHA, нашел, можно использовать Record для этих целей.

[WbICHA]

G F, а он разве не равносилен записи: { [key: T1]: T2 }? Просто не очень понимаю каким образом он решил проблему?

[G F]

WbICHA, ну проверка на never ушла. Надо будет посмотреть подробнее когда до компа доберусь. А то полтора часа гуглинга с телефона чёт выматывают. Потом обновлю решение

[G F]

Я сам не совсем понимаю

[G F]

WbICHA, да ты прав, оно хоть и работает как я хотел, но описание ошибки не очень

[G F]

При несоответствии ключей всегда будет жаловаться на первый несовпадающий по типу ключ, а не на переданный(

Answer 1

[G F]

https://www.typescriptlang.org/play?#code/PTAEHUFM...
Вот решение, как буду за компом приведу в нормальный вид, уж очень неудобно с телефона печатать)

Comments

[G F]

Такое себе решение ошибка не информативная получается (всегда эта при несоответствии ключей)

[WbICHA]

G F, тем не менее оно рабочее.) Можешь тсдоком добавить описание что там должно быть, думаю станет вполне информативно.

[WbICHA]

G F, я, кстати, заменил Рекорд на { [key: K]: T } и он начал на кей ругаться. :/
То есть это не одно и тоже, хотя и отличий я не вижу.

[G F]

WbICHA, ох уж этот тайпскрипт) когда начинаешь делать что-то сложнее базовых интерфейсов, начинается такое... ну ладно, учусь потихоньку)