TypeScript Type Innference(类型判断)


Posted in Javascript onMarch 10, 2016

TypeScript 是微软开发的 JavaScript 的超集,TypeScript兼容JavaScript,可以载入JavaScript代码然后运行。TypeScript与JavaScript相比进步的地方 包括:加入注释,让编译器理解所支持的对象和函数,编译器会移除注释,不会增加开销;增加一个完整的类结构,使之更新是传统的面向对象语言。

为什么会有 TypeScript?

JavaScript 只是一个脚本语言,并非设计用于开发大型 Web 应用,JavaScript 没有提供类和模块的概念,而 TypeScript 扩展了 JavaScript 实现了这些特性。TypeScript 主要特点包括:

TypeScript 是微软推出的开源语言,使用 Apache 授权协议

TypeScript 是 JavaScript 的超集.

TypeScript 增加了可选类型、类和模块

TypeScript 可编译成可读的、标准的 JavaScript

TypeScript 支持开发大规模 JavaScript 应用

TypeScript 设计用于开发大型应用,并保证编译后的 JavaScript 代码兼容性

TypeScript 扩展了 JavaScript 的语法,因此已有的 JavaScript 代码可直接与 TypeScript 一起运行无需更改

TypeScript 文件扩展名是 ts,而 TypeScript 编译器会编译成 js 文件

TypeScript 语法与 JScript .NET 相同

TypeScript 易学易于理解

语法特性

类 Classes

接口 Interfaces

模块 Modules

类型注解 Type annotations

编译时类型检查 Compile time type checking

Arrow 函数 (类似 C# 的 Lambda 表达式)

JavaScript 的 TypeScript 的区别

TypeScript 是 JavaScript 的超集,扩展了 JavaScript 的语法,因此现有的 JavaScript 代码可与 TypeScript 一起工作无需任何修改,TypeScript 通过类型注解提供编译时的静态类型检查。TypeScript 可处理已有的 JavaScript 代码,并只对其中的

TypeScript 代码进行编译。

在这一节,我们将介绍TypeScript中的类型推断。我们将会讨论类型推断需要在何处用到以及如何推断。

基础

在TypeScript中,在几个没有明确指定类型注释的地方将会使用类型推断来提供类型信息。

var x = 3;

变量"x"的值被推断为number。这种推断发生在变量或者成员初始化、设置参数默认值、决定函数返回类型的时候。

最佳公共类型

当需要从多个表达式中进行类型推断的时候,这些表达式的类型将会用来推断出一个"最佳公共类型"。例如:

var x = [0, 1, null];

要想推断出什么例子中"x"的类型,我们需要考虑每个数组元素的类型。这里,我们给出了两个数组类型的选择:number和null。最佳公共类型算法要求考虑到所有候选的类型,并选择出与所有候选类型兼容的类型。(这里的类型可为Array<number>)

由于最佳公共类型是从提供的候选类型中选择的,有些情况下,候选类型共享一个共同类型,但没有任何一个类型是所有候选类型的父类型。例如:

class Animal {
name:string;
constructor(theName: string) { this.name = theName; }
}
class Snake extends Animal{
constructor(name: string) { super(name); }
}
class Elephant extends Animal{
constructor(name: string) { super(name); }
}
class Rhino extends Animal {
constructor(name: string) { super(name); }
}
var zoo = [new Rhino(), new Elephant(), new Snake()]; // 这里三个成员的类型分别为:Rhino、Elephant、Snake 他们是最佳公共类型的候选类型,Animal是他们的super type(译为父类型)

理想情况下,我们可能希望zoo被推断为Animal[]类型,但是因为数组中没有任何对象是严格的Animal类型,我们便不能做出推断。为了解决这个问题,当不能推断出所有候选类型的父类型的时候,我们需要明确的提供类型。

var zoo: Animal[] = [new Rhino(), new Elephant(), new Snake()];

当没有最佳公共类型的时候,推断的结果是产生一个空对象,{}。因为这个类型不含任何成员,对于其任何属性的访问都会导致错误。这种结果依然允许我们在忽略类型的方式中使用对象,但在保障类型安全的前提下,该对象的类型不能被隐式的确定。

上下文(语境)类型

在TypeScript中,类型推断在某些情况下也存在于"其他方面"。这被称为"上下文归类"。上下文归类发生在当一个表达式的类型在其所在的上下文中被隐式的指定的时候。例如:

window.onmousedown = function(mouseEvent) { 
console.log(mouseEvent.buton); //<- 编译时抛出错误 
};

上面的代码将会给出一个类型错误,TypeScript的类型检查器使用Window.onmousedown函数的类型来推断右边的函数表达式类型。当它这么做的时候,便能够推断出参数mouseEvent的类型。 如果这个表达式不在可进行上下文归类的位置,参数mouseEvent 需要给定一个any类型,这样就不会出现错误了。

如果需要上下文归类的表达式内容中包含明确的类型信息,则会忽略上下文归类。我们重写上面的例子:

window.onmousedown = function(mouseEvent: any) { 
console.log(mouseEvent.buton); //<- 现在不会报错了 
};

参数明确指定类型的函数表达式将会忽略上下文归类。经过这样的处理就不会报错了,因为没有应用到上下文归类。

上下文归类可应用于许多场景。常见的场景包括函数调用的参数、赋值的等号右边表达式、类型确定、对象成员和数组字面量、返回值语句。上下文类型也作为最佳公共类型的候选类型。例如:

function createZoo(): Animal[] {
return [new Rhino(), new Elephant(), new Snake()];
}

在这个例子中,最佳公共类型有四个候选类型:Animal,Rhino,Elephant,和Snake。其中,Animal可以作为最佳公共类型。

形式有点像数学中的求最小公倍数...

Javascript 相关文章推荐
Json2Template.js 基于jquery的插件 绑定JavaScript对象到Html模板中
Oct 29 Javascript
使用jQuery和Bootstrap实现多层、自适应模态窗口
Dec 22 Javascript
再谈JavaScript线程
Jul 10 Javascript
JS简单实现DIV相对于浏览器固定位置不变的方法
Jun 17 Javascript
在JS中a标签加入单击事件屏蔽href跳转页面
Dec 16 Javascript
利用策略模式与装饰模式扩展JavaScript表单验证功能
Feb 14 Javascript
详解使用路由延迟加载 Angular 模块
Oct 12 Javascript
如何编写一个完整的Angular4 FormText 组件
Nov 18 Javascript
JavaScript定义及输出螺旋矩阵的方法详解
Dec 01 Javascript
详解vue引入子组件方法
Feb 12 Javascript
详解JS实现系统登录页的登录和验证
Apr 29 Javascript
Swiper实现导航栏滚动效果
Oct 16 Javascript
JavaScript File分段上传
Mar 10 #Javascript
ES6中非常实用的新特性介绍
Mar 10 #Javascript
ES6的新特性概览
Mar 10 #Javascript
JavaScript字符串常用的方法
Mar 10 #Javascript
javascript中call apply 与 bind方法详解
Mar 10 #Javascript
angularjs表格ng-table使用备忘录
Mar 09 #Javascript
详解AngularJS控制器的使用
Mar 09 #Javascript
You might like
PHP Header用于页面跳转要注意的几个问题总结
2008/10/03 PHP
phpMyAdmin 安装配置方法和问题解决
2009/06/08 PHP
JavaScript实现动态增加文件域表单
2009/02/12 Javascript
php gethostbyname获取域名ip地址函数详解
2010/01/24 Javascript
javascript小数四舍五入多种方法实现
2012/12/23 Javascript
jQuery跨域问题解决方案
2015/08/03 Javascript
Bootstrap实现input控件失去焦点时验证
2016/08/04 Javascript
ionic实现带字的toggle滑动组件
2016/08/27 Javascript
使用base64对图片的二进制进行编码并用ajax进行显示
2017/01/03 Javascript
JS实现中英文混合文字溢出友好截取功能
2018/08/06 Javascript
Vue如何实现监听组件原生事件
2020/07/03 Javascript
js实现3D旋转相册
2020/08/02 Javascript
vue中watch和computed的区别与使用方法
2020/08/23 Javascript
[02:11]2016国际邀请赛中国区预选赛最美TA采访现场玩家
2016/06/28 DOTA
Python修改Excel数据的实例代码
2013/11/01 Python
Python算术运算符实例详解
2017/05/31 Python
Python程序员面试题 你必须提前准备!
2018/01/16 Python
利用ImageAI库只需几行python代码实现目标检测
2019/08/09 Python
python 实现目录复制的三种小结
2019/12/04 Python
Python post请求实现代码实例
2020/02/28 Python
FILA斐乐中国官方商城:意大利运动品牌
2017/01/25 全球购物
StubHub西班牙:购买和出售全球活动门票
2017/06/05 全球购物
HTC VIVE美国官网:VR虚拟现实眼镜
2018/02/13 全球购物
写自荐信三大法宝
2014/01/24 职场文书
优秀班干部事迹材料
2014/01/26 职场文书
工作分析计划书
2014/04/30 职场文书
单位消防安全责任书
2014/07/23 职场文书
客户答谢会活动方案
2014/08/31 职场文书
感恩祖国演讲稿
2014/09/09 职场文书
大雁塔导游词
2015/02/04 职场文书
2015年八一建军节活动总结
2015/03/20 职场文书
公司财务人员岗位职责
2015/04/14 职场文书
2019西餐厅创业计划书范文!
2019/07/12 职场文书
Redis实现订单自动过期功能的示例代码
2021/05/08 Redis
pytorch Dropout过拟合的操作
2021/05/27 Python
Kubernetes关键组件与结构组成介绍
2022/03/31 Servers