大师

TypeScript · 专家 - 架构、底层原理与边界情况

• 条件类型与 infer：编译器的逻辑掌握条件类型的分配性、用 infer 进行模式匹配，以及 never、any 和 boolean 等边缘情况。
• 映射类型与键重映射：变换类型理解同态映射类型如何保留修饰符，以及 as 子句如何重命名或过滤键。
• 模板字面量类型：在编译期计算出的字符串利用模板字面量类型通过笛卡尔积生成联合类型，并用 infer 解析字符串字面量。
• 重载、带类型的 this 与型变理解重载解析、this 伪参数，以及支配函数可赋值性的型变规则。
• 生产模式：品牌类型、satisfies 与 .d.ts运用能保护真实代码库的专家级模式：模拟的名义性、不发生放宽的校验，以及环境声明。