是否存在类似于Flow的不完整(部分)声明

Question

我想为外部库增量添加声明。是否可以编写一个声明，只描述对象/接口的某些属性，而其余属性则从声明中省略，从而取消选中？

例如：可以跟随对象

const a = {foo: 8, bar: 9}

是否有只描述一个属性的声明？

declare var a: any|{foo: number} // doesn't actually work

预期的行为是，如果在声明中找到属性，则强制执行该类型。所有未提及的属性的类型被认为是any。

---

Typescript使用额外的属性表达式解决了这个问题

interface Iface {
    foo: number;
    [propName: string]: any;
}

Answer 1

type PartialA = {foo:number, [key:string]: any}
const a: PartialA = {foo: 1, bar: 2}
console.log(a.bar)

此选项比以下选项更安全，因为已知属性的类型是强制的：

a.foo = 'a' // causes error
// 6: a.foo = 'a'
//            ^ string. This type is incompatible with
// 3: type PartialA = {foo:number, [key:string]: any}
//                         ^ number

或

type PartialB = {foo:number}&any
const b: PartialB = {foo: 1, bar: 2}
console.log(b.bar)
b.foo = 'a' // Ok in Flow

使用Flow v0.34.0 进行测试

来源：@loganofsmyth，@gcanti-