将打字稿从 2.0.3 更新到 2.1.4 后出现类型保护错误

Question

class A {
   type: string
}

interface AClass<T extends A> {
    prototype: T
}

function isType<T extends A>(a: A, aClass: AClass<T>): a is T {
    return a.type === aClass.prototype.type
}

class B extends A {
    foo: string
}

class C extends A {}

function check(a: A) {
    if (isType(a, B)) {
        return
    }
    a.type // ok

    if (isType(a, C)) {
        return
    }
    a.type // Property 'type' does not exist on type 'never'.
}

当派生类没有任何独特的属性时会出现错误。这发生在我将 TS 更新到 2.1.4 之后。我的问题是：

• 为什么会出现错误？我的猜测是 TS 绕过了自定义类型检查并将 A 和 C 视为具有相同类型，因此将无法到达下一条语句，a 将具有类型 never。

• 有没有比在派生类中添加虚拟属性更好的解决方案？

Answer 1

你是对的，因为 A 和 C 被编译器认为是相同的类型，因为它们具有相同的确切结构 (Type Compatibility)。

您不应该添加虚拟属性，如果C 没有其他成员/方法，那么无论如何它都没有意义，您只需使用A 和B。

---

编辑

你可以这样做：

class A {
    type: "B" | "C";
}

class B extends A {
    type: "B";
    foo: string
}

class C extends A {
    type: "C";
}

编译器现在不会抱怨了，但是你可以得到完全相同的东西：

class A {
    type: string;

    constructor(type: string = "A") {
        this.type = type;
    }
}

class B extends A {
    foo: string;

    constructor(foo: string) {
        super("B");
        this.foo = foo;
    }
}

let a = new A();
let b = new B("foo");
let c = new A("C");

a 和 c 之间的 type 属性不同，即使它们是同一类的实例。