今天学习的内容是 Typescript 几个容易混淆的类型，分别是 any 类型和 unknow 类型，以及 void、undefined 和 never 类型。

any 和 unknown

any 类型

any 就是任意类型。写代码时如果不确定属于什么类型，就可以将其定义为 any 类型。

any 类型属于动态类型，它支持和兼容所有的类型。

let anyValue:any;

anyValue = 10;
anyValue = 'kw';
anyValue = true;
anyValue = {};
anyValue();
anyValue.toUpperCase();

定义了一个 any 类型的变量，可以对其赋任何值，甚至当作函数调用，在编辑器中都不会报错。但是当代码执行，就会报错了：TypeError: anyValue is not a function。

这说明，any 作为动态类型，弱化了 TS 的类型能力，稍不注意就有可能出错。所以开发中尽量避免使用 any。

TS 强化了 JS 的类型能力，对于一些初学者并不能很好的利用类型系统，于是可能遇到类型的问题就使用 any 类型。虽然代码不报错了，但也失去了类型的能力。所以人们也会把 Typescript叫做 Anyscript。

这其实一个辩证的问题。JS 之所以经久不衰就是由于其灵活的写法和兼容性，可以快速完成一个功能需求。而 TS 强化了类型能力之后，也就减弱了 JS 的灵活性，更适合在大型项目中使用。

unknown 类型

unkonw 类型是未知类型，它是 any 类型对应的安全类型，也就说它不保证类型，但能保证类型安全。

同样还是上面的代码，改为 unkonw 类型，可以发现编辑器开始报错了：

在使用 unkonw 类型时，需要对类型加以判断再去使用，从而保证类型的安全：

let anyValue:unknow;

anyValue = 10;
anyValue = 'kw';
anyValue = true;
anyValue = {};
if(typeof anyValue === 'function') {
    anyValue();
}

if(typeof anyValue === 'string') {
    anyValue.toString();
}

void、undefined 和 never

void 类型

void 表示空类型，只用在函数返回值的类型中。当函数没有返回值时，其类型为 void。

function log(message:string) {
    console.log(message);
}

log 函数只打印内容，不返回任何内容，所以它的返回值的类型为 void。TS 的类型推断可以正确推断出：

TS 容易混淆的 any、unknown、void、undefined 和 never_TypeScript

也可以显式写明返回的类型：

function log(message:string) :void {
    console.log(message);
}

undefined 类型

undefined 是原生 JS 中的一个类型，它的特殊之处就是它既是一个值，又是一个类型：

let a = undefined;

变量 a 的值是 undefined，类型也是 undefined。

按照以前学习的函数的知识，函数没有返回值的时候，默认的返回值为 undefined。

那么为什么上面的 log 函数的返回值类型为 void 而不是 undefined 呢？

因为 void 表示的意思是空，即物理意义上的不存在，就没这个东西。而 undefined 表示的物理上存在，但存在的这个东西没有内容。所以 log 函数没有显式返回任何内容，也就是符合 void，压根不存在。

function log(message:string) :undefined {
    console.log(message);
    return
}

never 类型

先看一个例子，throwType 函数会抛出一个异常：

function throwType (code: number, message: string) {
    throw {
        code,
        message
    } 
}

throwError(404, 'Not Found')

该函数执行，就会抛出异常，函数不能正常执行完，此时函数的返回值类型就是 never，表示永远没有结果。

小结

本文介绍了 Typescript 的 any 类型和 unkonw 类型，它们都简化了在 TS 中对类型的使用，方便快速开发，相比于 any，unkonw 类型更加安全。 之后介绍了另外三个类型， void，undefined，never ，它们主要应用在几个特定的场景，比较容易区分。