TypeScript、泛型和 instanceof

Question

我有以下代码:

abstract class BaseToken {}

class OpenParen extends BaseToken {
    public static assert(t: BaseToken): OpenParen {
        if (t instanceof OpenParen) {
            return t;
        } else {
            throw typeAssertionError;
        }
    }
}

class CloseParen extends BaseToken {
    public static assert(t: BaseToken): CloseParen {
        if (t instanceof CloseParen) {
            return t;
        } else {
            throw typeAssertionError;
        }
    }
}

assert函数可用于检查给定实例是否 BaseToken实际上是它的某种特化。

const t: BaseToken = getTokenFromSomewhere();
const oparen = OpenParen.assert(t); // type of oparen is OpenParen, exception if not

因为除了 OpenParen 之外还有更多的类和 CloseParen源自 BaseToken ，这显然是很多样板。我想移动 assert 的实现进入基类。以下不起作用:

abstract class BaseToken {
    public static assert<T>(t: BaseToken): T {
        if (t instanceof T) { // T used as a value here
            return t;
        } else {
            throw typeAssertionError;
        }
    }
}

class OpenParen extends BaseToken {}
class CloseParen extends BaseToken {}

问题在于，一方面，这不会编译为 instanceof需要一个值，而不是一个类，另一方面，这种方法不绑定(bind) T到子类类型，所以 OpenParen.assert仍然是通用的。
我相信我可以使用 Curiously recurring template pattern (CRTP) 在 C++ 中实现这一点，但这在 TypeScript 中不起作用。还有其他技巧可以做同样的事情吗？

Answer 1

在静态方法中，this应该引用当前正在使用的构造函数，所以实现应该只检查 t instanceof this .
让打字工作更棘手。一个问题是没有polymorphic this 对于静态方法；见 microsoft/TypeScript#5863 .你想说assert()返回您正在调用它的构造函数的实例类型的值。例如，您可以说它返回名为 this 的类型的方法。 ...但没有类似的this静态方法的类型。
但是，有一些解决方法。这是一种可能的方法:

abstract class BaseToken {
    public static assert<T extends BaseToken>(this: new (...args: any) => T, t: BaseToken): T {
        if (t instanceof this) {
            return t;
        } else {
            throw new Error("YOU DID A BAD THING");
        }
    }
}

我们在这里制作 assert一个 generic类型参数 T的方法旨在成为正在使用的任何子类的实例类型。我们正在使用 this parameter告诉编译器你只会调用 assert()在构造 T 的构造函数对象上实例。

让我们测试一下:

class OpenParen extends BaseToken {
    someProp = 123;
}

class CloseParen extends BaseToken {
    otherProp = "abc";
}

const openP: BaseToken = new OpenParen();
const closeP: BaseToken = new CloseParen();

console.log(OpenParen.assert(openP).someProp.toFixed(2)); // 123.00
console.log(CloseParen.assert(closeP).otherProp.toUpperCase()) // ABC

两个 openP和 closeP编译器只知道 BaseToken s，但是 OpenParen.assert(openP)和 OpenParen.assert(closedP)返回 OpenParen和 CloseParen分别，您可以访问我添加的特定于子类的属性以证明这是有效的。
Playground link to code