any: 任何类型都可以。既是顶级类型，又是底层类型。不够安全，不建议使用。
unknown: 任何类型都可以。是顶级类型。但是在对该类型的变量做任何操作之前，需要进行类型收窄。比any类型安全。
never：函数没有正常终止，不存在返回值 的类型。是底层类型。比如：死循环的函数永远不会有返回值，那么这个函数的返回值类型就是never；永远都会抛出错误的函数，因为也永远没有返回值，所以该函数的返回值类型也是never。
void：函数有正常终止，返回值为 ’无‘ 的类型。比如：函数没有显示定义返回值，那么这个函数的返回值类型就是void。
