1：any 类型，unknown 类型，never 类型
顶层类型：any、unknown
any：可以接受所有类型的值。也可以赋值给所有的变量类型。
unknown：可以看做是any类型的缩小范围。可以接受任何类型的变量，但是在使用之前，需要先做判断。直接进行使用会报错。
let a: unknown = 1;
if (typeof a === "number") {
let r = a + 10; // 正确
}
总结：如果使用的时候需要定义any变量，可以优先考虑unknown
never：底层类型，类型为空，不包含任何值。可以用于类型运算之中。
2：ts类型系统
- Boolean 和 boolean
- String 和 string
- Number 和 number
- BigInt 和 bigint
- Symbol 和 symbol
由于js有包装对象的概念，所以大写类型同时包含包装对象和字面量两种情况，小写类型只包含字面量，不包含包装对象
- Object
大写的Object，包含了js里面所有可以转成对象的值，所以基本没啥用。 - object
小写的object类型代表 JavaScript 里面的狭义对象，即可以用字面量表示的对象，只包含对象、数组和函数，不包括原始类型的值 - 值类型
ts规定，单个值也是一种类型
let a:1 = 1
以上代码中，a只能数字1，不能是其他的类型，否则会报错。
3：联合类型（或）、 交叉类型（且）、 type、 typeof
- 联合类型（或）
一个变量的类型可以是多个类型的集合，如果是多个类型的集合，使用的时候需要缩小类型。
function printId(id: number | string) {
if (typeof id === "string") {
console.log(id.toUpperCase());
} else {
console.log(id);
}
}
以上id的类型是number和string，在使用的时候 就需要做判断，直接调用会报错。
- 交叉类型（且）
多个类型组成一个新的类型。
A&B：如果给一个变量定义为A&B类型，那么这个变量就必须得既属于A类型，也得属于B类型。这个类型常用来给对象添加属性
type a = {b: string}
type c = a & {d: number}
类型c是一个交叉属性，这个类型的变量既有b又有d
type
是对类型起一个别名typeof
在js中typeof是对值的类型进行判断，在ts中，对typeof 进行移植到了类型系统中，返回的是该变量属于哪种类型
let a: number
let b: typeof a
if(typeof b === 'number' ) {
}
以上代码中，注意区分typeof使用在类型系统中，还是用在值的判断类型中。
函数
- 用法，声明函数类型
const a: (str: string)=>void = function (s){}
或者使用type起别名
type myFN = (x: string) => void
const a:myFN = (x: string) =>{}
- Function
Function可以作为任何函数的类型，但是Function对函数没有约束，类似于any，所以不建议用这个。 - 函数如果是抛出错误，返回应该用never
function fail(msg: string): never {
throw new Error(msg);
}
- 函数重载
当一个函数可能接受不同的参数类型时，就需要使用函数重载,函数重载时，在函数内部需要判断参数类型
function a(p1: string):void{}
function a(p2: number):void{}
function a(p: (string | number) ):void{
if (typeof p === 'string'){
} else {
}
}
- 构造函数类型声明两种写法
参考：https://typescript.p6p.net/typescript-tutorial/function.html
