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

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

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

8 ответов

23 просмотра

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

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

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

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) => {} }];

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

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

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

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

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

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

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

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

Обсуждают сегодня

Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Коллеги, добрый вечер. Создаю коллекцию от TFPGMap, ключ - перечисление, значение - целое. Нужно отсортировать коллекцию по значению. Как это можно сделать?
Kirill Filippenok
11
Скажи а ты когда этот канал создавал ты уже дельфи не любил, или это со временем пришло?
Роман Лях (rgreat)
18
Привет, такой вопросик появился кажется ли вам что Rust слишком сложный/строгий для высокоуровневого программирования и слишком "безопасный"/строгий для низкоуровневого?
Крокант
10
Всем привет! Использую кастомное модальное диалоговое окошко, все по классике - mrOK, mrCancel как ModalResult. Однако есть нюанс - в главной форме есть универсальный обработч...
Олег Гранишевский
20
Карта сайта