如何用TypeScript泛型将含null的字段转为可选非null类型？

完全可以通过TypeScript的映射类型和条件类型实现这个转换需求。以下是具体的泛型类型定义及说明：

泛型实现代码 #

type NullableToOptional<T> = {
  // 处理非nullable字段，保持必填并移除null类型
  [K in keyof T as T[K] extends null ? never : K]: Exclude<T[K], null>
} & {
  // 处理包含null的字段，转为可选并移除null类型
  [K in keyof T as T[K] extends null | infer U ? (U extends null ? never : K) : never]?: Exclude<T[K], null>
};

验证示例 #

用你给出的类型A测试：

type A = {
  x: string | null;
  y: number;
  z: boolean | null;
};

// 转换得到目标类型B
type B = NullableToOptional<A>;

此时B的类型等价于：

type B = {
  y: number;
  x?: string;
  z?: boolean;
};

代码逻辑说明 #

1. 第一部分映射类型：遍历T的所有字段，仅保留类型不等于纯null的字段，用Exclude<T[K], null>移除字段类型中的null分支，维持字段的必填状态（对应原类型中不含null的字段，比如y: number）。
2. 第二部分映射类型：遍历T的字段，仅保留类型为X | null（X不为null）的字段，将这些字段标记为可选（?），同样用Exclude<T[K], null>移除null类型分支（对应原类型中含null的字段，比如x: string | null转为x?: string）。
3. 两部分类型通过交叉类型（&）合并，最终得到符合需求的结构。

边界情况处理 #

如果字段类型为纯null（比如w: null），该字段会被直接排除——因为移除null后无有效剩余类型，符合转换逻辑。

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