如何为TypeScript中map的元素指定正确类型？

问题场景 #

使用any类型时，以下代码能正常输出[ 5142, 5143 ]：

let a = [{ _id: 5142 }, { _id: 5143 }];

a = a.map((e: any) => {
  return e._id;
});

console.log(a);

但尝试将回调参数类型改为{ _id: number }时却触发报错：

a = a.map((e: { _id: number }) => {
  return e._id;
});

解决方法与技巧 #

1. 用VSCode查看变量的正确类型 #

• 悬停查看：直接把鼠标悬停在变量a上，VSCode会弹出提示框，显示它被TypeScript自动推断出的完整类型（这里是({ _id: number; })[]，即包含_id: number属性的对象数组）。
• 类型查询声明：在代码中临时添加一行type AType = typeof a;，然后将鼠标悬停在AType上，就能看到清晰的类型定义。

2. 报错的核心原因 #

你遇到的报错不是因为参数类型写错了，而是变量a的初始类型与赋值后的类型不兼容：

• 初始时a的类型是对象数组({ _id: number; })[]；
• map回调返回e._id后，得到的是number[]类型的数组；
• 把number[]赋值给原本是对象数组类型的a，TypeScript的类型检查会直接报错。

修正代码的两种推荐方式：

// 方式1：给a指定联合类型，允许它存储对象数组或数字数组
let a: ({ _id: number } | number)[] = [{ _id: 5142 }, { _id: 5143 }];
a = a.map((e: { _id: number }) => e._id);

// 方式2：重新声明变量，避免同一变量存储不同类型的数据（更符合类型规范）
const originalList = [{ _id: 5142 }, { _id: 5143 }];
const a = originalList.map((e: { _id: number }) => e._id);

3. 运行时类型调试技巧 #

运行时的typeof只能判断基础类型（比如typeof 5142返回"number"），无法直接获取对象的结构类型，但可以用以下方式辅助排查：

• 打印对象结构：console.log(e)，直接查看对象的键值对；
• 打印对象的键名：console.log(Object.keys(e))，确认对象包含的属性。

内容的提问来源于stack exchange，提问作者Sandra Schlichting