Полиморфно это в TypeScript

Question

Я пытаюсь сделать то, что, как я думаю, является «учебником» для полиморфного this, и он не работает, и я просто не могу понять это. Представьте себе, у меня есть некоторый abstract базового класса, который клонируемый, например:

abstract class X { 
    abstract clone(): this; 
} 

Теперь я хочу, чтобы реализовать базовый класс, который обеспечивает clone реализацию:

class Y extends X { 
    constructor(private x: number) { super() } 
    clone(): this { return new Y(this.x + 1); } 
} 

Когда я делаю это, я получаю сообщение об ошибке что говорит Type Y is not assignable to type 'this'. Я совершенно смущен. Все, что я хочу передать здесь, это ограничение типа, которое, если подкласс X имеет вызванный метод clone, что тип вещи, который вы получите, будет идентичен подтипу. Разве это не то, что полиморфный this? Что я здесь делаю неправильно?

Here is a link к этому коду на игровой площадке TypeScript.

Answer 1

Нет, как сейчас, это не поддерживаемый случай использования для этого типа. Метод с возвращаемым типом должен возвращать экземпляр производного класса, даже если этот метод не переопределен в производном классе - см. code in this answer для примера, который оправдывает это.

Другими словами, учитывая abstract clone(): this декларацию, этот код должен быть действительным, даже если Z не отменяет clone себя, но вам реализацию clone в Y ломает его.

class Z extends Y { 
    f() { 
     let c: Z = this.clone(); 
    } 
} 

Так это выглядит как метод с this тип возвращаемого значения должен всегда return this.

ОБНОВЛЕНИЕ: Я нашел open issue с этим прецедентом на github, обозначенным как «принимающий запросы на тягу». Я не уверен, однако, если они действительно намерены его поддержать или планируют исправить cloneNode в своем компиляторе каким-то другим способом.

Answer 2

Я отметил ответ артема как правильный, потому что он кажется правильным, что на самом деле это невозможно сделать на 100% безопасном пути.

Однако есть способ заставить компилятор обеспечить требуемое ограничение типа. Поэтому я решил включить этот ответ в случае, если он полезен людям. Единственным недостатком моего подхода является то, что он немного небезопасен по тем причинам, которые указывает артем, т. Е. Кто-то может расширить ваши классы, не предоставляя реализацию clone и создать ситуацию, когда возвращаемое значение на самом деле не будет тем, что вы утверждаете это.

Моим решением было просто добавить состав. Опять же, это вообще небезопасно. Но если вы никогда не выходите из классов, это прекрасно работает, насколько я могу судить. Так что мое решение было:

class Y extends X { 
    constructor(private x: number) { super() } 
    clone(): this { 
     return new Y(this.x + 1) as this; 
    } 
} 

Вы можете увидеть полную версию, которая компилирует here.