前言
之前了解过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" ，因为它是只读属性。
