TypeScript：如何为映射函数指定返回类型并实现类型安全？

一、为映射函数指定返回类型 #

有两种常用方式：

1. 显式指定函数返回类型：像你示例中那样，直接在函数签名后标注Bar[]（或Array<Bar>），明确告知TypeScript函数返回值的类型：

   export function mapFoosToBars(foos: Foo[]): Bar[] {
     return foos.map(foo => ({ b: foo.a }));
   }
   

2. 泛型实现通用映射：如果需要复用映射逻辑，可以定义泛型函数，支持自动推断或显式约束输入输出类型：

   function mapArray<T, U>(arr: T[], mapper: (item: T) => U): U[] {
     return arr.map(mapper);
   }
   // 使用示例
   const bars = mapArray(foos, (foo): Bar => ({ b: foo.a }));
   

二、为什么多余属性不报错？如何实现类型安全？ #

原因 #

TypeScript采用结构子类型系统：只要返回的对象包含目标类型（Bar）的所有必填属性，就算存在额外属性，也会被判定为与目标类型兼容。你示例中返回的对象满足Bar的b属性要求，因此TypeScript未触发错误。

解决方法 #

要让映射函数严格检查返回对象是否完全匹配Bar（禁止多余属性），可以用以下方式：

1. 为箭头函数显式指定返回类型
   在map的回调函数中标注返回类型为Bar，此时返回对象若包含Bar未定义的属性，TypeScript会直接报错：

   export function mapFoosToBars(foos: Foo[]): Bar[] {
     return foos.map((foo): Bar => ({
       b: foo.a,
       c: foo.a // ❌ 报错：对象文字可以只指定已知属性，并且 'c' 不在类型 'Bar' 中
     }));
   }
   

2. 使用satisfies关键字（TypeScript 4.9+）
   用satisfies约束返回对象必须匹配Bar类型，多余属性会触发错误，同时保留对象的字面量类型信息：

   export function mapFoosToBars(foos: Foo[]): Bar[] {
     return foos.map(foo => {
       const result = {
         b: foo.a,
         c: foo.a // ❌ 报错：类型 '{ b: string; c: string; }' 不满足类型 'Bar'
       } satisfies Bar;
       return result;
     });
   }
   

3. 自定义精确类型检查工具
   通过自定义Exact类型工具，强制返回对象与Bar完全匹配，不允许多余属性：

   type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;
   
   export function mapFoosToBars(foos: Foo[]): Array<Exact<Bar, { b: string }>> {
     return foos.map(foo => ({
       b: foo.a,
       c: foo.a // ❌ 报错：类型 '{ b: string; c: string; }' 不能赋值给类型 'Exact<Bar, { b: string; }>'
     }));
   }
   

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