Typescript 界面中这种类型的界面界面中的多态性

polymorphic this type隐含着generic.this类型是F-bounded polymorphism的特殊类型，在C++中称为"curiously recurring template pattern".对于类型实现者来说，this是"我正在编写的当前类型的某个通用子类型"，而对于类型user，this就是该类型. 如果您想实现Foo，您需要确保foo()方法返回以后正在使用的Foo的任何子类型.

您的代码本质上相当于

interface Foo<T extends Foo<T>> {
  foo(): T;
}
interface PlainFoo extends Foo<PlainFoo> {}

interface Bar<T extends Bar<T>> extends Foo<T> {
  bar(): T;
}
interface PlainBar extends Bar<PlainBar> {}

function foo(this: PlainFoo) { return this; }
function bar(this: PlainBar) { return this; }

function newFoo(): PlainFoo {
  return { foo };
}

function newBar(): PlainBar {
  return { ...newFoo(), bar }; 
  // Property 'bar' is missing in type 'Foo<PlainFoo>' 
  // but required in type 'Bar<PlainBar>'
}

现在我们希望清楚问题出在哪里.您的newBar()声称返回PlainBar，但那是Bar<PlainBar>，那是Foo<PlainBar>，因此foo()方法需要返回PlainBar.但它返回PlainFoo. this类型需要在子类别中变得更窄，这就是重点.

因此，为了让您的代码能够使用

interface Foo { foo(): this; }
interface Bar extends Foo { bar(): this; }

您需要foo和bar才能返回this，而不是Foo和Bar.这意味着this的通用需要显式地表示为通用类型参数:

function foo<T extends Foo>(this: T) { return this; }
function bar<T extends Bar>(this: T) { return this; }

现在事情可以工作了(而且您也不想将newFoo()的返回类型注释为Foo，因为这会严重打击通用:

function newFoo() {
  return { foo };
}

function newBar(): Bar {
  return { ...newFoo(), bar };
}

所有这些现在都有效，因为this的多态性得到了保留.

Playground link to code