TypeScript条件类型在嵌套对象中不生效？求排查原因

问题背景 #

我试图通过PropDesc2类型实现约束：仅当prop属性为InfoType.files、InfoType.catalogParts或InfoCatalogPart.datasheets时，PropDesc2的child属性才允许存在（且必须存在）。当前TypeScript对descriptorA的检查符合预期（因缺少child报错），但嵌套场景的descriptorB未触发预期报错——它的child中prop为InfoCatalogPart.datasheets，按规则该child本身必须包含自己的child，但实际无报错。这是TypeScript固有限制还是类型定义的疏漏？

代码示例 #

export enum InfoType {
    designation = "designation",
    files = "files",
    catalogParts = "catalogParts",
}

export enum InfoFile {
    name = "name",
}

export enum InfoCatalogPart {
    datasheets = "datasheets",
}

export interface PropDesc<T extends InfoType | InfoFile | InfoCatalogPart> {
    prop: T;
    index?: number;
    child?: T extends InfoType.files | InfoType.catalogParts | InfoCatalogPart.datasheets
    ? T extends InfoType.files | InfoCatalogPart.datasheets
    ? PropDesc<InfoFile>
    : T extends InfoType.catalogParts
    ? PropDesc<InfoCatalogPart>
    : never
    : never;
}

export type PropDesc2<T extends InfoType | InfoFile | InfoCatalogPart> =
  T extends InfoType.files
    ? PropDesc<T> & { child: PropDesc<InfoFile> }
    : T extends InfoCatalogPart.datasheets
    ? PropDesc<T> & { child: PropDesc<InfoFile> }
    : T extends InfoType.catalogParts
    ? PropDesc<T> & { child: PropDesc<InfoCatalogPart> }
    : PropDesc<T> & { child: never };

const descriptorA: PropDesc2<InfoCatalogPart> = { // 符合预期：因缺少child报错
    prop: InfoCatalogPart.datasheets,
};

const descriptorB: PropDesc2<InfoType> = { // 未报错，但理应报错
    prop: InfoType.catalogParts,
    child: {
        prop: InfoCatalogPart.datasheets // 此处缺少child，按规则应报错
    }
};

问题原因 #

这不是TypeScript的固有限制，而是类型定义的疏漏：

1. 当泛型参数为联合类型InfoType时，PropDesc2<InfoType>会被拆解为联合类型的每个成员分别应用条件类型，最终得到三个子类型的联合。descriptorB的结构匹配了其中PropDesc<InfoType.catalogParts> & { child: PropDesc<InfoCatalogPart> }这个分支。
2. 此处的child被约束为PropDesc<InfoCatalogPart>，但PropDesc接口中child是可选属性——也就是说{ prop: InfoCatalogPart.datasheets }完全符合PropDesc<InfoCatalogPart>的定义，自然不会触发报错。
3. 你的PropDesc2只对顶层的child做了强制存在的约束，嵌套层级的child仍沿用PropDesc的可选规则，没有递归强制约束。

解决方案 #

重新设计递归类型，对每个层级的prop都强制对应的child存在（如果符合条件）：

export enum InfoType {
    designation = "designation",
    files = "files",
    catalogParts = "catalogParts",
}

export enum InfoFile {
    name = "name",
}

export enum InfoCatalogPart {
    datasheets = "datasheets",
}

// 标记需要强制存在child的类型
type RequiresChild = InfoType.files | InfoType.catalogParts | InfoCatalogPart.datasheets;

// 映射每个类型对应的子类型
type ChildType<T> = 
    T extends InfoType.files ? InfoFile :
    T extends InfoType.catalogParts ? InfoCatalogPart :
    T extends InfoCatalogPart.datasheets ? InfoFile :
    never;

// 递归的强制约束类型
export type PropDesc2<T> = 
    T extends RequiresChild 
        ? { prop: T; index?: number; child: PropDesc2<ChildType<T>> }
        : { prop: T; index?: number; child?: never };

const descriptorA: PropDesc2<InfoCatalogPart.datasheets> = { 
    prop: InfoCatalogPart.datasheets,
    // 报错：必须存在child
};

const descriptorB: PropDesc2<InfoType> = { 
    prop: InfoType.catalogParts,
    child: {
        prop: InfoCatalogPart.datasheets 
        // 报错：该child也必须存在自己的child
    }
};

// 符合规则的正确示例
const descriptorC: PropDesc2<InfoType> = { 
    prop: InfoType.catalogParts,
    child: {
        prop: InfoCatalogPart.datasheets,
        child: {
            prop: InfoFile.name
        }
    }
};

该方案通过RequiresChild明确标记需要强制child的类型，ChildType映射子类型，再用递归的PropDesc2对每个层级的prop施加约束——只要属于RequiresChild类型，就必须存在符合对应子类型的child，彻底解决嵌套场景的约束失效问题。

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