TypeScript如何约束接口所有字段的类型均包含null

TypeScript支持定义这类类型约束，通过映射类型+泛型约束即可实现编译期校验，确保传入校验函数的对象所有字段类型都包含null，同时不影响运行时假值替换为null的逻辑。

• 编写类型校验工具：通过映射类型遍历对象的所有字段，用条件类型判断每个字段的类型是否联合了null，对不满足要求的字段返回明确的错误提示类型
• 给通用校验函数加泛型约束，仅允许所有字段均包含null的对象作为入参
• 补全函数内部的类型处理，避免赋值时的类型冲突

// 类型校验工具：约束传入类型的所有字段必须包含null
type AllFieldsAllowNull<T> = {
  [K in keyof T]: null extends T[K] 
    ? T[K] 
    : `错误：字段「${K & string}」的类型未包含null，不符合入参要求`
};

/**
 * 通用校验函数：将对象内所有假值替换为null
 * 仅接受所有字段类型均包含null的对象入参
 */
function validate<T extends AllFieldsAllowNull<T>>(obj: T) {
  (Object.keys(obj) as Array<keyof T>).forEach((key) => {
    const value = obj[key];
    (obj as Record<keyof T, T[keyof T] | null>)[key] = value ? value : null;
  });
}

// ------------------------------
// 测试用例
// ------------------------------
// 合法入参：所有字段都包含null类型
interface ValidInterface {
  field1: number | null;
  field2: string | null;
}
const validObj: ValidInterface = {
  field1: 3,
  field2: 'x'
}
validate(validObj); // 编译通过，运行正常

// 非法入参：field2字段类型未包含null
interface InvalidInterface {
  field1: number | null;
  field2: string;
}
const invalidObj: InvalidInterface = {
  field1: 3,
  field2: 'x'
}
validate(invalidObj); 
// 编译直接报错：类型"string"不能满足类型"错误：字段「field2」的类型未包含null，不符合入参要求"

• 编译阶段即可拦截不符合要求的入参，不需要额外写运行时的字段类型校验
• 错误提示会明确指出哪个字段不符合要求，排查问题成本低
• 运行时逻辑和预期一致，所有假值（0、空字符串、false、undefined、NaN）都会被替换为null

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