Best common type

当从多个表达式进行类型推断时，这些表达式的类型用于计算“最佳公共类型”。

let x = [0, 1, null];let x: (number | null)[]

要推断上例中 x 的类型，我们必须考虑每个数组元素的类型。这里我们给出了数组类型的两种选择：数字和空值。最佳通用类型算法会考虑每个候选类型，并选择与所有其他候选类型兼容的类型。

因为必须从提供的候选类型中选择最好的公共类型，所以在某些情况下类型共享一个公共结构，但没有一种类型是所有候选类型的超类型。

let zoo = [new Rhino(), new Elephant(), new Snake()];let zoo: (Rhino | Elephant | Snake)[]

基于上下文的类型推导 - Contextual Typing

在 TypeScript 的某些情况下，类型推断也适用于“另一个方向”。这被称为“上下文类型”。当表达式的类型由其位置隐含时，就会发生上下文类型化。例如：

window.onmousedown = function (mouseEvent) {console.log(mouseEvent.button); //<- OKconsole.log(mouseEvent.kangaroo); //<- Error!
};

在这里，TypeScript 类型检查器使用 Window.onmousedown 函数的类型来推断赋值右侧的函数表达式的类型。当它这样做时，它能够推断 mouseEvent 参数的类型，该参数确实包含 button 属性，但不包含 kangaroo 属性。

TypeScript 足够智能，可以推断其他上下文中的类型：

window.onscroll = function (uiEvent) {console.log(uiEvent.button); //<- Error!
};

基于上述函数被分配给 Window.onscroll 的事实，TypeScript 知道 uiEvent 是一个 UIEvent，而不是像前面的例子那样的 MouseEvent。 UIEvent 对象不包含按钮属性，因此 TypeScript 会抛出错误。

如果此函数不在上下文类型位置，则该函数的参数将隐式具有类型 any，并且不会发出错误（除非您使用 --noImplicitAny 选项）：

const handler = function (uiEvent) {console.log(uiEvent.button); //<- OK
};

我们还可以显式地为函数的参数提供类型信息以覆盖任何上下文类型：

window.onscroll = function (uiEvent: any) {console.log(uiEvent.button); //<- Now, no error is given
};

TypeScript 的类型推导 Type Inference相关推荐

TypeScript 交叉类型(intersection type)
在TS中和联合类型(union type)对应的还有交叉类型(intersection type). 交叉类型的出现主要为了组合多个对象类型(object type),因为相对于interface,o ...
TypeScript 联合类型(union type)
TS是JS的超集,在JS的基础上添加了一套类型系统,这样的TS可以被静态分析带来的好处显而易见. let val: string = 'val'; 声明一个string类型的变量val. let va ...
TypeScript类型推论(Type Inference)
要完全理解类型推论需要完整理解类型上下文,并且理解TS对于是否可以使用类型推论是基于静态分析完成的. 上下文类型应用在许多地方.常见的例子包括函数调用的参数,赋值的右手端位置,类型断言,对象和数组的成 ...
关于 TypeScript 联合类型 union type 赋值的一个错误消息
今天我做开发时遇到如下的 TypeScript 错误: Type 'Observable<boolean | undefined>' is not assignable to type ' ...
【ts】typescript高阶：键值类型及type与interface区别
提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 typescript高阶之键值类型及type与interface区别前言一.键值类型的语法 1.语法 2.错误例子 3.正确例子 ...
typescript索引类型_复杂场景下的 typescript 类型锚定（1） ----- 对象索引提取-阿里云开发者社区...
前言:在编写 typescript 应用的时候,有时候我们会希望复用或者构造一些特定结构的类型,这些类型只从 typescript 靠内建类型和 interface.class 比较难以表达,这时候我 ...
JavaScript 和 TypeScript 交叉口 —— 类型定义文件(*.d.ts)
在 <从 JavaScript 到 TypeScript 系列> 文章我们已经学习了 TypeScript 相关的知识. TypeScript 的核心在于静态类型,我们在编写 TS 的时候 ...
vue props使用typescript自定义类型
前言 Base: vue@3.2.33 + typescript@4.1.6 + npm@8.5.0 尝试解决将ts中自定义的interface/type,传vue的props属性的问题. 记录一下过 ...
简单探讨TypeScript 枚举类型
这篇文章主要介绍了TypeScript 枚举类型,TypeScript 在 ES 原有类型基础上加入枚举类型,使得在 TypeScript 中也可以给一组数值赋予名字,这样对开发者比较友好,可以理解枚 ...

TypeScript 的类型推导 Type Inference

Best common type

基于上下文的类型推导 - Contextual Typing

TypeScript 的类型推导 Type Inference相关推荐

最新文章

热门文章