这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
《TypeScript编程入门》3.3 any·unknown·never·void 与类型断言
本节处理类型系统里的四个边界类型:any、unknown、never、void。先说明 any 为什么是「类型安全的漏洞」以及它的传染性,再讲 unknown 如何作为安全的 any 迫使你收窄,never 如何支撑穷尽性检查与永不返回的函数,void 在回调签名里的特殊地位。随后讲解类型断言 as、非空断言 !、双重断言与 satisfies 运算符的正确用法和滥用后果,并附真实报错对照。