如何在TypeScript中实现递归接口？附报错场景解决请求

你遇到的报错是TypeScript的一个常见限制：当接口同时包含索引签名和显式属性时，显式属性的类型必须是索引签名类型的子集。你的原接口里，索引签名要求所有字符串键的类型都是Test，但keyName是number | undefined，显然number不属于Test类型，所以触发冲突报错。

下面给你两种可行的解决方案，你可以根据类型严格性需求选择：

方案一：宽松的联合类型索引签名 #

这种写法最简单，允许对象的属性要么是递归的Test类型，要么是number（对应keyName），完美适配你的结构：

interface Test {
  keyName?: number;
  [key: string]: Test | number | undefined;
}

为什么可行？ #

索引签名的类型是Test | number | undefined，而keyName的number | undefined是这个联合类型的子集，完全符合TypeScript的规则。你提供的test对象可以直接适配这个接口。

方案二：严格的映射类型（推荐） #

如果你希望只有keyName能是number类型，其他所有字符串键必须是递归的Test对象，可以用映射类型排除keyName，实现更精确的类型约束：

type Test = {
  keyName?: number;
} & {
  [K in string as Exclude<K, 'keyName'>]: Test;
};

为什么可行？ #

通过Exclude<K, 'keyName'>，我们把映射类型的键范围限制为除了keyName之外的所有字符串，这样就不会和显式定义的keyName属性冲突，同时保证其他属性必须是Test类型，类型安全性更高。

两种方案都能解决你的报错问题：如果需要灵活允许其他number属性就选方案一，想要严格约束类型就选方案二。

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