typescript - Typescript 基于条件类型的扩展行为不如预期
问题描述
假设我们有这个例子:
class Base<T extends Base<T>> {}
class ClassA extends Base<ClassA> {}
class ClassB extends Base<ClassB> {}
type Condition = ClassA extends ClassB ? true : false;
基类有一个通用参数,它基本上说,从它派生的任何东西都应该使用它自己的类型对其进行模板化。
然后我们有 2 个从所述基派生的类。
最后,我创建了一个条件类型来检查派生类是否相互扩展。
令我惊讶的是,打字稿告诉我他们确实如此,但我认为这种情况应该是错误的。ClassA
没有扩展ClassB
,反之亦然。只ClassA extends Base<ClassA>
应返回 true。
这是打字稿条件类型中的问题还是我遗漏了什么?我在构建更复杂的条件类型时遇到了这个问题,它也返回了意想不到的结果。
编辑:也不需要通用参数。即使这个例子返回错误的结果:
class Base {}
class ClassA extends Base {}
class ClassB extends Base {}
type Condition = ClassA extends ClassB ? true : false;
解决方案
Typescript 使用结构类型来最好地模拟 Javascript 鸭子类型的工作方式。这样做的好处是允许我们以静态类型的方式对许多 Javascript 场景进行建模。
问题是你永远不能忘记,当 typescript 检查任何类型的兼容性时(即使是在条件类型中),它并不是像 C# 或 Java 那样检查名义继承,而是检查结构子类型。
在您的示例中,由于所有类都是空的,因此它们在结构上等同于{}
,这意味着是的,ClassA
扩展ClassB
和ClassB
扩展,ClassA
因为它们在结构上都是相同的类型。
将任何成员添加到类中,这就会消失,私有成员确保最大的不兼容性,因为另一个类(或接口)不能仅仅声明重新声明它们以模仿子类型。
class Base {}
class ClassA extends Base { private a: number}
class ClassB extends Base { private b: number}
type Condition = ClassA extends ClassB ? true : false; // false now