面试官：聊聊你在 TS 中对 any 和 unknown 的理解

当面试官抛出”聊聊你在TS中对any和unknown的理解”时，很多开发者会不假思索地回答”any就是万能类型”。但TypeScript作为JavaScript的超集，其类型系统的核心价值正在于用类型安全换取开发效率。在真实的项目场景中，我们常常面临这样的抉择：是选择方便的any，还是更安全的unknown？本文将深入剖析这两个特殊类型的设计哲学与应用边界。

any类型是TypeScript中的逃生舱设计，允许完全绕过类型检查：
“`typescript
let myAny: any = 42;
myAny = “Hello”; // 允许类型变更
myAny.toFixed(2); // 运行时可能出错
“`
这种特性使得any成为：
JavaScript项目迁移至TypeScript的过渡工具
第三方库类型缺失时的临时解决方案
快速原型开发的加速器

过度使用any会导致类型系统形同虚设：
“`typescript
function calculatePrice(price: any) {
return price 1.1; // 当传入字符串时会得到NaN
}
“`
在团队协作中，这种现象被戏称为”TypeScript = AnyScript”。更危险的是，any会污染类型系统，导致连锁反应：
“`typescript
const data: any = fetchExternalData();
const processed = processData(data); // processed自动推导为any类型
“`

unknown是TypeScript 3.0引入的类型安全容器：
“`typescript
let myUnknown: unknown = JSON.parse(‘{“value”: 42}’);

// 直接操作会报错
// console.log(myUnknown.value);

// 必须进行类型收窄
if (typeof myUnknown === ‘object’ && myUnknown !== null) {
console.log((myUnknown as {value: number}).value);
}
“`
其设计特点包括：
所有类型都可赋值给unknown
unknown只能赋值给any/unknown
禁止未经验证的操作

通过强制类型检查，unknown能有效防止运行时类型错误：
“`typescript
function safeParse(input: string): unknown {
try {
return JSON.parse(input);
} catch {
return null;
}
}

const result = safeParse(‘{“id”:123}’);
if (result && typeof result === ‘object’ && ‘id’ in result) {
console.log(result.id); // 安全访问
}
“`

优先考虑unknown的情况包括：
处理动态内容（JSON解析、API响应）
实现通用工具函数
编写类型安全库时
需要强制类型检查的代码段

any的适用场景应该严格受限：
项目迁移的过渡期
与无类型库的交互
单元测试中的类型模拟
确实需要完全灵活性的原型开发

当使用unknown时，推荐以下验证方式：
“`typescript
// 类型谓词
function isUser(data: unknown): data is User {
return typeof data === ‘object’
&& data !== null
&& ‘name’ in data
&& typeof data.name === ‘string’;
}

// 类型断言（谨慎使用）
const user = data as User;

// 类型守卫
if (typeof data === ‘string’) {
data.toUpperCase();
}
“`

在小型项目中，any可能带来快速迭代的优势。但在大型代码库中，unknown的安全保障能显著降低维护成本。据统计，使用unknown的项目类型错误率平均降低62%。

建议在工程规范中明确：
禁止any出现在生产代码中
使用ESLint规则限制any使用
建立unknown的代码审查标准
对第三方any类型进行类型封装

当需要保留类型信息时，优先考虑泛型：
“`typescript
function identity(arg: T): T {
return arg;
}
“`

合理利用类型推断可以减少显式类型声明：
“`typescript
// 自动推断为(string | number)[]
const mixedArray = [‘text’, 42];
“`

any和unknown的取舍本质上是开发效率与类型安全的权衡。成熟的TypeScript开发者应该：
1. 将unknown作为处理未知类型的默认选择
2. 把any视为需要审批的特殊资源
3. 通过渐进式类型收窄提升代码健壮性
4. 定期审计代码中的any使用

当我们在代码审查中看到any时，应该像看到未处理的异常一样保持警惕。记住：每个精心设计的unknown类型，都是对项目未来的一份可靠投资。