导语: TypeScript(以下简称TS) 是由微软开发的编程语言,是JavaScript的超集,于2013年10月发布第一个正式版0.9。最先代码托管在Codeplex,2014年7月移到了Github。它的代码风格和C#很像,这是因为TS是由C#首席架构师设计并主导开发的。
开发环境
编辑器首选MS自家开发的VS Code (推荐)。当然,Webstorm在2016年2月推出的版本内置了TS编译器,atom 需要安装 atom-typescript包,sublime需要安装Typescript-sublime-plugin。
TS程序以.ts扩展名结尾。运行TS程序很简单,只需要安装编译器TS compile即可,需要通过npm 的方式安装它。
npm install typescript -g
安装完后,在全局会有tsc命令,需要通过它编译TS程序
tsc hello.ts
类型系统
谈到TS,大家印象最深刻的还是TS的静态强类型了。虽然JS异常灵活,但是在大型复杂的web工程里面并不合适。除了TS,其它公司比如FB推出了Flow,Google推出了Clojure,这些都是为了给JS增加类型。
类型注解
概念:注解是一种轻量级的为函数或变量添加约束的方式。
语法:变量或者函数后接 :TypeAnnotation
比如:
let a: number = 123;
function add(a: number, b: number): number {
return a + b;
}
原始类型
TS里的原始类型包括string, number和boolean,这些也是JS的原始类型。在TS里,你可以显示声明变量为某一种类型。
let num: number;
let str: string;
let bool: boolean;
num = 123;
num = 123.456;
num = '123'; // 错误
str = '123';
str = 123; // 错误
bool = true;
bool = false;
bool = 'false'; // 错误
数组
TS里手动指明一个数组类型很简单,只需要在普通类型注解后面加上[]符号。比如声明一个布尔数组为 :boolean[]
let boolArray: boolean[];
boolArray = [true, false];
console.log(boolArray[0]); // true
console.log(boolArray.length); // 2
boolArray[1] = true;
boolArray = [false, false];
boolArray[0] = 'false'; // 错误
boolArray = 'false'; // 错误
boolArray = [true, 'false']; // 错误
枚举
枚举在TS里面是原生支持的,使用枚举我们可以定义一些带名字的常量,它的好处是可以让语意更清晰。定义一个枚举值,需要使用 enum。
TS 仅支持基于数字的和字符串的枚举。如果是数字枚举,枚举值默认是从0开始,依次自增的。你也可以手动的设置第一个枚举值,比如为1。
enum Color {
RED = 1,
GREEN,
YELLOW
}
console.log(Color.GREEN); // 2
enum Direction {
UP = 'UP',
DOWN = 'DOWN',
LEFT = 'LEFT',
RIGHT = 'RIGHT'
}
console.log(Direction.UP); // 'UP'
虽然TS支持异构枚举(即数字和字符串混搭的枚举),但是并不建议使用这种方式。
特殊类型
- any: 任何元素都可以赋值给它,它也可以赋值给任何元素。相当于关掉类型检查,适用 js 代码迁移到 ts。
- null: 可以赋值给任何元素
- undefined: 可以赋值给任何元素
- void: 表示函数没有返回类型
接口
和其它语言(比如C++, java)不同的是,TS 里接口可以描述变量、函数类型和类类型,其它语言只能描述类类型。另外,TS中的接口描述变量时可以使用?定义某个变量为可选变量。比如对某个对象进行约束时,如果对象的某个属性设置成了可选,则传入的对象可以不包含这个属性。
interface LabelledValue {
size?: Number,
label: String
}
function printLabel(labelObject: LabelledValue) {
return labelObject.label;
}
// 由于size设置成了可选变量,则传入的对象可以不包含size属性
console.log(printLabel({
label: 'size 1 object'
}));
接口-描述函数类型
接口出了可以用来约束JS对象之外,也可以用来约束函数类型。比如:
interface SearchFunc {
(source: string, subString: string): boolean;
}
let mySearch: SearchFunc;
mySearch = function(src: string, sub: string): boolean {
let result = src.search(sub);
return result > -1;
}
说明:对于函数类型的类型检查来说,函数的参数名不需要与接口里定义的名字相匹配。
接口 – 描述类类型
与C#或Java里接口的基本作用一样,TypeScript也能够用它来明确的强制一个类去符合某种契约。不同的是,C#或Java里面的接口描述类类型时,只能定义函数,TS里则还可以定义属性。如果某个类继承了这个接口,那么这个类必须包含接口里定义的属性和方法。
interface ClockInterface {
currentTime: Date;
setTime(d: Date): any;
}
class Clock implements ClockInterface {
currentTime = new Date();
setTime(d: Date) {
this.currentTime = d;
}
constructor(h: number, m: number) { }
}
泛型
设计的出发点:可重用性。组件不仅能够支持当前的数据类型,同时也能支持未来的数据类型。
比如我们需要一个函数,同时支持入参是一个数字或字符串,返回值的类型和参数类型相同:
function identity(arg: number): number {
return arg;
}
function identity(arg: string): string {
return arg;
}
这个时候就需要引入泛型去解决这个问题了。在TS里,泛型的类型变量定义为T,需要使用<>包裹起来,这个时候函数会捕获入参的类型,然后在后面就可以使用这个类型了。如下:。
function identity<T>(arg: T): T {
return arg;
}
let output1 = identity<string>("myString"); // myString
let output2 = identity("myString"); // myString
由于TS的类型推断,调用时不需要显示的指明类型,推荐使用上面代码中的第二种方式。
高级特性
类
- 访问修饰符:public可以被自由访问,private在类外无法访问。protected可以被派生类(子类)访问。
- static关键字:可以用来修饰类的属性和方法,静态属性和静态方法存在类上而不是实例上,可以通过 ”类名.” 的方式来访问。
readonly关键字:属性初始化之后不可修改。
- 备注:readonly和const区别:const用来修饰变量,readonly用来修饰属性。
抽象类
定义:通过 abstract 来修饰的类称为抽象类。
特点:
- 抽象类不能直接实例化,即不能通过 new X()的方式调用。
- 抽象类必须包含一些抽象方法,抽象方法也用 abstract修饰
- 抽象类中的抽象方法不包含具体实现,但是必须在派生类中实现。
值得一提的是:抽象类和接口在描述类类型时,虽然比较类似。但是抽象类只能继承一个抽象类或者一个接口,而接口可以多重继承。
装饰器
Decorator是一个函数,用来修饰类、属性、方法和参数。使用 @expression 语。
Decorator 的改变是在编译期改变,而不是运行期。装饰器包括多个规范,TC39在stage-0 和 stage-2分别定了修饰属性、方法的规范和修饰类的规范。
类装饰器
@func 修饰 类A 等价于 A = func(A),相当于把旧class转换成了新的class。可以理解为一个加工函数,它接受一个类,加工后返回另一个类。
@testable
class MyTestableClass {
// ...
}
function testable(target) {
target.isTestable = true;
return target;
}
function getMetaData(target) {
return target.isTestable;
}
console.log(getMetaData(MyTestableClass)) // true
方法装饰器
装饰器除了修饰类之外,也可以用来修饰方法:
class A {
@func()
static method() {
}
}
function func() {
return function (target: any, propertyKey: string, descriptor: PropertyDescriptor) {
console.log('func 被调用了');
};
}
A.method();
@func 修饰 类A 上的 方法 method 是借助 Object 基类上的 defineProperty来实现的。原理如下:
const oldDescriptor = Object.getOwnPropertyDescriptor(A.property, 'method');
const newDescriptor = func(A.property, 'method', 'oldDescriptor');
Object.defineProperty(A.property, 'method', newDescriptor);
工程应用
tsconfig.json
tsconfig.json是TS项目的配置文件,可以描述整个工程的编译参数。
初始化一个 tsconfig.json 命令:
$ tsc --init
tsconfig.json里面的常用字段解释如下:
- target: 编译的目标平台,es3, es5, es2015, es2016, es2017
- module: 代码模块加载器 (commonjs, and 或者es2015)
- sourceMap: 是否生成映射文件(true 或 false)
- outDir: 指定输出目录
- exclude: 不包含的编译目录
与webpack结合
要想在webpack里面使用TS,只需两步。第一,安装ts-loader;第二,设置webpack配置中的resolve.extension 包含 .ts 和 .tsx。
下面是一个最简单的配置:
// webpack.config.js
module.exports = {
entry: "./src/index.ts",
output: {
filename: "./dist/bundle.js",
},
resolve: {
extensions: ['.ts', '.js', '.json']
},
devtool: "source-map",
module: {
rules: [{
test: /\.tsx?$/,
loader: 'ts-loader'
}]
},
};
TS的优势
总体而言,TS相比ES6 + babel,包含以下优势:
- 类型检查
- TS对ECMAScript新特性支持的更全面,开箱即用。babel中支持新的ES特性需要安装各种插件,比较繁琐。
- TS 写出来的代码可读性更好
- VS里的jsdoc,调用栈更加清晰。