“从不”类型上不存在属性“x”

Question

在下面的代码中，Typescript 编译器说属性 'doit' 在类型 'never' 上不存在。这可能是编译器错误吗？

class X {
    public foo(): void {
        if (this instanceof Y) {
        } else {
            this.doit();
        }
    }

    private doit(): void {
    }
}

class Y extends X {
}

我找到了以下解决方法：

const temp = (this instanceof Y);
if (temp) {
} else {
    this.doit();
}

编译器对这个等效代码没有任何问题，这再次让我怀疑这里存在编译器错误。

Answer 1

是的，这似乎是一个错误：InstanceOf incorrectly narrow when two type extends same base class。

但是，无论如何，你这样做的意义何在？
如果您希望 foo 在 Y 的实例中表现不同，那么为什么不在 Y 中覆盖它：

class Y extends X {
    public foo(): void {
        ...
    }
}

如果doit 仅在Y 实例中需要，则它应该在Y 中，如果两者都需要，则可以在X 中进行保护。