如何在TypeScript泛型中按条件设可选键及实现深层末级属性可选？

要实现仅将接口的末级属性设为可选（可省略或赋值为undefined），同时保证非末级对象属性必须存在的泛型类型，我们可以通过拆分映射类型并结合辅助判断类型来实现：

完整实现代码 #

// 辅助类型：判断是否为需要递归处理的对象类型（排除null、undefined和原始类型）
type IsObject<T> = 
  T extends null | undefined ? false : 
  T extends object ? true : false;

// 目标泛型类型：仅末级属性可选
type DeepPartialLastLevel<T> = {
  // 非末级对象属性：必填，递归处理内部结构
  [K in keyof T as IsObject<T[K]> extends true ? K : never]-?: DeepPartialLastLevel<T[K]>;
} & {
  // 末级属性：可选（可省略或赋值为原类型值/undefined）
  [K in keyof T as IsObject<T[K]> extends false ? K : never]?: T[K];
};

测试用例验证 #

以你提供的FormDeep接口为例：

interface FormDeep {
    email: string;
    address: {
        street: {
            line1: string;
            line2: string;
        }
        town: string;
    }
}

合法赋值场景

末级属性可设为undefined或直接省略：

// 所有末级属性设为undefined
const newAddress: DeepPartialLastLevel<FormDeep> = {
    email: undefined,
    address: {
        street: {
            line1: undefined,
            line2: undefined
        },
        town: undefined,  
    }
};

// 省略town属性（末级属性允许省略）
const newAddress2: DeepPartialLastLevel<FormDeep> = {
    email: undefined,
    address: {
        street: {
            line1: undefined,
            line2: undefined
        },
    }
};

非法赋值拦截

非末级对象属性不能设为undefined，TypeScript会自动报错：

const newAddressNotValid: DeepPartialLastLevel<FormDeep> = {
    email: undefined,
    address: {
        street: undefined, // ❌ 报错：street是非末级对象，必须存在且符合内部结构
        town: undefined,  
    }
};

实现思路说明 #

1. IsObject辅助类型：精准区分需要递归的对象类型和末级原始类型，避免将null/undefined误判为对象。
2. 双映射类型合并：
   • 第一个映射筛选出所有非末级对象属性，通过-?标记为必填，递归处理子对象结构，确保非末级属性必须存在。
   • 第二个映射筛选出所有末级原始属性，标记为可选，利用TypeScript可选属性的特性实现“可省略/可设为undefined”的需求。
   • 最终通过交叉类型&合并两个映射结果，得到符合要求的类型结构。

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