Блог

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

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

 class Emitter<T = void> {
    public activate(): void // When T is void
    public activate(arg: T): void // When T isn't void
    public activate(arg?: T) { /* ... */ }
}
  

Наличие метода в качестве свойства функции работает теоретически, но требует a @ts-ignore для реализации метода.

 type OneArgFn<T> = T extends void
    ? () => void
    : (arg: T) => void

interface Emitter<T> {
    readonly activate: OneArgFn<T>
}
  

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

 interface EmitterNoArg extends Emitter {
    activate: () => true
}
interface EmitterOneArg<T> extends Emitter<T> {
    activate: (arg: T) => void
}

interface EmitterConstructor {
    new(): Emitter

    new(): EmitterNoArg
    new<T>(): EmitterOneArg<T>
}
  

но тогда для его экспорта требуется unknown ключевое слово.

 export default Emitter as unknown as EmitterConstructor
  

Они не кажутся оптимальными. Есть ли правильный способ иметь условные аргументы на основе универсального типа? Я бы подумал, что новые условные типы TypeScript решат эту проблему.

Одним из способов сделать это было бы использование кортежей в параметрах rest в отдельной общедоступной подписи:

 type OneArgFn<T> = T extends void
    ? () => void
    : (arg: T) => void

class Emitter<T = void> {
    public activate(...a: Parameters<OneArgFn<T>>): void
    public activate(arg?: T) { /* ... */ }
}

new Emitter().activate();
new Emitter<string>().activate("") // in 3.4 argument names are preserved