Javascript 如何调用类型参数的静态方法

理想情况下，您应该为您的X超类提供一个static方法，该方法只允许它对类的实例进行操作.但这需要使用polymorphic this type，而TypeScrip目前不支持static方法中的此类类型.请参阅microsoft/TypeScript#5863处的长期开放功能请求.除非这一点得到实施，否则我们将需要绕过它.

常见的解决方法之一是将方法设置为generic，并给它一个表示类似约束的this parameter.因此，静态方法只能在具有正确形状的类上调用.

因此，假设我们只想被允许在具有适当类型的compare方法的类构造函数上调用sort().那种类型可能是

interface Comparator<T> {
  compare: (this: void, a: T, b: T) => number;
}

这意味着我们要求类构造函数对于大约T个值为Comparator<T>.(请注意void this上下文，其中compare必须是可调用的，而不是绑定到对象；如果我们愿意，可以放松这一点，但希望这已经足够好了.)然后，我们将在X上编写sort()，如下所示:

abstract class X {
  static sort<T extends X>(this: Comparator<T>, items: T[]) {
    return items.sort(this.compare);
  }
}

它编译得很干净；让我们来测试一下:

class Y extends X {
  id: number = 0;
  static compare(a: Y, b: Y) {
    return a.id - b.id;
  }
}

class Z extends X {
  name: string = "";
  static compare(a: Z, b: Z) {
    return a.name.localeCompare(b.name);
  }
}

Y.sort([new Y(), new Y()]); // okay
Z.sort([new Z(), new Z()]); // okay
Z.sort([new Y(), new Z()]); // error
// ---> ~~~~~~~ Y is not Z
X.sort([new Y(), new Z()]); // error
// <-- compare is missing from X

看上go 不错.支持您想要的呼叫，拒绝不想要的呼叫.您只能对包含Z个实例的数组调用Z.sort()，并且根本不允许直接调用X.sort()，因为X根本不是Comparator.

Playground link to code个