TypeScript中extends导致any类型问题及动态类型实现咨询

1. 为什么scope3被推断为any？ #

出现这个问题通常有两种核心原因：

• 递归类型推断中断：如果你的PossibleScopeType在递归处理父类型时，遇到了undefined/null这类非对象类型，或者递归深度超出了TypeScript的类型推断上限，TypeScript会无法完成完整的类型解析，直接退化为any。比如当父级属性是可选类型（parent?: Scope），如果没排除undefined分支，递归到PossibleScopeType<undefined>时就会触发这个问题。
• 父类型未明确约束：如果你的Scope结构中，父级属性的类型本身是any，或者存在循环引用但未正确定义类型边界，整个推断链会直接被any污染，最终导致PossibleScopeType的结果为any。

2. 如何动态实现PossibleScopeType？ #

可以通过递归条件类型，自动遍历树形结构的所有父级类型，无需硬编码特定层级。核心思路是：先包含当前类型，再递归处理父级类型（排除空值分支避免推断中断）。

实现代码 #

// 提取父级类型，排除undefined/null
type ExtractParent<T> = T extends { parent: infer P } ? Exclude<P, undefined | null> : never;

// 递归收集当前类型及所有父级类型
type PossibleScopeType<T> = 
  T extends infer Current ? Current : never
  | (ExtractParent<T> extends never ? never : PossibleScopeType<ExtractParent<T>>);

测试示例 #

// 定义层级Scope类型
interface RootScope {
  type: "root";
  rootData: string;
}

interface ChildScope {
  type: "child";
  childData: number;
  parent: RootScope;
}

interface GrandChildScope {
  type: "grandchild";
  grandChildData: boolean;
  parent: ChildScope;
}

// 自动推导所有关联类型
type GrandChildAllowedTypes = PossibleScopeType<GrandChildScope>;
// 类型结果：GrandChildScope | ChildScope | RootScope

// 验证合法性
const validRoot: GrandChildAllowedTypes = { type: "root", rootData: "foo" };
const validChild: GrandChildAllowedTypes = { type: "child", childData: 123, parent: validRoot };
const validGrandChild: GrandChildAllowedTypes = { type: "grandchild", grandChildData: true, parent: validChild };

这个实现会自动遍历目标类型的所有父级链，直到父级不存在为止，完全不需要硬编码特定的Scope层级，适配任意深度的树形结构。

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