?

一个TypeScript应用包含多个TypeScript代码文件，一个代码文件可以包含多个Class，Class也可以组成模块。

模块的概念和C#中组织类型的namespace比较接近。

运行时，TypeScript编译得到的JavaScript可以通过Html标签<Script>加入网页中,也可以使用其他的模块加载工具，比如NodeJS就内置了模块加载工具。

不使用模块组织依赖的时候，一个TypeScript文件依赖另一个TypeScript文件，应该加上引用注释

（这是可选的，一般也不使用命令行编译，大部分图形化工具不加也可以）。

当使用模块加载工具的时候（比如RequireJS，或者NodeJS内置加载工具），代码如下：

不知道啥时RequireJS的同学请自行补课。

?

当你使用import语句的时候，是有两种模式的，CommonJS 和 AMD模式，他们编译为JavaScript生成的代码不同，这个根据你使用不同的加载工具请自己设置TypeScript编译选项。

?

注：RequireJS使用CommonJS模式，NodeJS使用AMD模式。

?

类型

TypeScript的基本类型有 string,number,boolean,null 和undefined.

因为JavaScript没有整数小数这些区分，所以TypeScript也没有添加，统一使用number。

另外TypeScript添加了一个any类型，当需要动态类型时使用。这个与C#的动态关键字是类似的。

TypeScript支持数组类型，通过在类型后面添加方括号定义，比如string[].

也可以自定义类型，在讲到class的时候我们细说。

类型推断

当右侧表达式足以确定变量的类型时，TypeScript可以自动确定变量的类型，这个特性C#也有。

比如这个代码

如果在VisualStudio中，鼠标悬停，依然可以看到这三个变量被识别出来是各自不同的类型。

?

类型推断还能处理更复杂的类型信息，比如这个代码，无需类型标注即可获得静态类型的好处。

写完这个代码以后，之后再键入example,再敲入.,也可以获得自动完成提示，.name,.id.collection.

类型推断始终是有局限性的，基本上是依靠右侧表达式来推断。如果声明变量时没有推断出来，事后赋值也推断不出来了。

比如下面的代码。

当声明变量时无法推断出，变量即被标注为 any 类型，any类型完全没有任何类型安全方面的保证。当然自动完成功能也没有。

类型批注

TypeScript的类型是设计为批注，而不是定义，是可选的，所以和C#的类型写在前面不同，类型是以可选的形式写在后面的。

我们将上面的所有代码都加上类型标注

这些标注的添加和上面自动类型推断的结果是一样的。但是阅读代码的人就可以一眼看出。

模块、类型、接口

TypeScript的模块用于代码组织，类似C#的namespace。一个模块可以包含多个类和接口。可以将类和接口私有化或者导出，导出的意思就是公开，让其他模块可以访问他们。

TypeScript的class和C#的class意义相同。实际上TypeScript的一个亮点就是他隐藏了JavaScript的原型设计，而是采用了更流行的基于类型的面向对象方式。你可以扩展其他的class，实现多个接口，添加构造函数，公开属性和方法。这些都和c#的class很相似。

属性和方法可以使用public 或private访问修饰符 修饰。当在构造函数的参数上使用访问修饰符的时候，他们会自动为该类型添加同名的属性。请非常小心这个语法，这和很多语言都不同

如图中Point的构造函数参数x，y 使用了public 访问修饰符，所以会自动生成Point的成员变量x和y，这是TypeScript的特有语法。

图中的export 关键字使类和接口在模块外部可见。实现接口使用implements关键字，继承类使用extends关键字，这点和C#直接用一个冒号表达不同。

当你扩展一个类时，用super关键字调用基类的方法。用this关键字来调用当前类的属性和方法。重写基类的方法是可选的。构造函数必须要调用基类的构造函数，编译器会提醒你的。

模块名称包含点，一个模块可以定义在多个文件中。模块的名字别太长，访问的时候打字会比较累。下图是一个比较累的例子

函数（或者叫功能）的参数

TypeScript的函数参数拥有丰富的特性：可选参数、默认参数、不定参数。

有一些和其他语言的设计不太相同。下面将一一说明。

虽然在设计上，这些参数特性都不是必要的，但是TypeScript的这些地方都有些特殊性，你得了解一下，以备看懂。

可选参数的设计和C#基本一致，符号用? 表示可选参数，可选参数必须出现在必选参数之后。

默认参数只要在定义时给附上值就行了，并且和c#不同，TypeScript的默认参数不需要是常量，运行时可解释即可，后文会有说明

下图是特殊的默认参数

不定参数可以指定任意数量，可以为零，这个设计也和c#类似，只是要添加三个点。

下面就是不定参数的一个典型使用场景

函数重载

Javascript是不允许重名函数的，TypeScript实现的重载和c#有很大的不同。

TypeScript的重载是要把所有的函数签名写出来，写一份实现，并且最后一个函数签名要能包含上面所有的函数签名。

如下图：

和C#三个重载的函数就拥有三个函数体不同，TypeScript的重载其实全是 overloadedMethod(input:any)这最后一个签名的实现，上面的两个只是两个兼容的签名。但是配合可选参数还是能够表现出和c#的函数重载类似的调用方式。函数编写方式免不了要写很多的if了。

枚举

TypeScript的枚举非常类似C#，你可以指定值。

也可以反过来通过枚举值取到枚举的名字

这里面的细节就不再赘述了，你可以观察枚举编译为JavaScript以后是什么样子

泛型

对c#程序员来说，TypeScript的泛型很熟悉，基本上是一致的设计。

类型约束

C#使用where关键字标记类型约束，TypeScript在尖括号内使用extends关键字，效果相同。

下面的例子中IExample约束了泛型必须是IMyInterface和他的派生类。

如果像下图这样用的话，就能约束为同时继承ClassOne和ClassTwo的类型。很费解吧，请特别注意。

这是因为本质上TypeScript的类型系统并不那么严格，下面的章节会详细解释TypeScript的类型系统

你也可以使用泛型作为泛型的类型约束，如下

结构类型

C#的类型系统是强制标记的，对象的类型必须显示声明。即使两个类型拥有完全相同的结构，他们也不是相同的类型。

TypeScript的类型系统是结构上的，建筑结构，层次型的。结构相同的类型即可认为是同一类型。

下面是C#中的一个例子

ClassA 和 ClassB是完全不同的类型，他们之间是不同的，必须显示继承接口才能让他们兼容。

而在TypeScript中不是这样，我们用如下的例子来证明。ClassA ClassB ExampleC 拥有签名一致的函数，所以他们就可以兼容。

TypeScript的结构类型系统意味着你在c#中的观念不再成立，class name不是关键。这需要我们写代码的时候时刻注意。

这玩意会让代码千变万化，如果你熟悉C#或者JAVA，这可能会让你困惑。

?

看下面的例子，不需要class关键字，也会实实在在的产生类型。

在这个例子中，会产生一个匿名的类型

这个匿名的类型可以让开发工具提供自动完成功能，编译器也会检查。如果你尝试将objA的name赋值一个数值，编译器会检查到告诉你错误。编译器还会为数组推断类型。

访问修饰器

TypeScript的访问修饰器可能会给你一种弱小的感觉，的确如此。他仅仅是一个编译时功能。

模块中的一切均为私有，除非加上export关键字。没有export关键字的类型仅能在模块内实用。

类的内部，一切均为公开，除非加上private 关键字。public只是为了看起来意图明确。

TypeScript的访问修饰器就是这样而已，没有c#的 internal 和 protected这种修饰器，想要c#类似的功能就放弃吧。

TypeScript特性

内存管理

当你运行TypeScript 程序时，他会被编译为JavaScript程序来运行。JavaScript的内存管理和C#比较接近。内存在对象创建时分配，在对象不再使用时回收。不同的是垃圾回收机制在JavaScript的世界里没有标准统一的实现，这意味着你的JavaScript程序的内存性能相比C#难以预测。

比如说，在比较早的浏览器上，可能使用的是引用计数垃圾回收机制，当一个对象的引用计数达到0时，将回收内存。这种垃圾回收机制比较快速和即时。但是当发生循环引用时，引用计数将永远也无法达到零。

比较新的浏览器使用标记与清扫垃圾回收机制来找出不可访问到的对象，很大程度上避免了这个问题。这种垃圾回收机制比较缓慢，但他能避免循环引用导致的内存泄露。

关于两种垃圾回收机制有很多的资料可以研究，这里只是想告诉你，别相信你的直觉，浏览器会很不同。

资源释放

在TypeScript中，通常都不会使用到非托管的资源，Node.JS中多一点。大部分浏览器将底层交互API设计为回调控制，不向你暴露对象，不需要你自己管理非托管资源。比如下面接近传感器的API使用方法。

如你所见，使用回调并不需要管理任何引用。Node.js中有时会碰到需要自己释放的对象，你要保证释放这些对象，否则就会内存泄露。你可以使用 try finally 块，释放代码写在 finally 块中。这样就能保证就算发生任何错误，释放代码都会执行。

异常

在TypeScript中，你可以用throw关键字引发一个异常。

在JavaScript中，throw可以throw任何类型的东西。但是再TypeScript中，throw的必须是一个Error对象。

要自定义异常，可以继承Error类。当你需要一个特定的异常行为或者你希望catch块可以分辨异常类型时，自定义异常就会很有用。

处理异常需要使用try catch语句块。大体上和c#的使用方法是很接近的，但是c#支持多个catch块，TpyeScript不可以，你可以用error.name来区分异常类型。

如果需要一些即使发生异常也会调用的代码，你就需要finally语句块了，他们的执行顺序如下图

数组

TypeScript 从0.9开始，数组就是可以指定内容的准确类型。用法是，用类型批注加上方括号。TypeScript会检查加入到数组中的条目的类型，也会推断从数组中检索的条目的类型。

因为TypeScript没有自己的框架库，所以只能使用内置的JavaScript函数和浏览器接口，没有像C#的List<T> 这样的泛型库。但这并不能阻止我们自己创造一个。下面是一个泛型列表类的例子，只是个演示。

?

上面这个List类演示了许多TypeScript的语言特性和使用方法，就像C#的List<T>那样。下面是如何使用这个List类的例子。

日期与时间

TypeScript中的Date对象是基于JavaScript Date 对象的，他是由从1970年零点 utc时间开始的毫秒数。

Date对象能够接受各种精度的初始化，如下。

你也可以使用RFC和ISO格式的字符串初始化Date对象，当然，毫秒数也可以（从1970年1月1日开始）。

请注意，这不是时间戳，时间戳单位是秒，数字比这个少几个零。

Now

你可以访问现在的日期与时间，通过方法Date.Now();返回值是毫秒，你如果需要用Date对象去操作。需要用这个值去初始化一个Date对象

Date 的方法

当你有一个Date对象时，你可以用内部方法获取日期的一部分。有两套方法，一套本地，一套UTC。在下面的实例中，你看到我们把getUTCMonth的值加了1.因为返回值从零开始，所以一月是 0，2 月是 1，等等。

日期的各个部分为年、月、日、小时、分钟、秒、毫秒。所有这些值都可以在获取本地的和 UTC 的。还可以用 getDay 或 getUTCDay得到星期，从零开始，星期天为 0，星期一为1。

?

也可以利用各种格式显示日期。如下。

事件

TypeScript中的事件是 DOM API（Document Object Model），DOM API事件是一套标准的鼠标和键盘交互和对象和窗体事件。下面的事件列表并非详尽无遗。

鼠标事件

?

键盘事件

对象事件

表单事件

自定义事件

TypeScript中自定义事件和DOM内置事件采用相同的机制发布和侦听。任何事件都可以有多个侦听器和多个发布者。下面是一个侦听自定义事件的例子

?

下面的类发布自定义的事件:

执行顺序

事件按照他们被注册的顺序执行。这个因素很重要，因为事件处理程序是序列执行，不是同时，顺序会影响逻辑。

当你注册两个事件侦听器，并且第一个执行了5秒钟。那么第二个就不会执行，一直要等到第一个执行完毕之后才会被执行。如果第一个侦听器出错，第二个还是会执行。

你可以用setTimeOut时间参数为零的方式去执行你的长时间操作，这相当于多线程，就不会堵住其他的事件执行了。

框架

TypeScript捆绑了那些常用对象和方法。因为Web标准在不断的演变，你可能会经常发现一些新的东西还没有被包含在标准库中。你可以查看你计算机上的TypeScript标准库文件，他在SDK目录中，通常可能是：

C:\Program Files (86) \Microsoft SDKs\TypeScript\lib.d.ts

你永远也不应该修改这个文件，如果你需要新的定义，我们可以继续增加新的定义文件。

下面的是 ClientRectList 在TypeScript库文件中的当前定义。

如果要为 ClientRectList添加一个新的isOrdered属性，只需简单的在你自己的程序中添加以下接口扩展程序，即可立即使用。

当它被添加到标准库时，你自己的扩展会引发一个生成错误，到时把它删除了就行了。

当你创建ClientRectList的实例时，你将能够访问过去的方法，以及获取新的 isOrdered 属性。

除了这些TypeScript标准库的定义，TypeScript没有捆绑任何其他的框架。在前一章中，我们谈到了，你可以重建你的各种功能，比如像C#一样，因为TypeScript有着丰富的语言功能。你也可以访问所有现有的 JavaScript 框架，jQuery、Knockout、Angular和其他数以百计的框架。但是他们都用纯 JavaScript开发，你不会得到增强的开发体验，除非，你有一个匹配的定义文件。幸运的是，有一个项目，他们致力于为所有的JavaScript框架提供TypeScript定义。Definitely Typed 项目，Github地址是：