Как мы можем ввести фабрику классов, которая генерирует класс с учетом литерала объекта?

Хорошо, поэтому нам нужно исправить несколько проблем, чтобы это работало аналогично классам Typescript. Прежде чем мы начнем, я выполняю все приведенное ниже кодирование в режиме Typescript strict. Некоторое поведение ввода не будет работать без него, мы можем определить конкретные необходимые параметры, если вы заинтересованы в решении.

Тип и значение

В машинописном тексте классы занимают особое место, поскольку они представляют как значение (функция-конструктор - это значение Javascript), так и тип. const, который вы определяете, представляет только значение (конструктор). Например, чтобы иметь тип для Dog, нам нужно явно определить тип экземпляра Dog, чтобы его можно было использовать позже:

const Dog =  /* ... */
type Dog = InstanceType<typeof Dog>
const smallDog: Dog = new Dog('small') // We can now type a variable or a field

Функция для конструктора

Вторая проблема заключается в том, что constructor - это простая функция, а не функция-конструктор, и машинописный текст не позволит нам вызвать new для простой функции (по крайней мере, не в строгом режиме). Чтобы исправить это, мы можем использовать условный тип для сопоставления между конструктором и исходной функцией. Подход аналогичен здесь, но я собираюсь написать его для нескольких параметров, чтобы упростить задачу, вы можете добавить больше:

type IsValidArg<T> = T extends object ? keyof T extends never ? false : true : true;

type FunctionToConstructor<T, TReturn> =
    T extends (a: infer A, b: infer B) => void ?
        IsValidArg<B> extends true ? new (p1: A, p2: B) => TReturn :
        IsValidArg<A> extends true ? new (p1: A) => TReturn :
        new () => TReturn :
    never;

Создание типа

С помощью указанного выше типа мы теперь можем создать простую функцию Class, которая будет принимать литерал объекта и строить тип, похожий на объявленный класс. Если здесь нет поля constructor, мы будем использовать пустой конструктор, и мы должны удалить constructor из типа, возвращаемого функцией нового конструктора, которую мы вернем, мы можем сделать это с помощью Pick<T, Exclude<keyof T, 'constructor'>>. Мы также сохраним поле __original, чтобы иметь исходный тип литерала объекта, который будет полезен позже:

function Class<T>(name: string, members: T): FunctionToConstructor<ConstructorOrDefault<T>, Pick<T, Exclude<keyof T, 'constructor'>>> & { __original: T  }


const Animal = Class('Animal', {
    sound: '', // class field
    constructor(sound: string) {
        this.sound = sound;
    },
    makeSound() { console.info(this.sound) // this typed correctly }
})

Этот тип в методах

В приведенном выше объявлении Animalthis введен правильно в методах типа, это хорошо и отлично подходит для объектных литералов. Для объектных литералов this будет иметь тип текущего объекта в функциях, определенных в объектном литерале. Проблема в том, что нам нужно указать тип this при расширении существующего типа, поскольку this будет иметь члены текущего литерала объекта плюс члены базового типа. К счастью, машинописный текст позволяет нам сделать это, используя ThisType<T>, тип маркера, используемый компилятором и описанный здесь.

Создание расширений

Теперь, используя контекстный this, мы можем создать функциональность extends, единственная проблема, которую нужно решить, - это посмотреть, есть ли у производного класса собственный конструктор, или мы можем использовать базовый конструктор, заменив тип экземпляра новым типом.

type ReplaceCtorReturn<T, TReturn> =
    T extends new (a: infer A, b: infer B) => void ?
        IsValidArg<B> extends true ? new (p1: A, p2: B) => TReturn :
        IsValidArg<A> extends true ? new (p1: A) => TReturn :
        new () => TReturn :
    never;
function Class(name: string): {
    extends<TBase extends {
        new(...args: any[]): any,
        __original: any
    }, T>(base: TBase, members: (b: { Super : (t: any) => TBase['__original'] }) => T & ThisType<T & InstanceType<TBase>>):
        T extends { constructor: infer TCtor } ?
        FunctionToConstructor<ConstructorOrDefault<T>, InstanceType<TBase> & Pick<T, Exclude<keyof T, 'constructor'>>>
        :
        ReplaceCtorReturn<TBase, InstanceType<TBase> & Pick<T, Exclude<keyof T, 'constructor'>>>
}

Собираем все вместе:

type IsValidArg<T> = T extends object ? keyof T extends never ? false : true : true;

type FunctionToConstructor<T, TReturn> =
    T extends (a: infer A, b: infer B) => void ?
    IsValidArg<B> extends true ? new (p1: A, p2: B) => TReturn :
    IsValidArg<A> extends true ? new (p1: A) => TReturn :
    new () => TReturn :
    never;

type ReplaceCtorReturn<T, TReturn> =
    T extends new (a: infer A, b: infer B) => void ?
    IsValidArg<B> extends true ? new (p1: A, p2: B) => TReturn :
    IsValidArg<A> extends true ? new (p1: A) => TReturn :
    new () => TReturn :
    never;

type ConstructorOrDefault<T> = T extends { constructor: infer TCtor } ? TCtor : () => void;

function Class(name: string): {
    extends<TBase extends {
        new(...args: any[]): any,
        __original: any
    }, T>(base: TBase, members: (b: { Super: (t: any) => TBase['__original'] }) => T & ThisType<T & InstanceType<TBase>>):
        T extends { constructor: infer TCtor } ?
        FunctionToConstructor<ConstructorOrDefault<T>, InstanceType<TBase> & Pick<T, Exclude<keyof T, 'constructor'>>>
        :
        ReplaceCtorReturn<TBase, InstanceType<TBase> & Pick<T, Exclude<keyof T, 'constructor'>>>
}
function Class<T>(name: string, members: T & ThisType<T>): FunctionToConstructor<ConstructorOrDefault<T>, Pick<T, Exclude<keyof T, 'constructor'>>> & { __original: T }
function Class(): any {
    return null as any;
}

const Animal = Class('Animal', {
    sound: '',
    constructor(sound: string) {
        this.sound = sound;
    },
    makeSound() { console.info(this.sound) }
})

new Animal('').makeSound();

const Dog = Class('Dog').extends(Animal, ({ Super }) => ({
    constructor(size: 'small' | 'big') {
        if (size === 'small')
            Super(this).constructor('woof')
        if (size === 'big')
            Super(this).constructor('WOOF')
    },

    makeSound(d: number) { console.info(this.sound) },
    bark() { this.makeSound() },
    other() {
        this.bark();
    }
}))
type Dog = InstanceType<typeof Dog>

const smallDog: Dog = new Dog('small')
smallDog.bark() // "woof"

const bigDog = new Dog('big')
bigDog.bark() // "WOOF"

bigDog.bark();
bigDog.makeSound();

Надеюсь, это поможет, дайте мне знать, если я могу помочь еще чем-нибудь :)

Ссылка на игровую площадку