typescript :对象传播运算符的类型不正确？

Question

考虑这个代码片段:

type Foo = {
  x: string;
  y: number;
};

let a: Foo = {
  x: "@",
  y: 3,
};

let b: Partial<Foo> = { x: "#", y: undefined };

let c = { ...a, ...b };

明确类型 c不能是 Foo因为房产 y是 undefined :运行时值 c是 {x: "#", y: undefined} (至少在 Chrome 中)。然而 Typescript 推断 c输入为 { x: string; y: number;} .您可以签到 https://www.typescriptlang.org/play对于 4.0.5 版。我糊涂了。
编辑:这是从评论到 github 问题的链接，问题完全相同 https://github.com/microsoft/TypeScript/issues/13195#issuecomment-373178677 .现在这就是答案。

Answer 1

主要问题是类型 Partial<Foo> :

let b: Partial<Foo> = { x: "#", y: undefined };

当您指定变量类型时，ts 编译器通常会忽略赋值的右侧并且不将其用于类型推断(有一些异常(exception)，但通常它是这样工作的)。