TypeScript中如何定义部分属性可空但必存在的泛型类型？

需求说明 #

需要定义一个泛型类型，对Product类的部分属性做如下处理：

• 强制属性必须存在（不能为undefined）
• 保留原属性类型中的null可能性（即属性值可以设为null）

Product类定义：

class Product {
  id: number | string;
  name: null | string;
  variants?: ProductVariant[];
}

正确的泛型实现 #

type RequiredButAllowNull<T, K extends keyof T> = Omit<T, K> & {
  [P in K]: Exclude<T[P], undefined>;
};

泛型解释 #

• Omit<T, K>：移除原类型T中指定的K属性，后续重新定义这些属性的类型
• { [P in K]: Exclude<T[P], undefined> }：对每个指定的K属性，仅移除类型中的undefined，保留其他所有类型（包括null）
• 交叉类型&合并两部分，最终得到的类型中，K属性不再允许undefined，但原有的null或其他有效值依然保留

示例用法 #

比如要强制name和variants必存在：

// 处理后的类型
type MandatoryProduct = RequiredButAllowNull<Product, 'name' | 'variants'>;

// 验证：
const validProduct: MandatoryProduct = {
  id: 1,
  name: null, // 允许为null
  variants: [] // 必须存在，不能为undefined
};

const invalidProduct: MandatoryProduct = {
  id: 2,
  name: "Test",
  // 报错：缺少variants属性
};

const invalidProduct2: MandatoryProduct = {
  id: 3,
  name: "Test",
  variants: undefined // 报错：不能为undefined
};

分析之前的尝试问题 #

1. 第一个尝试：

type Exploded<T, K extends string & keyof T> = Omit<T, K> & Required<{ [key in K]: T[key] }>

Required仅把可选属性标记为必选，但不会移除属性类型中的undefined，比如variants原本是ProductVariant[] | undefined，处理后依然允许undefined，不符合需求。

2. 第二个尝试：

type Exploded<T, K extends string & keyof T> = Omit<T, K> & Required<{ [key in K]: NonNullable<T[key]> }>

NonNullable会同时移除null和undefined，导致原本允许null的name属性不再接受null，违背需求。

3. 第三个尝试：

type Exploded<T, K extends string & keyof T> = Omit<T, K> & Required<{ 
  [key in K]: null extends T[key] ? T[key] :NonNullable<T[key]> 
}>

逻辑存在漏洞：对于原类型包含undefined但不包含null的属性（比如variants），会使用NonNullable移除null和undefined，无法满足“允许设为null”的需求；同时Required没有真正移除类型中的undefined，属性仍可能为undefined。

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