将Partial<T>属性赋值给T实例时的TypeScript类型错误问题

在Angular服务开发中，将Partial<T>类型对象的属性赋值给T类实例时，会触发TypeScript类型检查错误——即使做了undefined判断也无法通过。以下是问题代码及对应错误信息：

问题代码 #

function foo<T>(input: Partial<T>, instance: T) {
  // 无法运行：类型错误
  for (const key in input) {
    instance[key] = input[key];
  }
  // 无法运行：类型错误
  for (const key in input) {
    const i = input[key];
    if (typeof i !== 'undefined') {
      instance[key] = i;
    }
  }
  // 可以运行，但依赖非空断言
  for (const key in input) {
    instance[key] = input[key]!;
  }
}

错误原因 #

TypeScript对泛型T的类型推断存在限制：

• Partial<T>的属性类型为T[key] | undefined，而T的属性是必填项，直接赋值会触发类型不兼容错误。
• 即使通过typeof i !== 'undefined'排除了undefined，TypeScript仍无法在泛型场景下确认input[key]完全匹配T[key]的类型（比如T的属性可能不允许null，但该判断无法排除null值）。

替代解决方案 #

方案1：使用Object.assign（最简洁） #

Object.assign的类型定义原生支持将Partial<T>合并到T实例，无需额外类型处理：

function foo<T>(input: Partial<T>, instance: T) {
  Object.assign(instance, input);
}

这是最推荐的方式，代码简洁且类型安全，底层逻辑和手动循环赋值一致。

方案2：自定义类型守卫 #

通过类型守卫明确告知TypeScript，排除undefined后的值符合T[key]类型：

function isDefined<T>(value: T | undefined): value is T {
  return value !== undefined;
}

function foo<T>(input: Partial<T>, instance: T) {
  for (const key in input) {
    const value = input[key];
    if (isDefined(value)) {
      instance[key] = value;
    }
  }
}

类型守卫能让TypeScript准确推断值的类型，同时保留手动循环的灵活性（比如可以添加额外业务逻辑）。

方案3：明确类型断言 #

如果确定排除undefined后的值一定符合T[key]，可以使用类型断言替代非空断言：

function foo<T>(input: Partial<T>, instance: T) {
  for (const key in input) {
    const value = input[key];
    if (value !== undefined) {
      instance[key] = value as T[keyof T];
    }
  }
}

这种方式比非空断言更严谨，因为它基于undefined判断后的逻辑，而非强制忽略类型检查。

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