TypeScript入门教程

TypeScript是什么

• TypeScript是JavaScript的一个超集
• TypeScript需要编译为JavaScript才能运行（语法糖）
• TypeScript提供了类型系统，规范类似Java
• TypeScript提供了ES6的支持，也可以支持部分ES7草案的特性，不用担心TypeScript无法兼容目前主流的JavaScript解释器

环境安装

1. 安装node.js
   
   https://nodejs.org/en/download/
2. 安装TypeScript包，这就是TS的编译器
   
   npm install -g typescript
3. 检查TypeScript是否安装成功
   
   tsc -v

TypeScript开发工具

TypeScript是开源的项目，由微软开发和维护，因此最初只有微软的 Visual Studio 支持。现在，出现了更多本身支持或者通过插件支持 TypeScript 语法、智能提示、纠错、甚至是内置编译器的文本编辑器和IDE。

• Visual Studio Code，微软出品，内置支持TypeScript特性
• Sublime Text的官方插件
• WebStorm的最新版本内置支持

类型系统

原始数据类型

主类型：

string、number、boolean

特殊类型：

null、undefined、symbol（ES6）

基础类型声明与使用：

string：
    let name: string = ‘Alice’;
    let desc: string = `my name is ${name}`;
number：
    let norm: number = 666;
    let binaryNum: number = 0b111;
    let hexNum: number = 0xfff;
    let octalNum: number = 0o17;
    let nan: number = NaN;
    let infinity: number = Infinity;
boolean:
    let yet: boolean = true;
    let flag: boolean = Boolean(0);
null:
    let n: null = null;
undefined:
    let u: undefined = undefined;
symbol:
    let s: Symbol = Symbol(2);
void:
    let v2: void = null;
    let v5: void = undefined;

任意值类型

```
    let name: string = ‘Tom’;
    name = 666;

    demo.ts(2,1): error TS2322: Type '666' is not assignable to type 'string'.
```
使用any类型:
```
    let name: any = ‘Tom’;
    name = 666;
```
隐式任意值类型:
    let name;
    name = ‘Tom’;
    name = 666;

等价于：

    let name : any;
    name = ‘Tom’;
    name = 666;

类型推论

TS会在没有明确指定类型的时候推测出一个类型，这就是类型推论

let user = ‘Tom’;
user = 666;

demo.ts(2,1): error TS2322: Type '666' is not assignable to type 'string'.

联合类型

TS中的联合类型表示取值可为多种类型中的一种:

let user: string | number;
user = 666;
user = ‘Tom’;

访问联合类型的属性或方法时，只能访问所有类型的共有方法:

function test(param: string|number){
return param.length;
}

demo.ts(2,18): error TS2339: Property 'length' does not exist on type 'string | number’.

类型断言

类型断言可以手动指定一个值的类型,但是类型断言不是强制类型转换，TypeScript编译器不支持强制类型转换。

function test(param: number|string){
    if((<string>param).length)
        return (<string>param).length;
    else
        return param.toString().length
}

对象的类型—接口

interface Sport {
    name: string,
    teamwork: boolean
}

let football: Sport = {
    name: 'soccer',
    teamwork: true
}

可选属性：

interface Sport {
    name: string,
    teamwork: boolean,
    needPg?: boolean
}

let football: Sport = {
    name: 'soccer',
    teamwork: true
}

任意属性：

interface Sport {
    name: string,
    teamwork: boolean,
    needPg?: boolean,
    [other: string]: any
}

let football: Sport = {
    name: 'soccer',
    teamwork: true,
    needPg: true,
    count: 22
}

一旦定义任意属性，那么确定属性和可选属性的类型必须是它的子属性

只读属性：

interface Sport {
    readonly name: string,
    teamwork: boolean
 }

let football: Sport = {
    name: 'soccer',
    teamwork: true
}

函数的类型

函数声明

function avg(x: number,y:number):number{
return (x+y)/2;
}

函数表达式

let avg = function(x:number,y:number):number{
return (x+y)/2;
}

or

let avg: (x:number,y:number) => number = function(x:number,y:number):number{
return (x+y)/2;
}

函数可选参数：

function avg(x: number,y?:number):number{
if(y){
 return (x+y)/2;
}else{
return x;
}
}

可选参数必须在必选参数的后面

函数的可选参数与默认值:

function avg(y:number = 10,x: number):number{
if(y){
 return (x+y)/2;
}else{
return x;
}
}

TypeScript会将添加默认值的参数识别为可选参数，此时不受“可选参数必须在必选参数的后面”的限制

函数重载:

TypeScript中通过为一个函数进行多次函数定义，并实现函数完成重载

function reverse(x: number): number;
function reverse(x: string): string;
function reverse(x: any):any{
if(typeof x == ‘number’){
 return Number(x.toString().split(‘’).reverse().join(‘’));
}else{
return x.split(‘’).reverse().join(‘’);
}
}

面向对象的函数重载：

interface A{
    say(x:number);
    say(x:string);
}

class AA implements A{
    say (x:any){
   if(typeof x == ‘string’)
             console.log(‘string’,x);
        else
console.log(‘number’,x);
    }
}
console.log((new AA()).say(1));
console.log((new AA()).say('123'));

字符串字面量类型

该类型约束值只能是某几个字符串的一个，这是在编译器层面做的约束，并不会改变生成的js代码

type Name = 'abc' | 'def' | 'mn';
function demo(e: Name): void{
    console.log(e);
}
demo(‘abc');

TypeScript与面向对象

类

class Block {
    private hash: string;
    private prevHash: string;
    private nonce: number;
    constructor (hash: string, prevHash: string, nonce = 0){
        this.hash = hash;
        this.prevHash = prevHash;
        this.nonce = nonce;
    }
    public get $hash(): string {
        return this.hash;
    }
    public set $hash(value: string) {
        this.hash = value;
    }
    public get $prevHash(): string {
        return this.prevHash;
    }
    public set $prevHash(value: string) {
        this.prevHash = value;
    }
    public get $nonce(): number {
        return this.nonce;
    }
    public set $nonce(value: number) {
        this.nonce = value;
    }
    public computeHash(){
        let sha256 = crypto.createHash('sha256');
        sha256.update(`${this.prevHash}${this.nonce.toString(16)}`,'utf8');
        let hash = sha256.digest('hex');
        return hash;
    }
}

抽象类

TypeScript中抽象类不允许被实例化

abstract class BtcBlock {
    public abstract computeHash(x:string):string;
}
class Block extends BtcBlock {
    public computeHash(x:string):string{
        return `btc${x}`;
    };
}

接口

上节已提到，TS中的接口就是抽象多个类的共有属性与方法，作为对象的类型而存在

interface Alarm {
    alert(): void;
}
interface Light {
    lightOn(): void;
    lightOff(): void;
}
class Auto implements Alarm, Light {
    alert(){
        console.log('car alart');
    }
    lightOn(){
        console.log('car light on');
    }
    lightOff(){
        console.log('car light off');
    }
}

泛型

即在定义类、函数或接口时不指定具体类型，而在使用时指定类型的特性。

function useGeneric<T>(length: number,value: T):Array<T>{
    let array: Array<T> = [];
    for(let i=0;i<length;i++){
        array.push(value);
    }
    return array;
}
useGeneric<string>(2,'hello world');
useGeneric<number>(100,1);

装饰器（注解）

装饰器是特殊类型的声明，可以被附加到类声明、方法、访问符、属性或参数上，具体文档：

https://www.tslang.cn/docs/handbook/decorators.html

装饰器并未成为ES7的规范，因此未来可能会发生改变，并不推荐大家在线上项目中使用

装饰器之方法装饰器

function enumerable(value: boolean) {
    return function (target: any, propertyKey: string, descriptor: PropertyDescriptor) {
        descriptor.enumerable = value;
    };
}

class Greeter {
    greeting: string;
    constructor(message: string) {
        this.greeting = message;
    }

    @enumerable(false)
    greet() {
        return "Hello, " + this.greeting;
    }
}

TypeScript与JavaScript生态

描述非TypeScript编写的类库的类型，需要声明类库所暴露出的API，类似于C的头文件，在TypeScript中文件类型则为 .d.ts

• 使用TypeScript生态提供的声明文件
  
  npm install @types/node
  
  声明文件列表：
  
  http://npm.vdian.net/browse/keyword/@types
• 自己编写声明文件
  
  declare module “name”;