TypeScript 常用知识点总结
什么是 TypeScript
TypeScript 是 JavaScript 的一个超集,在 JavaScript 的基础上增加了可选的静态类型和基于类的面向对象编程。它可以编译成纯 JavaScript,未编译的 ts 代码无法在浏览器执行。我们可以把它和 JavaScript 的关系理解成 css 和 less、sass 的关系。
TypeScript 好在哪里
- TS 可以进行动态类型检测,可以检测出一些潜在的 bug(例如拼写错误、参数缺失、undefined 等),提升代码健壮性
- 使用 vscode 进行开发可以很好的提示代码,提高开发效率
- 代码可读性好
创建第一个 TypeScript 文件
首先安装 TypeScript
npm install -g typescript
安装后看是否成功
tsc --version
我安装后出现了以下问题:
这种情况只需要以管理员的身份打开命令行运行以下命令:
set-ExecutionPolicy RemoteSigned
创建第一个 ts 文件Hello.ts
function sayHello(name: String) {
console.log(`Hello ${name}`);
}
let person = 'Alan';
sayHello(person);
我们发现 ts 代码和普通的 js 代码在 sayHello
函数的参数上有所不同。
sayHello(name: String)
大致的意思就是 sayHello
传入一个名为 name 的参数,该参数的类型必须是 String
,不然无法通过 ts 的编译。
代码写好后用 tsc 编译上面的 Hello.ts
文件
tsc Hello.ts
编译成功后在同级目录下生成一个 Hello.js
文件,可以看到生成的 js 文件只是将 es6 语法转化成了 es5 语法,并没有改变其他代码。
function sayHello(name) {
console.log('Hello ' + name);
}
var person = 'Alan';
sayHello(person);
如果把Hello.ts
文件改写一下
function sayHello(name: String) {
const text = 3 + name;
console.log(`Hello ${name}`);
}
let person = 123;
sayHello(person);
再次编译发现会报错但是仍然能生成 js 文件:
上面错误的具体意思是
- 由于声明了函数形参
name
为静态类型string
,而在调用时传入得是number
类型123
,与前面的string
不符。 - 在
sayHello
函数中将name(string)
和3(number)
两种不同类型得值进行了相加。
我们发现每次都要通过 tsc 来编译 ts 文件能得到 js 文件后再去运行 js 文件,过于麻烦。可以使用插件 ts-node
来直接运行 ts 文件。
npm i ts-node -g
ts-node Hello.ts
ts 能够尝试分析变量类型(类型推断),ts 无法分析出的变量最好显式声明变量类型(类型注解)
基础类型
变量的声明:let [变量名] : [类型] = 值
例如: let age: number = 21
TypeScript 支持与 JavaScript 几乎相同的数据类型
- boolean(布尔值)
- number(数值)
- string(字符串)
[]/Array<元素类型>(数组)
- 元组 Tuple
- enum(枚举)
- any(任何值)
- void(空值)
- null
- undefined
- never
数组
有 2 种方式定义数组
let arr: number[] = [1, 2, 3]; // 元素类型后接上`[]`
let arr: Array<number> = [1, 2, 3]; // 数组泛型
let arr: (number | string)[] = [1, '2', '4']; // 元素类型可以是number或string(类似元组)
元组 tuple
表示一个数组(各个元素的类型不必相同)
let list: [string, number]; //第一个元素为string类型,第二个为number类型
a = ['abc', 123]; //合格
b = [123, 'abc']; //不合格
枚举
其实有点类似对象 看例子吧
enum lan {js, ts, css};
console.log(lan.js); // 0 js对应的下标,第一个默认下标为0
enum lan {
js = 3,
ts,
css,
}
console.log(lan.js); // 3
console.log(lan.ts); // 4
console.log(lan.css); // 5
enum lan {
js,
ts = 3,
css,
}
console.log(lan.js); // 0
console.log(lan.ts); // 3
console.log(lan.css); // 4
console.log(lan[4]); // css
console.log(lan[1]); // undefined
// 第一个默认下标为0,css接着ts的值+1
enum lan {js = 'good', ts = 'nice', css = 'well'};
console.log(lan.js); // good
// const枚举,为了避免在额外生成的代码上的开销和额外的非直接的对枚举成员的访问。
const enum People {
name: 'Alan',
age: 23
}
// 编译时会自动转化成常量值,不会保留其他代码
console.log(People.name); // Alan
any
顾名思义,任意值,当我们想为还不清楚类型的变量指定一个类型时, any
就是最好的选择 🤭
let a: any = 4;
a = '123'; //合格
let arr: any[] = [1, '123', true]; // 和元组很像
arr[1] = 'good';
void
常用于无返回值的函数声 明
function func(): void {
console.log('learning typescript...');
}
func(); //合格
function func(): void {
return 1;
}
func(); // 不合格:Type '1' is not assignable to type 'void'
null 和 undefined
用处不大,默认情况下是所有类型的子类型,例如下面代码是没有问题的:
let a: string;
a = undefined;
a = null;
但是,当指定--strictNullChecks
标记时,null 和 undefined 只能赋值给 void 和他们自己本身。
never
表示永不存在的值的类型 never 类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型; 变量也可能是 never 类型,当它们被永不为真的类型保护所约束时。
never 类型是任何类型的子类型,也可以赋值给任何类型;然而,没有类型是 never 的子类型或可以赋值给 never 类型(除了 never 本身之外)。 即使 any 也不可以赋值给 never。
function error(message: string): never {
throw new Error(message);
}
// 返回never的函数必须存在无法达到的终点
function infiniteLoop(): never {
while (true) {}
}