Эта проблема
Предположим, у меня есть такой код:
// Events we might receive:
enum EventType { PlaySong, SeekTo, StopSong };
// Callbacks we would handle them with:
type PlaySongCallback = (name: string) => void;
type SeekToCallback = (seconds: number) => void;
type StopSongCallback = () => void;
В предоставленном мне API я могу зарегистрировать такой обратный вызов с помощью
declare function registerCallback(t: EventType, f: (...args: any[]) => void);
Но я хочу избавиться от этого any[] и убедиться, что я не могу зарегистрировать функцию обратного вызова с неправильным типом.
Решение?
Я понял, что могу сделать это:
type CallbackFor<T extends EventType> =
T extends EventType.PlaySong
? PlaySongCallback
: T extends EventType.SeekTo
? SeekToCallback
: T extends EventType.StopSong
? StopSongCallback
: never;
declare function registerCallback<T extends EventType>(t: T, f: CallbackFor<T>);
// Rendering this valid:
registerCallback(EventType.PlaySong, (name: string) => { /* ... */ })
// But these invalid:
// registerCallback(EventType.PlaySong, (x: boolean) => { /* ... */ })
// registerCallback(EventType.SeekTo, (name: string) => { /* ... */ })
Это действительно круто и мощно! Такое ощущение, что я использую зависимые типы: я в основном написал здесь функцию, отображающую значения в типы.
Однако я не знаю всей силы системы типов TypeScript, и, возможно, есть еще лучший способ сопоставить значения перечисления с типами, подобными этому.
Вопрос
Есть ли лучший способ сопоставить значения перечисления с типами, подобными этому? Можно ли избежать очень большого условного типа, как указано выше? (На самом деле у меня много событий, и это какой-то беспорядок: VS Code показывает огромное выражение, когда я навожу курсор на CallbackFor, а мой линтер действительно хочет отступать после каждого :.)
Я хотел бы написать объект, отображающий значения перечисления в типы, поэтому я могу объявить registerCallback, используя T и CallbackFor[T], но, похоже, это не так. Любые идеи приветствуются!
