TypeScript多层泛型下keyof丢失类型约束：问题命名与优解

专业名称 #

这个问题属于TypeScript中嵌套泛型的约束弱化（Constraint Weakening），具体表现为多层泛型嵌套时，内层类型的原始约束无法被正确保留，TypeScript会退回到更宽泛的默认类型范围（此处为键类型的默认string | number | symbol）。

问题原因 #

你的Example类泛型参数TMap被定义为extends OuterMap，而OuterMap本身允许传入任意符合InnerMap约束的子类型（比如OuterMap<Record<number, unknown>>）。当未显式指定TMap时，TypeScript不会默认将其锁定为OuterMap<InnerMap>，而是会考虑所有可能的OuterMap子类型，因此keyof TMap['inner']会被推断为所有合法键类型的联合，而非仅string。

更优修复方案 #

方案一：显式锁定TMap的内层类型约束 #

如果你的Example类仅需处理基于InnerMap的OuterMap实例，可以直接将TMap的泛型约束限定为OuterMap<InnerMap>，从根源上确保inner的键类型为string：

type InnerMap = Record<string, unknown>;
type OuterMap<T extends InnerMap = InnerMap> = {
    inner: T;
};

class Example<TMap extends OuterMap<InnerMap> = OuterMap<InnerMap>> {
    method<K extends keyof TMap['inner']>(key: K) {
        const a: string = key; // 类型推断正确，无报错
    }
}

方案二：语义化提取字符串类型键 #

若需要保留TMap对OuterMap子类型的兼容性，但仍要确保方法接收的键为string，可以使用Extract工具类型明确从键类型中提取string部分，比交叉类型更具语义性：

type InnerMap = Record<string, unknown>;
type OuterMap<T extends InnerMap = InnerMap> = {
    inner: T;
};

class Example<TMap extends OuterMap> {
    method<K extends Extract<keyof TMap['inner'], string>>(key: K) {
        const a: string = key; // 正确约束K为string类型
    }
}

不推荐方案：类型断言 #

虽然可以通过类型断言强制转换类型，但会跳过TypeScript的类型检查，可能隐藏潜在错误，仅在特殊场景下临时使用：

method<K extends keyof TMap['inner']>(key: K) {
    const a: string = key as string; // 不推荐，存在类型安全风险
}

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