为什么对象文字“ {a}”的TypeScript断言只能与接口“ {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

我能看到的唯一区别是使接口属性之一为可选（?）。似乎如果所有属性都不是可选的，那么我可以向接口声明一个部分对象，但是一旦任何接口属性都是可选的，我就不能再声明一个部分对象。这对我来说真的没有意义，我一直无法找到这种行为的解释。这里发生了什么？

对于上下文：我在尝试解决React的部分状态对象问题时遇到了此行为setState()，但是TypeScript尚没有部分类型来使其在您的状态接口下正常工作。作为一种变通方法，我想出了setState({a:"a"} asMyState)，发现这个工作，只要接口MyState字段是 所有 非可选，但一旦失败， 一些
属性是可选的。（将所有属性设置为可选是一种解决方法，但是在我看来，这是非常不希望的。）

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 }，因为它具有atype属性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类型断言：

在 e形式的类型声明表达式中，e由T在上下文中键入（第4.23节），并且要求将 e 的结果类型分配给T，或者将T分配给t的扩展形式。
e的结果类型，否则会发生编译时错误。