TS简明教程(1)

本文是TS简明教程的第一篇，对TS做简要介绍、基础知识以及后续内容规划。

TypeScript是JavaScript的一个超集，支持 ECMAScript 6 标准。
TypeScript可以在任何浏览器、任何计算机和任何操作系统上运行，并且是开源的。
Typescript由微软开发，与C#出自同一人之手!

TS与JS的区别

TS是JS的超集，扩展了TS的语法，因此现有的JS代码可直接与TS一起工作无需任何修改，TS通过类型注解提供编译时的静态类型检查。

由于TS与JS语法大部分一致，本文只对有差异的部分进行讲解。

目录

有些知识点可能是交叉的建议通读完本文再开始真正的开发，这样疑惑会比较少一点

1. 数据类型与类型断言
2. 函数
3. 接口和类
4. 泛型
5. 枚举
6. 命名空间和模块
7. 装饰器(注解)
8. 高级类型
9. 声明文件
10. tsconfig.json
11. 示例
    1. React示例(前端)
    2. Koa示例(后端)

数据类型与类型声明

TS使用:语法对类型进行声明。基础类型如下：

布尔类型

TS使用boolean来声明布尔类型。

1

let succeed: boolean = false; // 声明succeed为boolean类型

数字

TS对数字的支持与JS一致，所有数字都是浮点数，所以TS并不存在int,float之类的数字类型声明，只有number。
除了支持十进制和十六进制，TS还支持ES6的二进制和八进制数字。

1
2

const age: number = 16; // 声明年龄为数字类型
const price: number = 99.99; // 声明价格为数字类型

字符串

TS使用string声明字符串，和JS一样，支持单引号和双引号。

1
2
3
4
5

let name: string = "demo";

name = "demo1";

const description = `我是${name}`; // ES6语法

数组

TS使用类型[]声明数组的元素类型，与JS不一样的地方在于，TS中一旦指明一个类型，所有元素必须是该类型。JS则可以往数组放任意类型的元素。

1
2
3
4

const numbers: number[] = [];
numbers.push(1);
numbers.push(2);
numbers.push('3'); // 错误，'3'不是数字类型

对象

与JS一样，TS的对象也是由键值对构成，类型声明可以分别作用与键类型以及值类型。

声明语法：{[key名称: key类型]: 值类型}
key名称可以自定义，如key,index都是合法的。

1
2
3
4
5

const config: {[key: string]: string} = {}; // 声明键和值都只能是字符串类型
config.version = '1.0.0';

const ages: {[key: number]: number} = {}; // 声明键值对都是数字类型
ages[10] = '1.0.0'; // 赋值

上例中赋值语法虽然和数组一致，但是ages对象的长度为1，如果ages是数组的话，长度为11。(0-9个元素为undefined)

任意类型

TS用any用来声明任意类型，被any修饰的变量(或常量以及返回值等等)在编译阶段会直接通过，但是运行阶段可能会抛出undefined或null相关错误。

any的出现使得现有的JS代码能够很快速的切换到TS。

1
2

let age:any = 10;
age = 'name'; // 编译通过

空类型

TS使用void声明空类型。与any相反，表示没有任何类型，常用在函数返回值中。
void类型只能被赋值为null和undefined。

1
2
3
4
5

function test(name: string): void { // 声明函数无返回值，编译成JS之后取返回值会取到undefined，与JS一致
    console.log(name);
}

let v: void = null;

null和undefined

TS中默认情况下，null和undefined是所有类型的子类型，换句话说，你可以把null和undefined直接赋值给number/string/boolean等类型。
但是不能反过来干，你不能把number/string/boolean类型赋值给null或者undefined

1
2

let u: undefined = undefined;
let n: null = null;

never

never是100%不存在的值的类型。比如函数中直接抛出异常或者有死循环。

1
2
3
4
5
6
7
8
9
10
11

function error(message: string): never {
    throw new Error(message);
}

function fail() { // TS自动类型推断返回值类型为never，类型推断在下文中会提到
    return error('failed');
}

function loop(): never { // 死循环，肯定不会返回
    while(true) {} 
}

never和void区别

1. 被void修饰的函数能正常终止，只不过没有返回值
2. 被never修饰的函数不能正常终止，如抛出异常或死循环

枚举

枚举是对JS的一个扩展。TS使用enum关键字定义枚举类型。

1
2
3
4
5
6

enum Color {
    Red,
    Green,
    Yellow
}
let c: Color = Color.Red;

Object

TS使用object类修饰对象类型，TS中表示非原始类型。原始类型如下：

1. number
2. string
3. boolean
4. null
5. undefined
6. symbol(ES6新出类型)

1
2
3

let a: object = {}; // ok
let a: object = 1; // error
let a: object = Symbol(); / error

虽然Symbol长得像对象类型，不过在ES6规范中，人家就是原始类型。

函数声明

TS中可以对函数的形参以及返回值进行类型声明。

1
2
3

function a(name: string, age: number): string {
    return `name:${name},age:${age}`;
}

类型断言

类型断言说白了就是告诉编译器，你按照我指定的类型进行处理。

1
2

let value: any = 'a string';
const length: number = (<string>value).length;

编译结果(正常编译且正常运行)

1
2

let value = 'a string';
const length = value.length;

类型推断

当没有手动指定类型时，TS编译器利用类型推断来推断类型。
如果由于缺乏声明而不能推断出类型，那么它的类型被视作默认的动态 any 类型。

1

let num = 2; // 推断为number类型

函数

TS函数与JS函数没有大的区别，多了一个类型系统。

1
2
3

function test(name: string) { // 自动推断返回类型为string
    return name;
}

可选参数

TS中函数每个形参都是必须的，当然你可以传递null和undefined，因为他们是值。但是在JS中，每个形参都是可选的，没传的情况下取值会得到undefined。
TS中在参数名后面使用?号指明该参数为可选参数

1
2
3
4

function test(name: string, age?: number) {
    console.log(`${name}:${age}`);
}
test('a'); // 输出 a:undefined

默认参数

与ES6一致，TS也的函数也支持默认参数。需要注意的是可选参数和默认参数是互斥的。因为如果使用了默认参数，不管外部传不传值，取值的时候都是有值的，和可选参数矛盾。

1
2
3
4

function test(name: string, age: number = 10) {
    console.log(`${name}:${age}`)
}
test('a'); // 输出 a:10

剩余参数

剩余参数和ES6表现一致，但是多了类型声明：

1
2
3
4

function test(name1: string, ...names: string[]) {
    console.log(name1, names);
}
test('1','2','3');// 输出 1 ['2', '3']

this执行

TS中this指向和JS一致，这里不做赘述。

结语

未完待续~