Есть некиий generic-тип с тайп-параметром. Он там нужен только для

Question

Есть некиий generic-тип с тайп-параметром. Он там нужен только для

того, чтобы задать жёсткую связь между возвращаемым типом одной функции-члена объекта и аргументом другой:
type Generic<T> = {
func1(): T;
func2(arg: T): void;
}
Как объявить массив объектов этого типа с плавающим тайп-параметром?
Если я пишу
const arr: Generic<any>[] = [{...
то у меня редактор в каждом объекте считает, что func1 возвращает any, а func2 принимает any в аргументе. Вместо этого он должен требовать, чтобы аргумент func2 был того же типа, что и возвращаемое значение func1, но в разных объектах это могут быть разные типы.

#programming #russian #typescript

0

20.05.2023

8 ответов

24 просмотра

lem0nify Автор вопроса

Rasul Kakushev
Ну правильно. Ты же передаешь any в качестве джене...

Правильно-то правильно, потому что я говорю компиляторю: «это массив объектов типа Generic<any>». А как мне вместо этого сказать: «это массив объектов Generic с любым значением тайп-параметра»?

0

20.05.2023

Vladisλav

type Generic<T> = { func1(): T; func2(arg: T): void; } type GenericWrapper = { [K in keyof Generic<any>]: Generic<any>[K] } const arr: GenericWrapper[] = [{ func1: () => "test", func2: (arg: string) => {} }, { func1: () => 123, func2: (arg: number) => {} }];

0

20.05.2023

.sha

Vladisλav
type Generic<T> = { func1(): T; func2(arg:...

Это вам не дает никакой безопасности типов, можно указать arg в number и ничего ругаться не будет

0

20.05.2023

Хракс Мамцов

Если каждый объект со своим типом, то это уже не массив а кортеж. Массивы гомогенные

0

20.05.2023

Хракс Мамцов

Хракс Мамцов
Если каждый объект со своим типом, то это уже не м...

Как будто придется для каждого эдемента указать тип, и максимум для кортежа satisfy

0

20.05.2023

Хракс Мамцов

Хракс Мамцов
Как будто придется для каждого эдемента указать ти...

Можно попробовать NoInfer на аргумент повесить, тогда будет тип зависеть от возвращаемого из геттера

0

20.05.2023

lem0nify Автор вопроса

Хракс Мамцов
Можно попробовать NoInfer на аргумент повесить, то...

Что такое NoInfer?

0

20.05.2023

Rasul Kakushev · Accepted Answer

Rasul Kakushev

Ну правильно. Ты же передаешь any в качестве дженерик типа. Можешь даже не указывать any а просто передать объект с соответствующим типом. По идее ts должен автоматом подхватить требуемый тип.

0

20.05.2023

169 похожих чатов

Есть некиий generic-тип с тайп-параметром. Он там нужен только для

8 ответов

Похожие вопросы