Как сделать generic для value объекта?

Question

[Grishalovesfront]

Всем доброго времени суток! Учу тайпскрипт, пока только изучаю и пробую себя, в целом типизация для меня что-то новое, и у меня вопрос.

Есть такой код

type myObjectTypes = {
 name:  string;
 number:  number
}

type myObjectKeys = keyof myObjectTypes;

const myObject: myObjectTypes = {
 name: 'Alex',
 number: 1337
}


const myFunction = (key:  myObjectKeys): <???> => myObject[key as string];

Собственно просто функция которая будет возвращать value объекта по ключу. А вопрос в том, что надо написать в <???> что бы я знал какой тип вернется по этому ключу, что то типа
keyof myObjectTypes, только для его value по ключу который я передаю. Не могу разобраться :)
Заранее спасибо!

Comments

[Rerurk]

Есть же Map для этих целей, пардон если сути вопроса не понял

Answer 1

[Alexandroppolus]

Ссылка

const myFunction = <K extends keyof MyObjectTypes>(key: K): MyObjectTypes[K] => myObject[key];

суть: передаем в myFunction значение, которое может быть только одним из ключей MyObjectTypes (ограничение extends keyof MyObjectTypes)
по этому переданному значению определяется конкретное К - сужение типа до одного ключа.
ну и далее MyObjectTypes[K] по этим данным уже точно знает свой тип.

Comments

[Alexandroppolus]

как вариант, можно определить тип, потом создать функцию. Тогда в самой функции не надо ничего обвешивать типами

type MyFunction = <K extends keyof MyObjectTypes>(key: K) => MyObjectTypes[K];

const myFunction: MyFunction = (key) => myObject[key];

[Grishalovesfront]

Спасибо! Помогло разобраться :)

Answer 2

[WbICHA]

Во-первых, [key as string] - это ошибка, должно быть просто [key].
Во-вторых, помимо того, что Alexandroppolus в своём ответе указал, можно вообще не указывать возвращаемый тип, тс сам его определит.

Comments

[Alexandroppolus]

можно вообще не указывать возвращаемый тип, тс сам его определит.

у нас @typescript-eslint/explicit-function-return-type

я, в общем, согласен с этим правилом. TS дополнительно подстраховывает. Хотя иногда оно кажется лишним

[WbICHA]

Alexandroppolus, глупое правило, имхо, и даже вредное, поскольку можно случайно изменить тип на более общий:
https://www.typescriptlang.org/play?#code/JYOwLgpg...
При этом требует дополнительных сил, чтобы это всё прописать, при этом она ни от чего не защищает (только в редких случаях, но для некоторых функций итак лучше прописывать), поскольку случайное изменение возвращаемого типа итак сразу выявит себя ошибками в месте вызова.

Если что, никого не призываю, просто высказываю своё мнение.

[Alexandroppolus]

WbICHA, лично мне оно нравится там, что в процессе кодинга как бы локализует ошибку. Вот я задал функции возвращаемое значение, и пока работаю с кодом внутри неё, у меня перед глазами тут же проверка. При этом в 99 местах её использования - тишина и спокойствие.
А если тип не указывать, то мой прямо сейчас редактируемый код не показывает ошибку, зато повсеместно зажигаются огоньки, и куча ошибок в watch, которые суть одна и та же ошибка, причем могут автоматом меняться типы других функций, и это приведет к дополнительным еррорам второго и т.д. порядка. А если я ещё параллельно редактирую другие функции, которые могут использоваться в моей и как-то определять возвращаемый тип, то там вообще может быть веселье.
В бытность плюсовиком, наблюдал ошибки компиляции, которые уехали от исходной точки на много файлов и строк. Так что локальность ошибок могу оценить по достоинству )

[WbICHA]

Alexandroppolus, как я и написал выше, всё зависит от функции. Никогда не указывать тип ещё хуже, чем всегда его указывать, но это итак понятно, однако это правило категорично и этим оно мне не нравится. Если функция достаточно большая, то указывать возвращаемый тип логично и правильно, но когда это однострочная функция, то это уже явный перебор.

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

глупое правило, имхо, и даже вредное, поскольку можно случайно изменить тип на более общий

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

[WbICHA]

Дмитрий Беляев, в пакетах функции, которые экспортируются, безусловно необходимо указывать возвращаемый тип, тут без вариантов, других проверок не будет (не считая тестов), но вот насчёт мелких функций не могу согласиться.
Ситуации, когда я поменял тип функции и не заметил этого вот прям сразу, припоминаю всего парочку и те сразу вызвали ошибки в других местах, а вот парочка моих коллег, которые менее опытны в тс и очень любят всё излишне типизировать, уже несколько раз меняли тип объектов ненароком, что в рамках их задачи не было заметно, однако изменённый реальный тип никуда не делся.
Так что лично для меня лучше пусть будет ошибка, которую можно легко отследить, нежели получить скрытое изменение типа, что приведёт к геморрою в будущем.

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

WbICHA, как раз таки, если тип прописан явно - то его изменение явно будет видно в коммите, а вот если выводится - на ревью можно и пропустить...

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

WbICHA, хм, кажись я спутал с @typescript-eslint/explicit-module-boundary-types
которое требует явные типы для экспортов, а это у меня выключено: https://github.com/bingo347/eslint-config/blob/mai...

[WbICHA]

Дмитрий Беляев, всё верно, но в моём случае при изменении типа "старых" функций, тс на прекоммите кинет ошибку, а в случае "новых" ошибку в явных типах можно и проглядеть.

А что касается правила для экспортов, то тут уже я вижу смысл.
Кстати, а почему без sonarjs?)