TypeScript类型丢失：别让类型悄悄溜走
用TypeScript写代码，最大的好处就是类型安全。但有时候你会发现，明明定义了类型，结果在某个环节类型却“丢了”。变量变成any，提示没了，报错也躲着你走——这其实是类型信息在传递过程中被破坏了。
这种情况在实际开发中并不少见，尤其在处理函数返回值、数组操作或第三方库时更容易出现。
从一个常见例子说起
假设你在做一个用户管理系统，有这样一个函数：
function getUsers() {
return fetch('/api/users')
.then(res => res.json())
}看起来没问题，但TypeScript会提示返回值是Promise<any>。你想让它返回User[]，可类型没传下去，这就是典型的类型丢失。
解决方法很简单，加上泛型：
interface User {
id: number;
name: string;
}
function getUsers(): Promise<User[]> {
return fetch('/api/users')
.then(res => res.json() as Promise<User[]>);
}注意这里用了as断言，因为fetch本身不知道后端返回什么结构，需要你手动告诉TS。
解构赋值也可能搞丢类型
很多人喜欢用解构来取对象属性，比如：
const { data } = someApiResponse;
// 此时data可能已经是any了如果someApiResponse没有明确标注类型，data就会失去上下文信息。建议在声明时就补全类型：
interface ApiResponse<T> {
data: T;
success: boolean;
}
const response = someApiResponse as ApiResponse<User[]>;
const { data } = response; // 现在data就是User[]数组map和filter的陷阱
下面这段代码有问题吗？
const names = users.map(user => {
if (user.active) {
return user.name;
}
});
// names: (string | undefined)[]因为if条件不覆盖所有情况，map回调可能返回undefined，导致类型变宽。更稳妥的写法是确保返回值一致：
const names = users
.filter(user => user.active)
.map(user => user.name); // string[]先filter再map，类型更干净。
第三方库导入时常踩坑
引入一个没有类型定义的npm包，import进来全是any。这时候可以自己写.d.ts文件补充声明，或者用更严格的tsconfig配置，把noImplicitAny打开，让问题早点暴露。
还有一个小技巧：封装一层带类型的接口，把“脏”类型隔离开：
// 封装后对外暴露确定类型
function getFormattedData(): FormattedItem[] {
const rawData = unsafeThirdPartyLib.getData();
return rawData.map(item => ({
id: item.id,
label: String(item.title)
}));
}这样调用方拿到的就是可靠类型。
保持类型不丢失的小建议
开启strict模式，尤其是strictNullChecks和noImplicitAny。这些配置像护栏，帮你挡住大多数类型泄漏。
多用接口和类型别名提前定义结构，少依赖类型推断。虽然TS能猜，但猜错了你也难发现。
函数尽量标明返回类型，特别是导出函数。别图省事让TS自己推，后期重构容易出事。
类型不是装饰品，它是你和后来者沟通的语言。花几分钟补个类型，可能帮别人省下几小时debug时间。