TypeScript 函数泛型类型交集行为不正确

Question

interface A {
  a: number;
}

let myVar: A = {
  a: 123
};

myVar = Object.assign({}, myVar, {
  b: 456
});

为什么 TypeScript 不抱怨通过 Object.assign() 调用重新分配 myVar？

鉴于Object.assign() 调用的类型定义为：

assign<T, U, V>(target: T, source1: U, source2: V): T & U & V;

...而且我调用中三种类型的（返回类型）交集与interface A 不匹配，编译器不应该选择它吗？

问题与 TypeScript 无法推断函数调用中的类型无关，因为如果我将代码更改为：

interface A {
  a: number;
}

interface B {
  b: number;
}

interface C {}

let myVar: A = {
  a: 345
};

myVar = Object.assign<C, A, B>({}, myVar, {
  b: 345
});

...它仍然没有抱怨。

我使用的是 TypeScript 2.2.1，并且“noImplicitAny”编译器标志设置为“true”。

Answer 1

TypeScript 结构类型系统的基本规则是，如果 y 至少有与 x 相同的成员，则 x 与 y 兼容

将此规则应用于您的示例 - A 与 A&B&C 兼容：

let abc:A&B&C = {a:123, b:456};

分配let a:A = abc; 完全有效。

更多信息here

Answer 2

如果A 可分配给X 或B 可分配给X，则A & B 可分配给X。

鉴于 TypeScript 使用了structural type system，之所以没有错误是因为myVar 的重新分配从源/原始myVar（第二个参数）获取属性并从此满足。因此，在满足myVar 的类型时，任何其他混入的对象（例如第一个和第三个参数）都无关紧要。

Quote source