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仍然是一个通用的。

我相信我可以使用 C++ 中的奇怪的重复模板模式 (CRTP) 来实现这一点，但这在 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告诉编译器您只会在构造 T 实例的构造函数对象上调用 assert()。

---

让我们测试一下:

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，但 OpenParen.assert(openP) 和 OpenParen.assert(closeP) 分别返回 OpenParen 和 CloseParen，您可以访问我添加的子类特定属性来演示这有效。

Playground link to code