为什么这种类型不检查，但它的变体呢？

Question

我不确定这是否是一个错误，所以我想我会在这里问。

我的代码无法输入检查：

/* @flow */
declare type A = {
    code: ?number;
}

var a: A = {}

但是，如果我创建一个与类型 A 具有相同签名的类，并对其进行实例化，那么它会进行类型检查：

/* @flow */
declare type A = {
    code: ?number;
}

class _A {
    code: ?number;
}

var a: A = new _A();

我在第一个变体上遇到的类型检查错误是这样的：

test.js:2:19,4:2: property code
Property not found in
test.js:6:13,14: object literal

我觉得这是一个错误，但我可能是错的。

Answer 1

我通过重新阅读文档发现了这一点。可选属性的语法不是：

{code:?number}

而是：

{code?:number}

哎呀。