TypeScript快餐教程 (1) - 初识

时间:2022-06-16 16:05:25

TypeScript快餐教程 (1) - 初识

JavaScript,更广泛点也许可以说是ECMA Script的各种实现,从诞生到现在,一直就没断过争议。ECMA Script 4的夭折正是这些争论严重程度的重要体现。

Anyway,不断争议如何,JavaScript的地位一直不曾被撼动。针对JavaScript存在的问题,可编译成JavaScript的语言一直就前仆后继。

这其中,DART,CoffeeScript和TypeScript是其中最有名的三个。

DART由Google推出,设计者是大名鼎鼎的v8引擎作者Lars Bak.
DART很像是一种传统的面向对象式的语言,比如很像Java。

我们来看个小例子:

class Point{
number x, y;
Point(this.x, this.y);
}

class ColorPoint extends Point{
number color;
ColorPoint(this.x,this.y,this.color);
}

main(){
var p = new Point(1,1);
}

怎么样?这个语法比ECMA Script 6还需要用constructor()函数用起来更像Java吧?

DART的优势:

  1. 在Google中被广泛使用
  2. 在Fuchsia操作系统中被用来写应用代码
  3. 语法特别适合Java/C#用户学习

CoffeeScript是一门以发扬JavaScript的good part的小型语言。作者有比较好的Ruby功底,所以CoffeeScript写出来有较浓的动态语言的风格。
例:

a = 1
if a is yes
print (a + ' is yes')

翻译成JavaScript代码,是这样的:

// Generated by CoffeeScript 1.10.0
(function() {
var a;

a = 1;

if (a === true) {
print(a + ' is yes');
}

}).call(this);

为了避免使用在JavaScript中比较trick的==操作符,CoffeeScript提供了is操作符来简化使用===带来的不快。
另外,为了方便程序员的使用,CoffeeScript提供了yes和on作为true的别名。
这样的小优化,在CoffeeScript中随处可见。

CoffeeScript的最要优势之一是Github的编辑器Atom代码中使用了大量的CoffeeScript。并且Atom的plugin可以使用CoffeeScript开发。

CoffeeScript的方向是更加*,更像脚本语言一些,跟DART的像传统语言的方向基本上是背道而驰。

下面,当当当当,我们的主角TypeScript就要出场了。

TypeScript比起Google的Dart丝毫不逊色,因为它也是出自名门,是微软公司的产品。他的主要负责人可是比Lars Bak成名早得多的大牛Anders Hejlsberg。Anders曾经领导开发了伟大的产品Turbo Pascal,Delphi和.Net及C#.

TypeScript通过tsc工具,将TypeScript转化为javascript,再执行javascript.

TypeScriptv既然叫Type Script,有类型的脚本语言。我们这一讲就从类型说起。

Type Script的类型

可以声明多种类型 - 联合类型

Type Script中第一个不同于其他同类语言的一点是,它支持一个变量可能是多种类型。

比如我们有一个命令行参数,可能是一个字符串,也可能是一个字符串数组。这很好啊,我们就声明是两种类型就好了:

var paras: string | string[];
paras = "-a"
paras = ["-a", "-t"]

类型守护

既然支持联合类型了,那么给静态检查就带来困难了啊。这可如何是好呢?TypeScript提供了类型守护功能,当Type Script能确认在一段代码中,确定是一个类型之后,就会对它按照这个类型来进行检查。

比如我们按paras是string的情况来判断,那么在这个if块中,paras就是string.例:

if (typeof paras === 'string') {
console.log(paras + " is a string")
} else {
console.log(typeof paras);
}

非侵入式的类型

请允许我迫不及待地先介绍非侵入式的类型系统。
非侵入式,也就是说,一个类,实现某个接口,只要实现了该接口要求的所有方法就可以了,并不需要像Java一样明确地用implements来进行说明。Go语言中就是这样做的,TypeScript也是如此,我们看个例子:

interface Point{
x: number;
y: number;
}

class ColorPoint{
color : Color
constructor(public x ,public y){
this.color = Color.Black;
}
}

var cp : Point = new ColorPoint(1,1)

Point接口定义了x,y两个变量。ColorPoint类只要同样定义x,y两个同类型变量,就算是实现了Point接口。在定义变量类型时,就可以用Point做他的类型了。

这样是不是比DART那样用extends来写更有趣一些呢?

不过,这只是TypeScript的语法糖,我们来看下tsc生成的js代码,Point直接被无视掉了:

var ColorPoint = (function () {
function ColorPoint(x, y) {
this.x = x;
this.y = y;
this.color = Color.Black;
}
return ColorPoint;
}());
var cp = new ColorPoint(1, 1);

枚举类型

TypeScript支持枚举类型。从生成的代码来看,功能还是挺爽的。

例:TypeScript源码:

enum Color { Red, Green, Blue, Black, White, Yellow };
var color1: Color = Color.Blue;

生成的JavaScript代码:

var Color;
(function (Color) {
Color[Color["Red"] = 0] = "Red";
Color[Color["Green"] = 1] = "Green";
Color[Color["Blue"] = 2] = "Blue";
Color[Color["Black"] = 3] = "Black";
Color[Color["White"] = 4] = "White";
Color[Color["Yellow"] = 5] = "Yellow";
})(Color || (Color = {}));
;
var color1 = Color.Blue;

数字和数组

数值类型与JavaScript一样,只支持number类型。
数组可以用数组方式写,也可以用泛型的方式写:

var num1: number = 10;
var num2: any = 20;
var num3: number[] = [1, 2, 3];
var num4: Array<number> = [4, 5, 6];

布尔类型

TypeScript的布尔类型,理论上只支持true和false。
但是实测下来,赋null和undefined也是可以的。

例:

var b1 : boolean = undefined;
var b2 : boolean = null;
var b3 : boolean = false;
var b4 : boolean = true;

TypeScript是一门检查型的语言

TypeScript因为最终要生成JavaScript代码,所以很多都是一些编译期的检查。当生成JavaScript代码时,这些信息就丢失了。

比如上面布尔型的例子,生成的JavaScript代码,会把类型信息全部丢掉:

var b1 = undefined;
var b2 = null;
var b3 = false;
var b4 = true;

数值的例子也是一样:

var num1 = 10;
var num2 = 20;
var num3 = [1, 2, 3];
var num4 = [4, 5, 6];

所以,总结起来,对于基本类型,TypeScript主要是进行编译期检查,包括联合类型和类型守护皆是如此。一旦编译通过生成JavaScript,这些类型信息就将全部丢失。