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 相关文章推荐
javascript innerHTML使用分析
Dec 03 Javascript
js 优化次数过多的循环 考虑到性能问题
Mar 05 Javascript
删除javascript中注释语句的正则表达式
Jun 11 Javascript
js实现仿Discuz文本框弹出层效果
Aug 13 Javascript
JavaScript如何调试有哪些建议和技巧附五款有用的调试工具
Oct 28 Javascript
AngularJS基础 ng-open 指令简单实例
Aug 02 Javascript
使用jquery实现的循环连续可停顿滚动实例
Nov 23 Javascript
jQuery使用EasyUi实现三级联动下拉框效果
Mar 08 Javascript
深入理解React中何时使用箭头函数
Aug 23 Javascript
js中url对象化管理分析
Dec 29 Javascript
layui禁用侧边导航栏点击事件的解决方法
Sep 25 Javascript
Openlayers绘制聚合标注
Sep 28 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中使用Akismet防止垃圾评论的代码
2011/06/10 PHP
Laravel框架学习笔记(一)环境搭建
2014/10/15 PHP
浅谈PHP中的错误处理和异常处理
2017/02/04 PHP
Laravel Eloquent ORM 多条件查询的例子
2019/10/10 PHP
Laravel 错误提示本地化的实现
2019/10/22 PHP
JQuery防止退格键网页后退的实现代码
2012/03/23 Javascript
jQuery中json对象的复制方式介绍(数组及对象)
2013/06/08 Javascript
javascript间隔刷新的简单实例
2013/11/14 Javascript
ie8本地图片上传预览示例代码
2014/01/12 Javascript
js写出遮罩层登陆框和对联广告并自动跟随滚动条滚动
2014/04/29 Javascript
使用jQueryMobile实现滑动翻页效果的方法
2015/02/04 Javascript
JavaScript使用ActiveXObject访问Access和SQL Server数据库
2015/04/02 Javascript
javascript实现网页端解压并查看zip文件
2015/12/15 Javascript
jQuery form插件之formDdata参数校验表单及验证后提交
2016/01/23 Javascript
浅谈通过JS拦截 pushState和replaceState事件
2017/07/21 Javascript
js canvas实现简单的图像扩散效果
2020/06/28 Javascript
详解vue mint-ui源码解析之loadmore组件
2017/10/11 Javascript
JS基于对象的特性实现去除数组中重复项功能详解
2017/11/17 Javascript
详解从Vue-router到html5的pushState
2018/07/21 Javascript
Python3实现将文件归档到zip文件及从zip文件中读取数据的方法
2015/05/22 Python
pycharm 取消默认的右击运行unittest的方法
2018/11/29 Python
浅谈python图片处理Image和skimage的区别
2019/08/04 Python
Python统计学一数据的概括性度量详解
2020/03/03 Python
Python 实现自动登录+点击+滑动验证功能
2020/06/10 Python
详解PyQt5中textBrowser显示print语句输出的简单方法
2020/08/07 Python
HTML5 canvas基本绘图之图形组合
2016/06/27 HTML / CSS
英国最红的高街时尚品牌:Topshop
2016/08/05 全球购物
英国最大的线上保健品零售商之一:Vitamin Planet
2016/12/01 全球购物
澳大利亚家具和家居用品在线:BROSA
2017/11/02 全球购物
HolidayLettings英国:预订最好的度假公寓、别墅和自助式住宿
2019/08/27 全球购物
《泉水》教学反思
2014/04/11 职场文书
小学生感恩老师演讲稿
2014/08/28 职场文书
2015年汽车销售经理工作总结
2015/04/27 职场文书
纪检部部长竞选稿
2015/11/21 职场文书
Angular CLI发布路径的配置项浅析
2021/03/29 Javascript
MySQL 四种连接和多表查询详解
2021/07/16 MySQL