为什么TypeScript中对带索引签名的接口使用KnownKeys返回never？

根因分析 #

1. 你使用的KnownKeys泛型是适配旧版TypeScript（3.2~4.3版本）的实现，在TS 4.4及以上版本、或开启完整strict编译配置的场景下，推导逻辑会失效。
2. 直接导致返回never的原因：在你当前的TS版本环境下，keyof DocExportRequest的返回结果被字符串索引签名覆盖，推导为string | number，所有键都命中了string extends K/number extends K的过滤条件，全部返回never，最终联合类型就为never。
3. 额外注意：你当前的KnownKeys泛型设计目的是返回显式属性名的联合（正常情况下应为'id' | 'type'），而非你期望的保留指定属性的对象类型，需要配合Pick使用才能得到目标类型。

修复方案 #

1. 替换兼容高版本TS的泛型实现 #

使用TS 4.1+支持的键重映射语法重构KnownKeys，逻辑更稳定，不会出现推导为never的问题：

type KnownKeys<T> = keyof {
  [K in keyof T as 
    string extends K ? never :
    number extends K ? never :
    symbol extends K ? never :
    K
  ]: T[K]
}

2. 生成目标对象类型 #

配合Pick封装移除索引签名的工具泛型，直接得到你期望的类型：

type RemoveIndexSignature<T> = Pick<T, KnownKeys<T>>

// 最终使用方式
type TDocExportReq = RemoveIndexSignature<DocExportRequest>
// 推导结果符合预期：{ id: string; type: 'PDF' | 'CSV' }

临时验证方案 #

如果不想修改泛型实现，可以先确认当前项目TypeScript版本和之前正常运行的CRA项目版本是否一致，若当前版本高于4.4，临时回退到4.3.x版本也可解决问题，但长期推荐使用上述新版泛型实现兼容性更好。

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