为什么此TypeScript代码无法进行类型检查？

Question

let a: { b: number }
let b: { b: number, c: number } = { b: 1, c: 2 }
a = { b: 1, c: 2 } // Error: Object literal may only specify known properties
a = b // OK

https://www.typescriptlang.org/play/index.html#src=let%20a%3A%20%7B%20b%3A%20number%20%7D%0D%0Alet%20b%3A%20%7B%20b%3A%20number%2C%20c%3A%20number%20%7D%20%3D%20%7B%20b%3A%201%2C%20c%3A%202%20%7D%0D%0Aa%20%3D%20%7B%20b%3A%201%2C%20c%3A%202%20%7D%20%2F%2F%20Error%3A%20Object%20literal%20may%20only%20specify%20known%20properties%0D%0Aa%20%3D%20b%20%2F%2F%20Ok%0D%0A

Answer 1

Typescript支持结构化键入。在检查对象类型B是否为对象类型A的子类型时，B的多余属性无关紧要。为了捕获更多错误，Typescript在知道类型B来自对象文字的情况下有一种特殊情况。这些称为新鲜对象文字，并在here中进行了描述。理由是多余的财产通常是错字。但是，当类型B可以来自任何对象而不仅仅是对象文字时，通常的结构性输入规则都适用，因此没有警告。

Answer 2

错误消息说明了一切。

1. 第一种情况失败是因为“ [o] bject文字只能指定已知属性” ，并且c不是a的已知属性

2. 第二种情况成功，因为b不是对象文字，因此上述规则不适用。