TypeScript如何将类型断言为keyof T解决泛型索引报错问题

报错原因 #

TypeScript 目前无法对泛型参数在条件类型分支中的收窄结果做自动推导，哪怕逻辑上已经排除了空字符串的场景，编译器依然会把 K 视为 keyof T | '' 的完整联合类型做索引合法性校验。

可行解决方案 #

以下几种写法都可以解决报错，且完全符合你的类型预期：

1. 使用Extract工具类型（可读性最高）
   用内置的Extract过滤掉K中的空字符串分支，提取出可用于索引T的部分：

   type CollapsibleKey<T,K extends KeyofOrEmpty<T>> = K extends '' ? T : T[Extract<K, keyof T>];
   

2. 使用交叉类型收窄（写法最简洁）
   利用交叉类型的特性自动过滤掉空字符串分支：

   type CollapsibleKey<T,K extends KeyofOrEmpty<T>> = K extends '' ? T : T[K & keyof T];
   

3. 使用as类型断言（符合你尝试的写法）
   你尝试的T[K as keyof T]语法本身是正确的，仅支持TypeScript 4.1及以上版本，检查项目TS版本即可正常使用：

   type CollapsibleKey<T,K extends KeyofOrEmpty<T>> = K extends '' ? T : T[K as keyof T];
   

效果验证 #

你可以用以下示例验证类型符合预期：

interface User {
  name: string;
  age: number;
}

// 类型为 User
type T1 = CollapsibleKey<User, ''>
// 类型为 string
type T2 = CollapsibleKey<User, 'name'>
// 类型为 number
type T3 = CollapsibleKey<User, 'age'>

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