javascript - 流的结构子类型是否为 "forget"特定的子类型属性？

Question

我目前正在研究结构类型。我怀疑两种类型仅仅因为它们碰巧有一部分结构相同就被认为是等价的。这感觉很像静态鸭子类型，它完全忽略了类型的语义级别。于是仔细查看了flow对普通对象的结构类型，遇到了如下行为:

const o:{} = {foo: true};
o.foo; // type error

{} 是一种结构类型，是所有普通对象的父类(super class)型。因此，我可以用它注释 o 是有道理的，因为 {foo: true} 是 {} 的结构子类型。但是，当我尝试访问现有的 foo 属性时，此操作不会进行类型检查。这很奇怪，因为 AFAIK 结构子类型通常可以包含特定属性，只要它还包含其父类(super class)型的所有必需属性。

似乎流的结构子类型算法有时会忘记特定于某个子类型的属性。这种行为是有意为之还是我只是遇到了极端情况？

Answer 1

您所描述的总体问题是从子类型转换为父类(super class)型的事实。通过执行强制转换，您明确告诉编译器丢弃有关给定对象的信息。

例如，即使没有结构类型，如果你这样做

class Animal {}

class Cat extends Animal {
  foo: bool = true;
}

const c: Animal = new Cat();

console.log(c.foo);

( On flow.org/try )

由于同样的原因，它无法进行类型检查。在您的示例中，您已明确告诉编译器“考虑 o 具有类型 {}”，就像在我的示例中我说过“考虑 c 具有类型 Animal”。因此，编译器被明确告知要忘记它正在使用 Cat，因此它会忘记该对象具有 .foo 属性。

It seems as flow's structural subtyping algorithm occasionally forgets properties that are specific to a certain subtype. Is this behavior intended or did I just run into an edge case?

所以要回答这个问题，它不会“偶尔”执行，而是在您告诉它执行时执行。该行为绝对是有意为之。

This is odd because AFAIK a structural subtype can usually contain specific properties as long as it also includes all required properties of its supertype.

对象 确实包含该属性，这 100% 没问题，但您已通过将值强制转换为父类(super class)型来明确删除该信息。