TypeScript使用扩展运算符时无法识别属性非空检查，求解决方案

问题场景 #

当使用扩展运算符传递对象时，TypeScript无法识别对象属性已通过null/undefined检查，导致类型校验报错。示例代码如下：

interface MyObject {
    date: SerializedDateTime;
    someId: number;
}

interface MyObjectInput {
    date?: Maybe<SerializedDateTime>;
    someId?: Maybe<number>;
}

function useMyObject(myObject: MyObject) {
    // 处理MyObject逻辑
}

function test(input: MyObjectInput) {
    if (!input.date) {
        throw new Error('Date not provided');
    }

    if (!input.someId) {
        throw new Error('SomeId not provided');
    }

    // 逐个赋值：类型校验正常
    useMyObject({
        date: input.date,
        someId: input.someId,
    });

    // 使用扩展运算符：编译器报错类型不兼容
    useMyObject({
        ...input
    });
}

编译器报错信息：

Types of property 'date' are incompatible.
Type 'Maybe' is not assignable to type 'Date'.
Type 'undefined' is not assignable to type 'Date'

问题原因 #

1. 类型收窄的范围限制：TypeScript的类型收窄仅作用于单个属性，而非整个对象。检查input.date和input.someId后，编译器能确认这两个属性已排除null/undefined，但input整体的类型仍为MyObjectInput，不会自动升级为MyObject。
2. 扩展运算符的类型逻辑：使用...input展开对象时，编译器直接沿用input原本的MyObjectInput类型，不会关联之前的属性检查逻辑，因此展开后的对象不符合MyObject的必填属性要求。

解决方法 #

方法1：手动类型断言 #

在展开对象后直接断言为MyObject（需确保已完成严格校验，避免运行时错误）：

useMyObject({ ...input } as MyObject);

方法2：组装校验后的对象 #

将经过校验的属性重新组装为新对象，本质与逐个赋值逻辑一致，可兼顾简洁性：

const validatedData = { date: input.date, someId: input.someId };
useMyObject(validatedData);

方法3：使用类型守卫函数 #

定义类型守卫函数，让编译器确认整个对象符合MyObject类型：

function isMyObject(input: MyObjectInput): input is MyObject {
  return input.date != null && input.someId != null;
}

function test(input: MyObjectInput) {
  if (!isMyObject(input)) {
    throw new Error('缺少必填属性');
  }
  // 此时input类型已被收窄为MyObject，扩展运算符可正常使用
  useMyObject({ ...input });
}

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