为什么 TypeScript 对对象字面量“{a}”的断言适用于接口“{a, b}” 而不是“{a?, b}”

Question

为什么以下断言有效：

interface AllRequired {
    a: string;
    b: string;
}

let all = {a: "foo"} as AllRequired; // No error

但是这个断言给出了一个错误：

interface SomeOptional {
    a?: string;
    b: string;
}

let some = {a: "foo"} as SomeOptional; // Error: Property 'b' missing

我能看到的唯一区别是将接口属性之一设为可选 (?)。似乎如果所有属性都不是可选的，我可以向接口断言部分对象，但是一旦任何接口属性是可选的，我就不能再断言部分对象了。这对我来说真的没有意义，我一直无法找到这种行为的解释。这是怎么回事？

---

对于上下文：我 encountered this behavior 在尝试解决 React 的 setState() 采用部分状态对象的问题时，但 TypeScript doesn't yet have partial types 使其与您的状态接口正常工作。作为一种解决方法，我想出了setState({a: "a"} as MyState) 并发现只要接口MyState 字段是all 非可选的，但只要一些 属性就会失败可选的。 （将所有属性设为可选是一种解决方法，但在我的情况下非常不可取。）

Answer 1

类型断言只能用于类型和它的子类型之间的转换。

假设您声明了以下变量：

declare var foo: number | string;
declare var bar: number;

注意number 是number | string 的子类型，这意味着任何匹配number 类型的值（例如3）也匹配number | string。因此，允许使用类型断言在这些类型之间进行转换：

bar = foo as number; /* convert to subtype */
foo = bar as number | string; /* convert to supertype (assertion not necessary but allowed) */

同样，{ a: string, b: string } 是{ a: string } 的子类型。任何匹配{ a: string, b: string } 的值（例如{ a: "A", b: "B" }）也匹配{ a: string }，因为它有一个a 类型为string 的属性。

相比之下，{ a?: string, b: string } 或 { a: string } 都不是另一个的子类型。 一些值（例如{ b: "B" }）仅匹配前者，而其他值（例如{ a: "A" }）仅匹配后者。

如果您真的需要在不相关的类型之间进行转换，您可以通过使用常见的超类型（例如any）作为中间体来解决这个问题：

let foo = ({ a: "A" } as any) as { a?: string, b: string };

---

规范中的相关部分是4.16 Type Assertions:

在 e 形式的类型断言表达式中，e 由 T 上下文类型化（第 4.23 节），并且 e 的结果类型必须可分配给 T，或者 T 是需要可分配给 e 的结果类型的扩展形式，否则会发生编译时错误。

Answer 2

嗯，这只是一个理论，但我有一些代码可以支持它。

在您的第一个示例中，当转换为 AllRequired 时，您基本上是在对编译器说您知道自己在做什么，稍后您将设置 all.b 的值。

在第二个示例中，您认为您正在做同样的事情，但编译器可能会认为“嘿，如果他设置了可选属性，他必须设置一个完整的对象”，因此对于为什么 some.b 的值感到困惑此完整对象中缺少。

这听起来有点牵强，但在这里：

let some2 = (all.a ? {a: "foo"} : {}) as SomeOptional

如果您使用条件，错误就会消失，因为（嗯，可能）some2.a 确实是可选的。

在playground 中尝试。