0

Сложно сформулировать четкий вопрос. Проще показать на примере: Ссылка на TS Playground

Хочу сделать типизированный EventEmitter, с возможностью наследования и расширения списка типизированных событий. Но typescript вставляет "палки в колеса".

Если среди вас есть гуру typescript, пожалуйста, помогите!

// базовый тип списка событий
type TEventsList = Record<string, (...args: [any]) => void>;

// есть типизированный класс EventEmitter
declare class TypedEventEmitter<TEvents extends TEventsList> {
    addListener<E extends keyof TEvents>(event: E, listener: TEvents[E]): this;
    on<E extends keyof TEvents>(event: E, listener: TEvents[E]): this;
    once<E extends keyof TEvents>(event: E, listener: TEvents[E]): this;
    removeListener<E extends keyof TEvents>(event: E, listener: TEvents[E]): this;
    off<E extends keyof TEvents>(event: E, listener: TEvents[E]): this;
    removeAllListeners<E extends keyof TEvents>(event: E): this;
    setMaxListeners(n: number): this;
    getMaxListeners(): number;
    protectedlisteners<E extends keyof TEvents>(event: E): TEvents[E][];
    rawListeners<E extends keyof TEvents>(event: E): TEvents[E][];
    listenerCount<E extends keyof TEvents>(type: E): number;
    prependListener<E extends keyof TEvents>(event: E, listener: TEvents[E]): this;
    prependOnceListener<E extends keyof TEvents>(event: E, listener: TEvents[E]): this;
    eventNames<E extends keyof TEvents>(): Array<E>;

    // проблема с этим
    emit<E extends keyof TEvents, A extends Parameters<TEvents[E]>>(event: E, ...args: A): boolean;

    // единственный вариант сделать так, но тогда не будет работать проверка типов аргументов вызываемых событий
    // emit<E extends keyof TEvents>(event: E, ...args: any[]): boolean;
}

// события которые есть у BaseClass 
type TBaseClassEvents = {
    event1(): void;
    event2(arg1: string): void;
    event3(arg1: number, arg2: boolean): void;
}

// есть некий класс, у которого есть свои события и от которого можно унаследоваться, добавив ему дополнительные события
class BaseClass<TAdditionalEvents extends TEventsList> extends TypedEventEmitter<TAdditionalEvents & TBaseClassEvents> {
    testBaseClassMethod() {
        // проблема тут, тайпскрипт ругается
        this.emit("event2", "Hello from BaseClass"); // тут ошибка
    }
}

const baseClassInstance = new BaseClass();
baseClassInstance.emit("event2", "Hello from BaseClass"); // тут уже нет ошибки


// некий дочерний класс унаследованный от BaseClass
class ChildClass extends BaseClass<{ event4(arg1: boolean): void }> {
    testChildClassMethod() {
        // тут все прекрасно работает
        this.emit("event1");
        this.emit("event2", "Hello from ChildClass");
        this.emit("event4", true);
    }
}

const childClassInstance = new ChildClass();
childClassInstance.emit("event2", "Hello from BaseClass"); // и тут нет ошибки

UPD Вот еще пример, для лучшего понимания проблемы TSPlayground

1 ответ 1

1

EventTarget

EventTarget - https://developer.mozilla.org/ru/docs/Web/API/EventTarget

class Q extends EventTarget { }

{//test
    const q = new Q
    q.addEventListener('qwa', () => { })
    const qwa = new Event('qwa')
    q.dispatchEvent(qwa)
}

-,-

Выведение типов аргументов дженерик метода, в теле дочернего класса

Позиция TS.

issues/43638

label:"Design Limitation"

НЕ interface

Предлагаемое в этом ответе решение использует export type EventsList - это сделано не случайно. Причина в этом https://github.com/microsoft/TypeScript/issues/15300 "Index signature is missing in type (only on interfaces, not on type alias)".

Решение.

Есть два способа обойти проблему выведения типов при наследовании от дочернего класса:

- ts // -,- t1 self = this as A<B.EventsList> t1() { this.self.emit('event1', 2) }

- ts // -,- t2 t2(this: A<B.EventsList>) { this.emit('event1', 2) }

песочница там

namespace Base {
    export type EventsList = Record<string, (...args: any[]) => void>
}
declare class Base<T extends Base.EventsList> {
    emit<E extends keyof T, A extends Parameters<T[E]>>(event: E, ...args: A): boolean
}
// -,-
// -,-
namespace A {
    export type EventsList = {
        event1(n: number): void
    }
}
class A<T extends A.EventsList> extends Base<T> { }
// -,-
// -,-
namespace B {
    export type EventsList = {
        event2(str: string): void
    } & A.EventsList
}
class B<T extends B.EventsList> extends A<T> {
    // -,- t1
    self = this as A<B.EventsList>
    t1() {
        this.self.emit('event1', 2)
    }
    // -,- t2
    t2(this: A<B.EventsList>) {
        this.emit('event1', 2)
    }
    // -,-
}
// -,-
// -,-
{//test
    const instance = new B
    instance.emit('event1', 1)
    instance.emit('event2', 'q')
}
10
  • "BaseClass" это TypedEventEmitter ! В том-то и дело что нет! Мне нужно наследоваться от других классов, расширяя список их событий
    – Syao May
    11 апр 2021 в 18:22
  • Есть родитель, есть потомок
    – qwabra
    11 апр 2021 в 18:42
  • В вашем решении, вы во всех классах наследуетесь от класса TypedEventEmitter. Это не то что требуется. Нужна возможность наследования и расширения списка событий любых дочерних классов TypedEventEmitter.
    – Syao May
    11 апр 2021 в 19:13
  • И что? Не наследуется по моим примерам?
    – qwabra
    11 апр 2021 в 19:22
  • Я обновил вопрос. Добавив туда еще один пример, для лучшего понимания проблемы
    – Syao May
    11 апр 2021 в 20:11

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.