使用展开与剩余操作符时遇Type could be instantiated with a different subtype错误

核心问题：重复属性的类型优先级冲突 #

你遇到的错误本质是泛型约束的类型优先级高于手动覆盖的字面量类型：

• 当你写{ ...rest, id: string }时，rest是泛型T的剩余属性，而T中已经包含id: number，这就相当于同时声明了id: number和id: string两个冲突的类型
• TypeScript在处理带明确返回类型注解的泛型函数时，会严格校验返回值与注解的一致性，不会自动忽略重复属性中的旧类型，因此抛出类型不兼容错误。

为什么移除返回类型注解就正常了？ #

去掉返回类型后，TypeScript进入自动类型推断模式：

• 它会按照对象字面量的覆盖规则，用后声明的id: string覆盖rest中自带的id: number
• 此时TypeScript不会再强制匹配原本的泛型约束，而是直接推断出合并后的正确类型，所以不会报错。

正确的写法（保留类型注解） #

要解决这个问题，需要先从泛型中剔除id属性，再合并新的id类型，避免重复冲突：

// 先剔除原类型的id，再合并新的id类型
type TransformId<T extends { id: number }> = Omit<T, 'id'> & { id: string };

function convertIdType<T extends { id: number }>(obj: T): TransformId<T> {
  return {
    ...obj,
    id: obj.id.toString()
  } as TransformId<T>;
}

这里Omit<T, 'id'>明确移除了原始类型中的id，再和{ id: string }合并，彻底避免了重复属性的类型冲突，同时保留了完整的类型注解和泛型支持。

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