TypeScript无法匹配Array.map()回调返回值与其泛型参数的报错问题

报错原因 #

TS处理依赖泛型参数的条件类型时，在泛型函数内部不会提前计算该条件类型的最终取值，只会将其视为未确定的不透明类型。
你的G<T>属于依赖泛型T的条件类型，在函数编译阶段，TS无法推断出遍历数组得到的id类型（string | number）和G<T>是等价的，因此抛出类型不兼容错误。
你将泛型参数替换为固定的A后，G<A>会被直接计算为string | number，和遍历得到的id类型完全匹配，因此可以正常编译，但这种写法会丢失泛型的类型收敛能力：当你传入类型为{id: number}[]的参数时，返回值类型会被推导为(string | number)[]，而非预期的number[]，泛型的约束作用完全失效。

解决方法 #

有两种可行的方案：

• 方案1：使用类型断言兜底
  如果不想改动原有类型定义，你可以通过类型断言直接告诉TS，该返回值类型符合预期，写法如下：

export const extractId = <T extends A>(array: T): G<T>[] => 
  array.map(({ id }) => id) as G<T>[];

这种写法逻辑上是安全的，因为你的类型定义本身已经保证了id的类型一定等于G<T>。

• 方案2：重构类型定义，避免延迟解析的条件类型
  你可以把id的类型直接提为泛型参数，从根源上避免条件类型的延迟解析问题，完全不需要类型断言就可以通过编译，且类型推导更精准：

type ItemWithId<Id extends number | string> = { id: Id }
type A<Id extends number | string = number | string> = ItemWithId<Id>[]

export const extractId = <Id extends number | string>(array: A<Id>): Id[] => 
  array.map(({ id }) => id);

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