TypeScript中的类型是什么？本文中描述了两种有助于理解它们的观点。

每个角度三个问题

以下三个问题对于理解类型如何工作非常重要，并且需要从两个角度分别回答。

myVariable 具有 MyType 类型是什么意思？

let myVariable: MyType = /*...*/;

SourceType 是否可以分配给 TargetType？

   let source: SourceType = /*...*/;
   let target: TargetType = source;

TypeUnion 是如何从 Type1，Type2 和 Type3 派生的？

type TypeUnion = Type1 | Type2 | Type3;

观点1：类型是值的集合

从这个角度来看，类型是一组值：

如果 myVariable 的类型为 MyType，则意味着所有可以分配给 myVariable 的值都必须是 MyType 集合的元素。

SourceType 可分配给 TargetType ，SourceType 是 TargetType 的子集。结果所有能被 SourceType 接受的值也被 TargetType 接受。

类型 Type1、Type2 和 Type3 的类型联合是定义它们集合的集合理论 union。

观点2：类型兼容性关系

从这个角度来看，我们不关心值本身以及在执行代码时它们是如何流动的。相反，我们采取了更加静态的观点：

让我们考虑以下问题：

如果将 myVariable 的静态类型分配给 MyType，则 myVariable 的类型为 MyType。

如果 SourceType 是兼容分配的，则可以将它们分配给 TargetType。

通过类型关系apparent 成员定义类型 union 的工作方式。

TypeScript 类型系统的一个有趣特征是，同一变量在不同位置可以具有不同的静态类型：

const arr = [];
// %inferred-type: any[]
arr;

arr.push(123);
// %inferred-type: number[]
arr;

arr.push('abc');
// %inferred-type: (string | number)[]
arr;

名义类型系统与结构类型系统

静态类型系统的职责之一是确定两种静态类型是否兼容：

这通常意味着检查 U 是否为 T 的子类型。大致有两种检查方法：

以下代码在名义类型系统中会产生类型错误（A 行），但在 TypeScript 的结构类型系统中是合法的，因为类 A 和类 B 具有相同的结构：

class A {
  name = 'A';
}
class B {
  name = 'B';
}
const someVariable: A = new B(); // (A)

TypeScript 的 interface 在结构上也可以正常工作 —— 不必为了匹配而实现它们：

interface Point {
  x: number;
  y: number;
}
const point: Point = {x: 1, y: 2}; // OK

链接: https://fly63.com/article/detial/8104