Конструктор возврата универсального типа в TypeScript

Я изо всех сил пытаюсь определить, как написать код TypeScipt, который говорит, что этот конструктор возврата функции универсального типа. Существует множество примеров того, как передать конструктор универсального типа, но не того, как его вернуть.

Пожалуйста, проверьте следующий пример:

Это часть абстрактного класса:

 getModel():  (new () => T) {
    throw new Error('Method not implemented.'); // Error because don't know how to fix it
}

Когда в производном классе я пытаюсь реализовать это так:

getModel(): typeof User {
    return User;
}

У меня следующая ошибка:

Type '() => typeof User' is not assignable to type '() => new () => User'.

Я мог бы пропустить реализацию в производном классе, если бы знал, как указать в абстрактном классе.

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

РЕДАКТИРОВАТЬ:

Пожалуйста, проверьте странную проблему. Классы A и B отличаются только наличием явного конструктора. И в RealA не работает, а в RealB работает тот же метод getModel ().

class A {
a = '';
constructor(a: string) {

}
}

class B {
    a = '';
    static test(): void {
        console.log('I do work');
    }
}

abstract class Base<T> {
    Prop: T;
    constructor(TCreator: { new (): T; }) {
        this.Prop = new TCreator();
    }

    getModel(): (new () => T) {
        throw new Error('Method not implemented.'); // Error because don't know how to fix it
    }
}

class RealA extends Base<A> {
    getModel(): typeof A { // doesn't work - compilation error
        return A;
    }
}

class RealB extends Base<B> {
    getModel(): typeof B { // works
        return B;
    }
}

var test = new RealA(A); // compile error
var test2 = new RealB(B)

Для класса RealA такая же ошибка

() => typeof A' is not assignable to type '() => new () => A'

person Selvatico    schedule 02.12.2018    source источник
comment
Не могли бы вы опубликовать полный пример. Кажется, работает с тем, что вы предоставили: typescriptlang.org/play/   -  person Titian Cernicova-Dragomir    schedule 02.12.2018
comment
Похоже, что ваш T по какой-то причине является типом конструктора, а не типом экземпляра. Обратите внимание, что тип User и значение User различаются и что тип typeof User не совпадает с типом User. Вы должны опубликовать минимальный воспроизводимый пример, чтобы кто-то точно определил проблему.   -  person jcalz    schedule 02.12.2018
comment
@ TitianCernicova-Dragomir, пожалуйста, проверьте исходный вопрос. Я его обновил.   -  person Selvatico    schedule 02.12.2018
comment
Не уверен, что это за вариант использования, но в качестве примечания - вы можете просто иметь getModel() { return this.constructor; } в базе вместо того, чтобы реализовывать его в каждом производном классе   -  person Aleksey L.    schedule 03.12.2018


Ответы (1)


Ошибка ожидается, поскольку конструктор для класса A имеет обязательный аргумент. Абстрактный класс ограничивает передаваемый конструктор отсутствием аргументов (new () => T).

Простое решение - удалить конструктор в A.

Если вы хотите иметь возможность передавать классы, у которых есть конструкторы, требующие аргументов, вам нужно будет изменить определение базового класса, чтобы захватить тип конструктора, и чтобы constructor принимал эти необходимые аргументы (используя кортежи в остальные параметры)

class A {
    a = '';
    constructor(a: string) {

    }
}

class B {
    a = '';
    static test(): void {
        console.log('I do work');
    }
}

type ArgumentTypes<T> = T extends new (...a: infer A) => any? A : [] 
abstract class Base<T extends new (...a: any[])=> any> {
    Prop: InstanceType<T>;
    constructor(TCreator: T, ...a: ArgumentTypes<T>) {
        this.Prop = new TCreator(...a);
    }

    getModel(): T {
        throw new Error('Method not implemented.'); // Error because don't know how to fix it
    }
}

class RealA extends Base<typeof A> {
    getModel(): typeof A { // doesn't work - compilation error
        return A;
    }
}

class RealB extends Base<typeof B> {
    getModel(): typeof B { // works
        return B;
    }
}

var test = new RealA(A, ""); // ok
var test2 = new RealB(B)
person Titian Cernicova-Dragomir    schedule 02.12.2018
comment
Теперь это имеет большой смысл. Как было бы проще, если бы они поместили эту ошибку или подобное объяснение? Большое спасибо. Буду думать над решением. Оба они, вероятно, неприменимы, потому что мы не можем использовать any. - person Selvatico; 02.12.2018
comment
@Selvatico в этом случае any - это просто заполнитель, он полностью безопасен по типу, any не попадет в общедоступную подпись класса или реализации. Он просто указывает компилятору, что конструктор может возвращать любой класс и может иметь любое количество аргументов любого типа. Когда вы передаете класс, он определяет аргументы и тип экземпляра, и на самом деле ничего не существует. Дайте мне знать, если я могу еще помочь :) - person Titian Cernicova-Dragomir; 02.12.2018