如何在TypeScript中扩展原生File类型并定义带必填id的新类型？

方法一：用Object.assign一次性合并属性 #

通过Object.assign直接创建包含File实例属性和id的对象，让TypeScript自动识别类型，无需零散赋值引发的类型冲突：

type FileWithId = File & { id: number };

const ATTACHMENTS = [
  { id: 1, name: "some_file_name.txt" },
  { id: 2, name: "some_file_name2.txt" }
];

const files = ATTACHMENTS.map((attachment) => {
  return Object.assign(new File([], attachment.name), { id: attachment.id }) as FileWithId;
});

Object.assign会将File实例的所有属性与id合并为一个完整对象，类型断言仅做一次，更符合TypeScript类型系统的预期。

方法二：封装工厂函数统一创建逻辑 #

如果需要多次生成这类对象，写一个工厂函数可以复用逻辑，同时保证类型安全：

type FileWithId = File & { id: number };

const createFileWithId = (attachment: { id: number; name: string }): FileWithId => {
  const file = new File([], attachment.name);
  (file as FileWithId).id = attachment.id;
  return file as FileWithId;
};

const ATTACHMENTS = [
  { id: 1, name: "some_file_name.txt" },
  { id: 2, name: "some_file_name2.txt" }
];

const files = ATTACHMENTS.map(createFileWithId);

工厂函数内部仅在赋值id时做一次断言，外部调用直接返回正确类型，避免重复编写类型处理代码。

方法三：临时用any类型过渡（备选） #

如果不想频繁写断言，可以先将File实例声明为any，赋值id后再转回目标类型，可读性稍差但能解决问题：

type FileWithId = File & { id: number };

const ATTACHMENTS = [
  { id: 1, name: "some_file_name.txt" },
  { id: 2, name: "some_file_name2.txt" }
];

const files = ATTACHMENTS.map((attachment) => {
  const file: any = new File([], attachment.name);
  file.id = attachment.id;
  return file as FileWithId;
});

问题核心说明 #

TypeScript不允许直接把无id的File实例赋值给要求id必填的FileWithId类型；同时原生File类型没有id属性，直接添加会触发类型检查报错。以上方法都是通过合法的类型操作，让TypeScript认可最终对象符合FileWithId的结构要求。

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