【TypeScript】超详细的笔记式教程【上】
【TypeScript】超详细的笔记式教程【上】
前言
之前了解过TypeScript，也学习过，但是项目中没有具体的使用过，导致忘得差不多了，最近公司不是很忙，学习的时间比较多，趁这个机会，快快的过一遍，然后准备用SolidJs + TypeScript + Vite做一个小项目，还看了看SvelteJs，感觉这个比SolidJs的生态似乎更好，可以巩固完TypeScript后学习一下这个，SvelteJs + Ts + Vite也挺香嘛。
TypeScript
Typed JavaScript at Any Scale. 添加了类型系统的 JavaScript，适用于任何规模的项目。
安装
执行命令：
npm install typescript -g
检查是否安装成功：
tsc
看到这个，说明成功了👇🏻
Hello World
本地新建文件hello.ts，开始写代码
function sayHelloWorld(person: string) {
return name + ' hello world'
}
console.log(sayHelloWorld("Alice"))
执行tsc hello.ts进行编译，会出现一个新的文件hello.js，此时我们执行如下命令：
node hello.js
正常输出 Alice hello world，成功！
上述的Ts栗子中有一个点，就是:指定类型。
注意： Ts只会在编译与书写代码的过程中给你相关的警告，在Js的执行中并不会有这样的警告，编译完的Js代码也不会插入相关的校验代码。
如果我们在调用sayHelloWorld的时候，传入一个123，会出现以下情况：
情况一：编辑器会有提示，这时候看到提示，我们就可以修改代码。
情况二：如果没有修改代码，强制编译，过程中会抛出这个错误
Argument of type 'number' is not assignable to parameter of type 'string'.
类型“number”不能分配给类型"string"的参数.
但是js文件依旧会编译成功，如果想要报错终止编译，那么需要配置tsconfig.json中的noEmitOnError
tsconfig.json
这个文件是Ts的编译选项配置文件，具体配置可以参考这里
不带任何输入文件的情况下调用
tsc，编译器会从当前目录开始去查找tsconfig.json文件，逐级向上搜索父目录。
生成tsconfig.json
在项目根目录执行
tsc --init
即可生成一个tsconfig.json文件，里面有好多配置，我们来测试一个
我在这打开了删除注释的配置，然后在hello.ts中新增一行注释
function sayHelloWorld(name: string) {
return name + "hello world111";
}
console.log(sayHelloWorld(1231212));
// 我是一行注释
执行tsc编译，hello.js文件如下👇🏻
同样的，我们刚刚说的那个noEmitOnError也是可以生效的，成功！
这里放一个配置表：
"compilerOptions": {
"incremental": true, // TS编译器在第一次编译之后会生成一个存储编译信息的文件，第二次编译会在第一次的基础上进行增量编译，可以提高编译的速度
"tsBuildInfoFile": "./buildFile", // 增量编译文件的存储位置
"diagnostics": true, // 打印诊断信息
"target": "ES5", // 目标语言的版本
"module": "CommonJS", // 生成代码的模板标准
"outFile": "./app.js", // 将多个相互依赖的文件生成一个文件，可以用在AMD模块中，即开启时应设置"module": "AMD",
"lib": ["DOM", "ES2015", "ScriptHost", "ES2019.Array"], // TS需要引用的库，即声明文件，es5 默认引用dom、es5、scripthost,如需要使用es的高级版本特性，通常都需要配置，如es8的数组新特性需要引入"ES2019.Array",
"allowJS": true, // 允许编译器编译JS，JSX文件
"checkJs": true, // 允许在JS文件中报错，通常与allowJS一起使用
"outDir": "./dist", // 指定输出目录
"rootDir": "./", // 指定输出文件目录(用于输出)，用于控制输出目录结构
"declaration": true, // 生成声明文件，开启后会自动生成声明文件
"declarationDir": "./file", // 指定生成声明文件存放目录
"emitDeclarationOnly": true, // 只生成声明文件，而不会生成js文件
"sourceMap": true, // 生成目标文件的sourceMap文件
"inlineSourceMap": true, // 生成目标文件的inline SourceMap，inline SourceMap会包含在生成的js文件中
"declarationMap": true, // 为声明文件生成sourceMap
"typeRoots": [], // 声明文件目录，默认时node_modules/@types
"types": [], // 加载的声明文件包
"removeComments":true, // 删除注释
"noEmit": true, // 不输出文件,即编译后不会生成任何js文件
"noEmitOnError": true, // 发送错误时不输出任何文件
"noEmitHelpers": true, // 不生成helper函数，减小体积，需要额外安装，常配合importHelpers一起使用
"importHelpers": true, // 通过tslib引入helper函数，文件必须是模块
"downlevelIteration": true, // 降级遍历器实现，如果目标源是es3/5，那么遍历器会有降级的实现
"strict": true, // 开启所有严格的类型检查
"alwaysStrict": true, // 在代码中注入'use strict'
"noImplicitAny": true, // 不允许隐式的any类型
"strictNullChecks": true, // 不允许把null、undefined赋值给其他类型的变量
"strictFunctionTypes": true, // 不允许函数参数双向协变
"strictPropertyInitialization": true, // 类的实例属性必须初始化
"strictBindCallApply": true, // 严格的bind/call/apply检查
"noImplicitThis": true, // 不允许this有隐式的any类型
"noUnusedLocals": true, // 检查只声明、未使用的局部变量(只提示不报错)
"noUnusedParameters": true, // 检查未使用的函数参数(只提示不报错)
"noFallthroughCasesInSwitch": true, // 防止switch语句贯穿(即如果没有break语句后面不会执行)
"noImplicitReturns": true, //每个分支都会有返回值
"esModuleInterop": true, // 允许export=导出，由import from 导入
"allowUmdGlobalAccess": true, // 允许在模块中全局变量的方式访问umd模块
"moduleResolution": "node", // 模块解析策略，ts默认用node的解析策略，即相对的方式导入
"baseUrl": "./", // 解析非相对模块的基地址，默认是当前目录
"paths": { // 路径映射，相对于baseUrl
// 如使用jq时不想使用默认版本，而需要手动指定版本，可进行如下配置
"jquery": ["node_modules/jquery/dist/jquery.min.js"]
},
"rootDirs": ["src","out"], // 将多个目录放在一个虚拟目录下，用于运行时，即编译后引入文件的位置可能发生变化，这也设置可以虚拟src和out在同一个目录下，不用再去改变路径也不会报错
"listEmittedFiles": true, // 打印输出文件
"listFiles": true// 打印编译的文件(包括引用的声明文件)
}
基础
数据类型
布尔值
let isOk: boolean = true
数值
let age: number = 18
let notANumber: number = NaN
字符串
let name: string = "Alice"
let age: number = 18
let sentence: string = `I from China Beijing, my name is ${name}, age ${age}`
空值
Js中没有Void的概念，Ts中可以用void表示没有任何返回值的函数：
function alertHello(): void {
alert('hello')
}
null & undefiled
let u: undefined = undefined
let n: null = null
注意
有一个点需要注意一下
let isOk: boolean = new Boolean('')
这样也会抛出错误不能将类型“Boolean”分配给类型“boolean”。，因为new T返回的是一个T对象，👇🏻
任意值
Any表示你的变量可以是任何值，Ts -> Js。。。
let anyVar: any = '121'
anyVar = true
完全ok，如果是👆🏻上面说的声明定式的类型，那么是不行的：
let name: string = 'alice'
name = true
抛出错误不能将类型“number”分配给类型“string”。
类型推论
如果你的变量没有赋值，那么TypeScript会看你后面的值是啥类型，那你这个变量就是啥类型
let age = 12 // === let age: number = 12
age = '12'
抛出错误不能将类型“string”分配给类型“number”。
需要注意📢的是，如果你没有初始化变量，那就是any类型
let age;
age = 1
age = true
这样完全Ok，并不会抛出错误，这样写类似于：
let age: any;
联合类型
联合类型就是一个变量可以有多个类型，举个🌰
let isWhat: string | number | boolean;
isWhat = '1'
isWhat = 1
isWhat = true
完全Ok，但是如果这样：
isWhat = [1,2,3]
就会抛出错误不能将类型“number[]”分配给类型“string | number | boolean”
再举一个例子：
function getLength(something: string | number): number {
return something.length
}
这样写就会抛出错误类型“number”上不存在属性“length”。，length不是他们的共有属性，所以会报错，改成这样：
function getString(something: string | number): string {
return something.toString()
}
完全Ok！
接口
基本定义
interface是对行为的抽象，举个🌰：
interface Person {
name: string;
age: number;
}
let alice: Person = {
name: 'Alice',
age: 18
}
上面的栗子，变量alice的结构必须与接口Person相一致，如果我们不写age，那么就会抛出错误类型 "{ name: string; }" 中缺少属性 "age"，但类型 "Person" 中需要该属性。
所以定义的变量的属性，比接口定义的少是不被允许的，当然！多了也是不允许的，必须一致！
比如我们在变量alice添加属性address，那么就会抛出错误不能将类型“{ name: string; age: number; address: string; }”分配给类型“Person”。\ 对象文字可以只指定已知属性，并且“address”不在类型“Person”中。
可选属性
如果我们需要某个属性不是必须一致，那么可以这么做，继续用上面的栗子，假设age为不必要属性：
interface Person {
name: string;
age?: number;
}
let alice: Person = {
name: 'Alice'
}
完全Ok
任意属性
如果我们需要在变量中定义一些我们将来可能会添加的属性，有极大的不确定性的话，比如我们想要新增一个address属性，那么我们可以这样：
interface Person {
name: string;
age?: number;
[propName: string]: any
}
let alice: Person = {
name: 'Alice',
address: 'China Beijing',
gender: 0
}
完全OK!
只读属性
有时候我们需要一个属性不能再被修改，需要用到readonly定义属性，举个🌰
interface Person {
readonly id: number;
name: string;
[propName: string]: any;
}
let alice: Person = {
id: 1,
name: 'Alice',
gender: 0
}
alice.id = 2
// error: 无法分配到 "id" ，因为它是只读属性。