翻译:疯狂的技术宅
作者:Dr. Axel Rauschmayer
来源:2ality.com
正文共:1537 字
预计阅读时间:7 分钟
TypeScript中的类型是什么?本文中描述了两种有助于理解它们的观点。
以下三个问题对于理解类型如何工作非常重要,并且需要从两个角度分别回答。
myVariable
具有 MyType
类型是什么意思? let myVariable: MyType = /*...*/;
SourceType
是否可以分配给 TargetType
? let source: SourceType = /*...*/;
let target: TargetType = source;
TypeUnion
是如何从 Type1
,Type2
和 Type3
派生的? type TypeUnion = Type1 | Type2 | Type3;
从这个角度来看,类型是一组值:
myVariable
的类型为 MyType
,则意味着所有可以分配给 myVariable
的值都必须是 MyType
集合的元素。SourceType
可分配给 TargetType
,SourceType
是 TargetType
的子集。结果所有能被 SourceType
接受的值也被 TargetType
接受。Type1
、Type2
和 Type3
的类型联合是定义它们集合的集合理论 union。从这个角度来看,我们不关心值本身以及在执行代码时它们是如何流动的。相反,我们采取了更加静态的观点:
S
分配给目标类型 T
:S
和 T
是相同的类型。S
或 T
是 any
类型。让我们考虑以下问题:
myVariable
的静态类型分配给 MyType
,则 myVariable
的类型为 MyType
。SourceType
是兼容分配的,则可以将它们分配给 TargetType
。TypeScript 类型系统的一个有趣特征是,同一变量在不同位置可以具有不同的静态类型:
const arr = [];
// %inferred-type: any[]
arr;
arr.push(123);
// %inferred-type: number[]
arr;
arr.push('abc');
// %inferred-type: (string | number)[]
arr;
静态类型系统的职责之一是确定两种静态类型是否兼容:
U
(例如,通过函数调用提供)T
(在函数定义中指定)这通常意味着检查 U
是否为 T
的子类型。大致有两种检查方法:
U
具有 T
的所有部分(可能还有其他),并且 U
的每个部分具有 T
的相应部分的子类型,则类型 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://2ality.com/2020/02/understanding-types-typescript.html