标签: 类型推断

TypeScript 4.9的`satisfies`操作符在确保类型安全的同时，保留了变量的原始类型推断，解决了类型验证与保留的矛盾。它适用于精确属性控制、动态键值约束等场景，优于类型断言。解决递归类型错误需分析根本原因，谨慎使用`skipLibCheck`。

TypeScript 4.9 引入 `satisfies` 运算符，旨在解决类型注解和类型推断的矛盾，保留字面量类型信息。它通过验证类型是否满足目标类型，同时保留最具体的推断类型，强化运行时安全，适用于配置对象验证和联合类型精确推断等场景。应权衡使用，避免过度增加编译耗时。

本文介绍了 TypeScript 中 `satisfies` 运算符的实用技巧。`satisfies` 允许在不丢失类型推断的情况下为值添加类型注解，特别适用于强类型化函数。文章通过 `URLSearchParams` 的例子，展示了如何使用 `satisfies` 实现更强的类型检查，避免因类型宽松导致的潜在错误。

本文总结了 TypeScript 的实用特性，包括：利用 `infer` 关键字在条件类型中推断类型；`never` 类型表示不可观测的值；`keyof + in` 用于创建类型转换。同时，针对 pnpm 安装后类型提示缺失的问题，提出在 `d.ts` 文件中使用三斜线指令 `/// <reference types="..." />` 解决。最后解释了函数返回非 void 类型可以赋值给返回 void 类型的原因，强调 void 函数的关键在于返回值被忽略。