为何同逻辑的泛型TypeScript函数报错，非泛型版本却正常？

foo2报错的核心原因是：泛型T可以包含任意字符串键的属性（包括bar）。当T的bar属性类型不是boolean时，Partial<T>中的bar会是T['bar'] | undefined，这和你初始化的{ bar: false }的bar: boolean类型不兼容。TypeScript对泛型的类型检查更严格，无法提前确认{ bar: false }能适配所有可能的T类型。

下面提供两种无需类型断言的解决方案：

方案一：修改PartialWithBar类型定义，强制覆盖bar属性 #

通过Omit工具类型移除Partial<T>中的bar属性，再交叉一个明确的bar: boolean，确保不管T原本有没有bar属性，最终类型里的bar都是必选布尔类型：

type MyType = { a: number }

// 调整类型定义，强制bar为必选布尔，不受T原有bar属性影响
type PartialWithBar<T> = Omit<Partial<T>, 'bar'> & { bar: boolean }

export const foo1 = (obj: MyType) => {
  const result: PartialWithBar<MyType> = { bar: false }
  Object.assign(result, obj)
  return result
}

export const foo2 = <T extends { [key: string]: unknown }>(obj: T) => {
  const result: PartialWithBar<T> = { bar: false }
  Object.assign(result, obj)
  return result
}

方案二：分步构建对象，避免提前类型标注 #

先创建Partial<T>类型的空对象，通过Object.assign注入原对象属性，再追加bar属性，让TypeScript自动推断最终类型：

type MyType = { a: number }

type PartialWithBar<T> = Partial<T> & { bar: boolean }

export const foo1 = (obj: MyType) => {
  const result: PartialWithBar<MyType> = { bar: false }
  Object.assign(result, obj)
  return result
}

export const foo2 = <T extends { [key: string]: unknown }>(obj: T): PartialWithBar<T> => {
  // 先创建Partial<T>类型的空对象
  const partialObj: Partial<T> = {}
  // 注入原对象属性，保持Partial<T>类型
  Object.assign(partialObj, obj)
  // 追加bar属性，得到目标类型
  return Object.assign(partialObj, { bar: false })
}

这两种方案都能满足你“result包含布尔类型bar属性，以及T的可选属性”的需求，且无需使用类型断言。

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