TypeScript泛型匹配异常：DeepKeyOf传递嵌套类型省略失败排查

我尝试使用DeepKeyOf<T>泛型实现嵌套类型的省略传递，单独使用DeepKeyOf<T>时功能正常，但当传递继承自DeepKeyOf<TEntity>的泛型参数TOmissions时出现异常。我定义了MyInterface<TEntity extends IBaseEntity, TOmissions extends DeepKeyOf<TEntity>>，试图将TOmissions传入DeepOmittedEntity，从类型上看匹配无误，但add方法无法正常识别TOmissions。若将DeepKeyOf<T>替换为string，代码可运行但会丢失智能提示，请问问题出在哪里？

原始代码示例 #

// 生成嵌套对象的键路径
type DeepKeyOf<T> = {
    [Key in keyof T & (string | number)]: T[Key] extends object ? `${Key}` | `${Key}.${DeepKeyOf<T[Key]>}` : `${Key}`
}[keyof T & (string | number)];

// 实现深层省略类型
type DeepOmit<T, K extends PropertyKey> = {
    [P in keyof T as P extends K ? never : P]: DeepOmit<T[P], K extends `${Exclude<P, symbol>}.${infer R}` ? R : never>
}

// 组合DeepKeyOf和DeepOmit
type DeepOmittedEntity<TEntity extends IBaseEntity, TOmissions extends DeepKeyOf<TEntity>> = DeepOmit<TEntity, "id" | TOmissions>;

interface IBaseEntity {
    id: string;
    more: string;
    other: string;
}

// 单独使用正常工作
const someObject: DeepOmittedEntity<IBaseEntity, "more"> = {
    other: "this works"
}

// add方法无法识别TOmissions泛型参数
interface MyInterface<TEntity extends IBaseEntity, TOmissions extends DeepKeyOf<TEntity>> {
    add(entities: DeepOmittedEntity<TEntity, TOmissions>[]): void;
}

核心问题 #

TypeScript在处理泛型约束时，TOmissions extends DeepKeyOf<TEntity>仅能保证TOmissions是DeepKeyOf的子类型，但无法在泛型未具体化时，对TOmissions执行字符串模板的拆分推断（也就是DeepOmit中K extends ${Exclude<P, symbol>}.${infer R}``这一步，在泛型参数未被具体赋值前无法完成推断）。这导致DeepOmittedEntity无法正确解析要省略的字段，最终让add方法的参数类型失效。

解决方案 #

通过优化DeepOmit的实现，使其能在泛型层面正确处理嵌套键的推断，同时保留DeepKeyOf的智能提示能力。

优化后的完整代码

// 优化DeepKeyOf，确保生成所有嵌套键的字面量联合类型
type DeepKeyOf<T> = T extends object ? {
    [K in keyof T & (string | number)]: `${K}` | (T[K] extends object ? `${K}.${DeepKeyOf<T[K]>}` : never)
}[keyof T & (string | number)] : never;

// 优化DeepOmit，支持泛型嵌套键的推断
type DeepOmit<T, K extends string> = T extends object ? {
    [P in keyof T as P extends Extract<K, `${string}.${infer _}`> ? never : P extends K ? never : P]:
    DeepOmit<T[P], Extract<K, `${P & string}.${infer R}`>>
} : T;

// 调整DeepOmittedEntity，明确TOmissions为字符串类型的嵌套键
type DeepOmittedEntity<TEntity extends IBaseEntity, TOmissions extends DeepKeyOf<TEntity>> = DeepOmit<TEntity, "id" | TOmissions>;

interface IBaseEntity {
    id: string;
    more: string;
    other: string;
}

// 单独使用验证
const someObject: DeepOmittedEntity<IBaseEntity, "more"> = {
    other: "this works"
}

// 现在add方法可正确识别TOmissions泛型参数
interface MyInterface<TEntity extends IBaseEntity, TOmissions extends DeepKeyOf<TEntity>> {
    add(entities: DeepOmittedEntity<TEntity, TOmissions>[]): void;
}

// 测试嵌套对象场景
interface TestEntity extends IBaseEntity {
    nested: {
        foo: string;
        bar: number;
    }
}

// 实现接口，验证智能提示与类型检查
const testImpl: MyInterface<TestEntity, "more" | "nested.foo"> = {
    add(entities) {
        console.log(entities[0].other); // 正常访问
        console.log(entities[0].nested.bar); // 正常访问
        // console.log(entities[0].more); // 类型报错（已省略，符合预期）
        // console.log(entities[0].nested.foo); // 类型报错（已省略，符合预期）
    }
}

关键优化点 #

1. DeepKeyOf优化：增加T extends object的条件判断，避免对非对象类型生成无效键，确保生成的键路径都是合法的字符串字面量。
2. DeepOmit优化：使用Extract<K, ${P & string}.${infer R}``来精准提取嵌套键的子路径，即使K是泛型参数，TypeScript也能在泛型具体化时（如实现MyInterface时）正确推断出要省略的嵌套字段。
3. 类型约束明确：将DeepOmit的第二个参数约束为string，与DeepKeyOf的输出类型对齐，避免不必要的类型歧义。

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