TypeScript简介
- TypeScript是JavaScript的超集。
- 它对JS进行了扩展,向JS中引入了类型的概念,并添加了许多新的特性。
- TS代码需要通过编译器编译为JS,然后再交由JS解析器执行。
- TS完全兼容JS,换言之,任何的JS代码都可以直接当成JS使用。
- 相较于JS而言,TS拥有了静态类型,更加严格的语法,更强大的功能;TS可以在代码执行前就完成代码的检查,减小了运行时异常的出现的几率;TS代码可以编译为任意版本的JS代码,可有效解决不同JS运行环境的兼容问题;同样的功能,TS的代码量要大于JS,但由于TS的代码结构更加清晰,变量类型更加明确,在后期代码的维护中TS却远远胜于JS。
TypeScript 开发环境搭建
- 下载并安装Node.js
- 使用npm全局安装typescript
npm i -g typescript
- 创建一个ts文件
- 使用tsc对ts文件进行编译
- 命令行进入ts文件所在目录
- 执行命令:tsc xxx.ts
基本类型
类型声明
类型声明是TS非常重要的一个特点,通过类型声明可以指定TS中变量(参数、形参)的类型指定类型后,当为变量赋值时,TS编译器会自动检查值是否符合类型声明,符合则赋值,否则报错。
let 变量: 类型;
let 变量: 类型 = 值;
function fn(参数: 类型, 参数: 类型): 类型{
...
}
自动类型判断
TS拥有自动的类型判断机制 当对变量的声明和赋值是同时进行的,TS编译器会自动判断变量的类型所以如果你的变量的声明和赋值时同时进行的,可以省略掉类型声明
类型 | 例子 | 描述 |
---|---|---|
number | 1, -33, 2.5 | 任意数字 |
string | ‘hi’, “hi”, hi | 任意字符串 |
boolean | true、false | 布尔值true或false |
字面量 | 其本身 | 限制变量的值就是该字面量的值 |
any | * | 任意类型 |
unknown | * | 类型安全的any |
void | 空值(undefined) | 没有值(或undefined)主要用于设置函数返回值 |
never | 没有值 | 不能是任何值,主要用于设置函数返回值 |
object | {name:‘孙悟空’} | 任意的JS对象 |
array | [1,2,3] | 任意JS数组 |
tuple | [4,5] | 元组,TS新增类型,固定长度数组 |
enum | enum{A, B} | 枚举,TS中新增类型 |
number
let num: number = 6;
let hex: number = 0xf00d;
let binary: number = 0b1010;
let octal: number = 0o744;
let big: bigint = 100n;
boolean
let isDone: boolean = false;
string
let color: string = "blue";
color = 'red';
let fullName: string = `Bob Bobbington`;
let age: number = 37;
let sentence: string = `Hello, my name is ${fullName}.
I'll be ${age + 1} years old next month.`;
字面量:也可以使用字面量去指定变量的类型,通过字面量可以确定变量的取值范围
let color: 'red' | 'blue' | 'black';
let num: 1 | 2 | 3 | 4 | 5;
any:相当于关闭了ts的类型检测
let d: any = 4;
d = 'hello';
d = true;
unknown:unknown类型变量不能直接赋值给其他类型变量
let notSure: unknown = 4;
notSure = 'hello';
// unknown类型变量不能直接赋值给其他类型变量,这里会报错
let s: string;
s = notSure;
// 断言可以将unknown类型变量直接赋值给其他类型变量
s = notSure as string;
// s = <string> notSure;
void:用来表示空,以函数为例,就表示没有返回值的函数
let unusable: void = undefined;
never:表示永远不会返回结果
function error(message: string): never {
throw new Error(message);
}
object(没啥用)
let obj: object = {};
// 限定对象必须只有一个name属性
let obj: {name: string};
// 第二个属性age后加?,表示该属性是可选的,有或没有都行
let obj: {name: string, age?: number};
// [propName(名字任意写): string(表示任意字符串的属性名)]: any 表示任意类型的属性值
let obj: {name: string, [propName: string]: any};
obj = {name: '猪八戒', age: 18, gender: '男'};
/*
* 设置函数结构的类型声明:
* 语法:(形参:类型, 形参:类型 ...) => 返回值
* */
let d: (a: number ,b: number)=>number;
// 下面这种会报错:参数类型不一样
// d = function (n1: string, n2: string): number{
// return 10;
// }
// &表示同时,下例中表示obj对象必须有name和age属性
let obj: { name: string } & { age: number };
obj = {name: '孙悟空', age: 18};
array
let list: number[] = [1, 2, 3];
let list: Array<number> = [1, 2, 3];
tuple
let x: [string, number];
x = ["hello", 10];
enum
enum Color {
Red,
Green,
Blue,
}
let c: Color = Color.Green;
类型别名:当有时候自己定义了类型,且类型名很长,就可以给他起一个别名替代
// 自定义类型的别名
type myType = 1 | 2 | 3 | 4 | 5;
let k: myType;
类型断言:有些情况下,变量的类型对于我们来说是很明确,但是TS编译器却并不清楚,此时,可以通过类型断言来告诉编译器变量的类型,断言有两种形式:
第一种
let someValue: unknown = "this is a string";
let strLength: number = (someValue as string).length;
第二种
let someValue: unknown = "this is a string";
let strLength: number = (<string>someValue).length;
编译选项
自动编译文件
-
编译文件时,使用 -w 指令后,TS编译器会自动监视文件的变化,并在文件发生变化时对文件进行重新编译。
-
示例:
tsc xxx.ts -w
自动编译整个项目
如果直接使用tsc指令,则可以自动将当前项目下的所有ts文件编译为js文件。
但是能直接使用tsc命令的前提时,要先在项目根目录下创建一个ts的配置文件 tsconfig.json
tsconfig.json是一个JSON文件,添加配置文件后,只需 tsc 命令即可完成对整个项目的编译
-
配置选项:
-
include
定义希望被编译文件所在的目录
默认值:[“**/*”]
路径:
- ** :表示任意目录
- *:表示任意文件
示例:
"include":["src/**/*", "tests/**/*"]
上述示例中,所有src目录和tests目录下的文件都会被编译
-
exclude
定义需要排除在外的目录
默认值:
["node_modules", "bower_components", "jspm_packages"]
示例:
"exclude": ["./src/hello/**/*"]
上述示例中,src下hello目录下的文件都不会被编译
-
extends
定义被继承的配置文件
示例:
"extends": "./configs/base"
-
files
指定被编译文件的列表,只有需要编译的文件少时才会用到
示例:
"files": [ "core.ts", "sys.ts", "types.ts", "scanner.ts", "parser.ts", "utilities.ts", "binder.ts", "checker.ts", "tsc.ts" ]
-
列表中的文件都会被TS编译器所编译
-
compilerOptions
编译选项是配置文件中非常重要也比较复杂的配置选项
在compilerOptions中包含多个子选项,用来完成对编译的配置
-
项目选项
-
target
设置ts代码编译的目标版本
可选值:
ES3(默认)、ES5、ES6/ES2015、ES7/ES2016、ES2017、ES2018、ES2019、ES2020、ESNext
示例:
"compilerOptions": { "target": "ES6" }
如上设置,我们所编写的ts代码将会被编译为ES6版本的js代码
-
lib
指定代码运行时所包含的库(宿主环境)
可选值:
ES5、ES6/ES2015、ES7/ES2016、ES2017、ES2018、ES2019、ES2020、ESNext、DOM、WebWorker、ScriptHost ......
示例:
"compilerOptions": { "target": "ES6", "lib": ["ES6", "DOM"], "outDir": "dist", "outFile": "dist/aa.js" }
-
module
设置编译后代码使用的模块化系统
可选值:
CommonJS、UMD、AMD、System、ES2020、ESNext、None
示例:
"compilerOptions": { "module": "CommonJS" }
-
outDir
编译后文件的所在目录
默认情况下,编译后的js文件会和ts文件位于相同的目录,设置outDir后可以改变编译后文件的位置
示例:
"compilerOptions": { "outDir": "dist" }
设置后编译后的js文件将会生成到dist目录
-
outFile
将所有的文件编译为一个js文件
默认会将所有的编写在全局作用域中的代码合并为一个js文件,如果module制定了None、System或AMD则会将模块一起合并到文件之中
示例:
"compilerOptions": { "outFile": "dist/app.js" }
-
rootDir
指定代码的根目录,默认情况下编译后文件的目录结构会以最长的公共目录为根目录,通过rootDir可以手动指定根目录
示例:
"compilerOptions": { "rootDir": "./src" }
-
allowJs
是否对js文件编译
默认值:false -
checkJs
是否对js文件进行检查
示例:
"compilerOptions": { "allowJs": true, "checkJs": true }
-
removeComments
是否删除注释
默认值:false -
noEmit
不对代码进行编译
默认值:false -
noEmitOnError
当有错误时不生成编译后的文件
默认值:false -
sourceMap
是否生成sourceMap
默认值:false
-
-
严格检查
- strict:启用所有的严格检查,默认值为true,设置后相当于开启了所有的严格检查
- alwaysStrict:总是以严格模式对代码进行编译
- noImplicitAny:禁止隐式的any类型
- noImplicitThis:禁止类型不明确的this
- strictBindCallApply: 严格检查bind、call和apply的参数列表
- strictFunctionTypes:严格检查函数的类型
- strictNullChecks:严格的空值检查
- strictPropertyInitialization: 严格检查属性是否初始化
-
额外检查
- noFallthroughCasesInSwitch:检查switch语句包含正确的break
- noImplicitReturn:检查函数没有隐式的返回值
- noUnusedLocals:检查未使用的局部变量
- noUnusedParameters:检查未使用的参数
-
高级
- allowUnreachableCode: 检查不可达代码
可选值:- true,忽略不可达代码
- false,不可达代码将引起错误
- noEmitOnError
- 有错误的情况下不进行编译
- 默认值:false
- allowUnreachableCode: 检查不可达代码
-
-
-
总结
Typescript入门知识到这里就差不多了,学习TS给我得最大的感受就是相对于JS他更加的繁琐麻烦,声明个变量还要做类型检查等等,但是不得不说静态类型更有利于构建大型应用,更有利于项目的后期维护。