TypeScript查漏补缺(基础类型)

TypeScript 入门教程看完了，大部分都按自己的理解来做了下笔记输出。但是，总感觉有遗漏的知识点。于是，找了一些大佬的博客，来查漏补缺一下。(但是这里只记录一下基本类型的，因为其他部分暂时看的还有点云里雾里)

主要补充之前的笔记中没有的讲到的类型。

unknown类型

unknown类型是any类型对应的安全类型。

**所有类型都可以赋值给any，也可以赋值给unknown**。

// unknown
let myunknown: unknown

myunknown = 123
myunknown = 'hello'

// any
let myany: any

myany = 123
myany = 'hello'

// number
let mynumber: number

mynumber = 123
mynumber = 'hello'  // 报错：不能将类型“string”分配给类型“number”。

any类型能被赋值给任意类型(any、unknown、number等，unknown类型只能被赋值给unknown、any类型)

// unknown
let myunknown: unknown

let value1: unknown = myunknown
let value2: any = myunknown
let value3: number = myunknown  // 报错：不能将类型“unknown”分配给类型“number”。


// any
let myany: any

let value4: unknown = myany
let value5: any = myany
let value6: number = myany 

对any类型的值进行操作无需检查，unknown类型需要检查

// unknown
let myunknown: unknown
console.log(myunknown.name) // 报错：类型“unknown”上不存在属性“name”。

// any
let myany: any
console.log(myany.name)

上面的例子简单讲一下本人的理解：任意类型any顾名思义，值可以是任意类型，也就包括是对象，而对象可能会有name，所以就不会报错。但是，unknown类型就会不知道该类型究竟存储了什么类型的值，虽然它也可能是对象，但是为了安全着想，会报错。**unknown类型是any类型对应的安全类型。**

void类型

void类型表示没有任何类型。一般用来声明没有返回值的函数。(实际上，返回undefined和null也是可行的，void类型更像是不会返回有用的值)

function sayHello(): void {
    console.log('Hello')
}

sayHello()

但是，这里又有一个疑问：函数没有返回值时，默认返回undefined

那么，声明函数时的void类型和undefined类型有什么区别呢？

返回值为undefined类型必须有返回值

虽然**函数没有返回值时，默认返回undefined**，但是当我们指定函数的返回值为undefined类型时，没有返回值会报错。

function sayHello(): void {
    console.log('Hello')
}

console.log(sayHello())


function sayHi(): undefined {
    console.log('Hi')
}

undefined能被赋值给void，但void不能赋值给undefined

void类型不能赋值给undefined这是符合正常的情况的：即只能赋值给自己和any类型

function sayHello(): void {
    console.log('Hello')
}

const s1: undefined = sayHello()    // 报错
const s2: void = sayHello()
const s3: null = sayHello()         // 报错

但是，有例外情况：undefined可以被赋值给void

const s1: undefined = undefined
const s2: void = undefined

顺带提一下：null和undefined的关系还是依然难解难分

const s1: null = undefined
const s2: undefined = null 

never类型

never类型表示永不存在的值的类型。如抛出异常或不会有返回值的函数的返回值类型。

也就是说：如果看到never类型，很有可能是代码出问题了。

function errFunc(): never {
    throw new Error('clz')
}

function infiniteLoop(): never {
    while (true) { }
}

可以看下官方提示(VSCode翻译版)

那么，never类型有什么用途呢？毕竟按上面的写法的话，就像是只能手动制造bug一样。
在TS中，可以利用never类型来实现详细的检查。

type Nickname = string | number

function checkNickname(nickname: Nickname) {
    if (typeof nickname === 'string') {
        console.log(`你的昵称是string类型${nickname}`)
    } else if (typeof nickname === 'number') {
        console.log(`你的昵称是number类型${nickname}`)
    } else {
        throw new Error('请检查类型')
    }
}

checkNickname('赤蓝紫')

checkNickname(123)

checkNickname(true)     

从上面的例子中，可以看到checkNickname只是接受string和number类型，当我们传boolean类型的时候，会在编译期间报错。

但是，当同事修改Nickname的类型为string | number | boolean时，而且没修改checkNickname的逻辑的话，就会出问题。

可以发现：我们传参为boolean时，会在运行时抛出我们自定义的错误，但是再编译时没法检测出问题。这时候就能利用never来实现编译时就检测出问题。

上面的例子中，else分支的nickname会被收窄为boolean类型，而boolean类型无法被赋值给never类型，所以会出现编译错误，就能够提前检测出错误，避免很多没必要的问题。

使用never类型能够避免新增联合类型，但是没有对应实现的情况

参考链接：