Typescript 带扩展语法的接口

Question

我试图创建一个接口并通过扩展语法用另一个 object 属性初始化它的实例。 我发现了一些奇怪的东西，想找出为什么会发生这种情况。

这是我想要的例子。

A : 结果我想做的object

A = {  a: number, b: number, c: number, d: number }

B ：我通过数据库查询获得的 object

B = {a: number,b: number,c: number,e: string}

C ：具有我将手动插入的值的 object

C = { d: boolean }

所以我已经声明了一个接口 A，并使用扩展语法来制作 A 的 object 和 B object。

A_object = {...B_object }

我期望的是 A 的 object，它具有属性“a”、“b”和“c”，或者一个错误。 但结果却截然不同。 属性 'e' 也出现了，它在接口 A 中不存在。
谁能解释为什么会这样？

Answer 1

扩展运算符是一个 JavaScript 功能，它不知道 TypeScript 接口的已知属性。 因此，当A_object = {...B_object }时， B_object的所有属性都将出现在A_object中。

从类型安全的角度来看，这很好。 构造有效A实例所需的一切也存在于B中，因此将B扩展到A被认为是有效的。

您可能正在寻找多余的财产支票。 这些在结构类型系统中不一定需要，并且只有 select 很少的地方 TypeScript 执行它们。 传播物体不是那些地方之一。 有一个未解决的问题要求这样做，如果你想看到它的实现，你可以竖起大拇指。