TypeScript泛型函数对象交叉类型未触发类型错误问题

先看你提供的代码：

type Base = {
  endAt?: Date;
};

const someFunction = <T extends Base>(obj: T): (Omit<T, 'endAt'> & { endAt: string }) => {
  return { ...obj, endAt: null };
};

原因分析 #

• strictNullChecks配置未启用：如果你的tsconfig.json中strictNullChecks设为false，TypeScript会允许null/undefined赋值给任意类型，自然不会对null赋值给string的情况报错，这是最常见的原因。
• 泛型场景的宽松类型检查：即使开启了strictNullChecks，由于泛型参数T的具体结构无法提前确定，TypeScript会对返回值的类型兼容性做宽松判断，导致本该触发的错误被忽略。

解决方案 #

1. 启用严格空值检查
   在tsconfig.json中修改配置：

{
  "compilerOptions": {
    "strictNullChecks": true
  }
}

启用后，TypeScript会直接提示Type 'null' is not assignable to type 'string'的错误。

2. 显式约束泛型或使用类型断言

• 可以将返回值断言为目标类型，强制触发错误：

return { ...obj, endAt: null } as Omit<T, 'endAt'> & { endAt: string };

• 或者调整泛型约束，避免T包含endAt属性，让类型检查更严格：

const someFunction = <T extends Omit<Base, 'endAt'>>(obj: T): (T & { endAt: string }) => {
  return { ...obj, endAt: null }; // 此处会正确报错
};

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