TypeScript. Как типизировать callback?

Question

[Рустам Демонов]

Я только начинаю осваивать TS и сейчас столкнулся с непониманием типизации.
Для примера возьмём простой Observer.
TS observer

Все очень просто, в классе есть объект observers в котором по ключу события хранится массив callback`ов.

Метод attach подписывает callback на событие.
detach отписывает.
Метод notify, по имени события пробегается по массиву и вызывает всех подписчиков, передавая им аргументы.

Как сохранить тип аргументов передаваемых в callback?
Да и вообще как правильно это типизировать?

Допустим в наследующем классе я навешу обработчик,

this.attach('input', (value: string) => {
    console.log(value.toUpperCase())
 });

value должна быть строкой, но как указать какие будут типы у параметры callback в Observer, ведь в другом классе я могу навешать другой обработчик с другими параметрами.

Такая же проблема при оповещении. т.е. при вызове метода notify
Мне бы хотелось чтобы, при заполнении аргумента event в notify, TS подсказывал мне какие параметры можно передать. Или какие event доступны.
this.notify('input', 'Hello World!');

Такое вообще возможно?

Я посмотрел как в typescript типизировали функцию bind, и понял что простого решения нет:D
Я сделал так же c attach, но это не решило проблему с notify

any не использую

Comments

[Rerurk]

Зачем хранить массив колбеков?

[Рустам Демонов]

Rerurk, Ну я делаю так, чтобы потом их уведомлять было удобнее) forEach пробежался и вызвал

[Rerurk]

Рустам Демонов, а в теле события нельзя вставить пустую функцию а потом через колбек ее переписать?

[Рустам Демонов]

Rerurk, Не очень понял, мне просто нужно связать тип события например 'input', с типом параметров который можно передать в callback.
Допустим если я прикрепил(attach) callback на событие 'table', и сказал что у callback может принимать только 1 параметр с типом string,
То потом когда я буду уведомлять(notify) подписчиков событием 'table' я смогу передать в callback только string

[Rerurk]

А...

Answer 1

[Антон Швец]

https://www.typescriptlang.org/play/?useDefineForC...

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

Comments

[Рустам Демонов]

Большое спасибо, я так понимаю что каждое имя события нужно заранее записать в type.
т.е. допустим у меня есть ещё много разных событий, я должен заранее их определить?
я также должен определить какой callback может быть использован с какими типами?

[Антон Швец]

Рустам Демонов, да, динамического добавления типов нет.
Хотя можно расширять интерфейс, но я бы такое не делал.

[Рустам Демонов]

Антон Швец, Последний вопрос, вы сделали все оч. круто.
Единственное, при приклеплении подписчика я хочу связать тип события например 'input', с типом параметров который можно передать в callback.

Допустим если я прикрепил(attach) callback на событие 'table', и сказал что у callback может принимать только 1 параметр с типом string,
То потом когда я буду уведомлять(notify) подписчиков событием 'table' я смогу передать в callback только string

Напр. notify<T1, T2>(event: T1, evt?: T2): void
Если T1 строка 'table' то T2 будет типом string
Я так типизировал actions в redux

type InferValueType<T> = T extends { [key: string]: infer U } ? U : never;

Но не знаю как это можно сделать тут

У вас это сделано через объект Event

[Антон Швец]

Рустам Демонов, точно так же оверлоадить notify
И придется в теле метода разводить эти случаи, делать тайпгарды для функции. Типа если event такой-то, то функция имеет такой то тип и можно юзать вот так.

[Рустам Демонов]

Антон Швец, отстой, понял, спасибо)

[Антон Швец]

Рустам Демонов, ну по идее можно условный тип, а потом еще инфер для коллбека, но все равно придется наверно гардить.
https://mariusschulz.com/blog/conditional-types-in...