TypeScript可选属性类型推断报错原因及疑问

先看你给出的代码：

export interface ProcessedResultOptions<
  TField1 = undefined,
  TField2 = undefined
> {
  field1?: TField1;
  field2?: TField2;
}

export class ProcessedResult<
  const TField1 = undefined,
  const TField2 = undefined
> {
  public readonly field1: TField1;
  public readonly field2: TField2;

  constructor(options: ProcessedResultOptions<TField1, TField2>) {
    this.field1 = options.field1;
    /*
    Type 'TField1 | undefined' is not assignable to type 'TField1'.
    'TField1' could be instantiated with an arbitrary type which could be unrelated to 'TField1 | undefined'.
    */
    this.field2 = options.field2;
  }
}

为什么会报错？ #

TypeScript的泛型检查要覆盖所有可能的实例化场景，不只是你默认的undefined情况。举个例子，如果有人显式传入非undefined的泛型参数：

const result = new ProcessedResult<string>({});

这时候options.field1的类型是string | undefined（因为接口里是可选属性），但类的field1是string类型，直接赋值就会把undefined塞进string类型的变量里，这显然不安全。所以TypeScript提前拦截了这种潜在错误，不管你有没有用默认泛型，它都会考虑泛型被替换成其他类型的情况。

你觉得“没传field1时应该是undefined类型”没错，但TypeScript不会只针对默认情况做检查，它要保证所有泛型实例化的场景都类型安全。

不用类型断言的解决方案 #

方案1：用条件类型动态定义选项（更优雅） #

把ProcessedResultOptions从接口改成条件类型，让可选属性的规则跟着泛型参数动态变化：当泛型参数是undefined时，属性可选；当泛型参数是其他类型时，属性变成必填项。从根源上避免TField1 | undefined的冲突。

// 用条件类型定义选项类型
export type ProcessedResultOptions<TField1 = undefined, TField2 = undefined> = 
  // 处理field1：如果TField1是undefined则可选，否则必填
  (TField1 extends undefined ? { field1?: TField1 } : { field1: TField1 }) &
  // 处理field2：逻辑同上
  (TField2 extends undefined ? { field2?: TField2 } : { field2: TField2 });

export class ProcessedResult<
  const TField1 = undefined,
  const TField2 = undefined
> {
  public readonly field1: TField1;
  public readonly field2: TField2;

  constructor(options: ProcessedResultOptions<TField1, TField2>) {
    // 现在直接赋值不会报错了
    this.field1 = options.field1;
    this.field2 = options.field2;
  }
}

这样做的好处：

• 使用默认泛型时，field1和field2都是可选的，options.field1类型就是undefined，和类的field1类型匹配。
• 显式传入其他泛型类型（比如string）时，对应的属性会变成必填项，options.field1类型就是string，也能直接赋值给类的field1。

方案2：构造函数内设置默认兜底值 #

如果你不想修改选项类型的定义，可以在构造函数里用空值合并运算符给属性兜底，确保即使没传值也能匹配泛型类型：

export class ProcessedResult<
  const TField1 = undefined,
  const TField2 = undefined
> {
  public readonly field1: TField1;
  public readonly field2: TField2;

  constructor(options: ProcessedResultOptions<TField1, TField2>) {
    // 空值合并运算符兜底，非undefined泛型场景下用户必须传对应属性，不会有类型冲突
    this.field1 = options.field1 ?? (undefined as TField1);
    this.field2 = options.field2 ?? (undefined as TField2);
  }
}

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