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类型只能被赋值为nullundefined

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

let v: void = null;

null和undefined

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

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

never

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

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) {}
}

nevervoid区别

  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中函数每个形参都是必须的,当然你可以传递nullundefined,因为他们是值。但是在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一致,这里不做赘述。

结语

未完待续~

评论

Your browser is out-of-date!

Update your browser to view this website correctly. Update my browser now

×