typescript - TypeScript中类型注解 `variable: type`和类型断言 `expression as type`的详细区别

Question

即使是 basarat在他的好书中对类型断言的解释 TypeScript Deep Dive :

Basically, the assertion from type S to T succeeds if either S is a subtype of T or T is a subtype of S.

我想知道类型注释 variable: type 和类型断言 expression as type 之间的确切区别是什么，更准确地说，类型断言是否有效，尤其是关于TypeScript 错误有时令人惊讶:查看下面的 foo3 和 foo5 变量:

interface Foo {
    n?: number;
    s: string;
}

const foo1 = {} as Foo;               // ok
const foo2 = { n: 1 } as Foo;         // ok
const foo3 = { n: '' } as Foo;        // KO: "Property 's' is missing..."
const foo4 = { n: '' as any } as Foo; // ok
const foo5 = { n: 1, x: 2 } as Foo;   // KO: "Property 's' is missing..."
const foo6 = { s: '', x: 2 } as Foo;  // ok
const foo7 = { s: 1, x: 2 } as Foo;   // KO: "Types of property 's' are incompatible."

我注意到的其他区别:在 VSCode 中重命名 Foo 接口(interface)中的 n 属性不会传播到被断言的表达式，而它正在处理类型注释变量。

Answer 1

I was wondering what is the exact difference between type annotation variable: type and type assertion expression as type

类型声明 variable: type 告诉编译器变量必须始终符合声明的类型。当一个值被分配给变量时(该值必须与声明的类型兼容)，以及每当使用变量时(变量的声明类型必须与变量的任何使用方式兼容)，类型检查器都会使用它每个特定的地方)。

类型断言覆盖内置类型兼容性规则。它允许您告诉编译器您知道该值实际上符合您在断言中提供的类型，从而抑制有关类型不兼容的错误消息。但是，有一些限制 - 您不能只断言该变量具有您想要的任何类型(顺便说一句，any 类型就是为此)。正如您在问题中引用的那样，要使类型断言起作用，

the assertion from type S to T succeeds if either S is a subtype of T or T is a subtype of S

它在每个示例中都以这种方式工作:

const foo3 = { n: '' } as Foo; // KO: "Property 's' is missing..."

这里检查了两种类型:{n?: number, s: string} 和 {n: string} 的兼容性——如果它们中的任何一个可以转换为其他。它不能以任何一种方式完成:在一种方式中，{n: string} 缺少非可选的 s 而 n 有错误类型(必须是 number | undefined)；换句话说，{n?: number, s: string} 的 n 类型错误(必须是 string)。

完整的错误信息是

Type '{ n: string; }' cannot be converted to type 'Foo'.
  Property 's' is missing in type '{ n: string; }'.

当报告结构类型不兼容时，编译器只选择一个不兼容的属性显示在错误消息中 - 它可能是上述三种不兼容中的任何一种。

---

const foo4 = { n: '' as any } as Foo; // ok

之所以有效，是因为 {n?: number, s: string} 与 {n: any} 兼容:第一个可以分配给第二个 - any 与任何内容兼容，而 s 只是被忽略(基本上，如果一个值具有与声明类型兼容的所有非可选属性，则该值与该类型兼容)

---

const foo5 = { n: 1, x: 2 } as Foo;   // KO: "Property 's' is missing..."

{n: number, x: number} 不可分配给 {n?: number, s: string} -s 是缺少，正如编译器所说:

Type '{ n: number; x: number; }' cannot be converted to type 'Foo'.
   Property 's' is missing in type '{ n: number; x: number; }'.

---

const foo6 = { s: '', x: 2 } as Foo;  // ok

有效是因为 {s: string, x: number} 可分配给 {n?: number, s: string}: s可以，缺少 n 也可以，因为它被声明为可选的，多余的 x 将被忽略

---

const foo7 = { s: 1, x: 2 } as Foo;   // KO: "Types of property 's' are incompatible."

s 的类型不兼容:

Type '{ s: number; x: number; }' cannot be converted to type 'Foo'.
  Types of property 's' are incompatible.
    Type 'number' is not comparable to type 'string'.