为何TypeScript泛型类型属性默认不采用索引访问类型？

问题场景 #

先定义对象类型：

type Obj = {
  readonly color: string;
};

场景1：单一属性取值函数 #

定义获取color属性的函数时，默认返回类型是string而非T["color"]：

const getColor = <const T extends Obj>(obj: T) => obj.color;
getColor({color:"blue"}); // 返回类型为string，不是字面量类型"blue"

只有显式指定返回类型，才能得到实际的字面量类型：

const getColor = <const T extends Obj>(obj: T): T['color'] => obj.color;

场景2：通用属性取值函数 #

但定义通用取值函数时，返回类型会自动推断为T[K]：

const getPropertyValue = <const T extends Obj, K extends keyof T>(obj: T, key:K) => obj[key];
// 返回类型自动推断为T[K]，调用时能得到对应字面量类型

原因分析 #

这是TypeScript的泛型推断逻辑特性导致的：

• 场景1中，直接访问obj.color时，编译器优先使用泛型约束Obj里的color类型（即string）。虽然T是Obj的子类型，但没有额外的关联约束触发编译器细化返回类型到T["color"]。
• 场景2中，因为引入了第二个泛型参数K，且K被约束为keyof T，obj[key]的类型被T和K的关联关系明确绑定，编译器能准确推断出返回类型是T[K]，而非仅使用约束类型的属性。

替代方案（除显式指定返回类型外） #

1. 借助通用函数中转 #

通过通用取值函数间接获取属性，利用它的推断能力：

const getPropertyValue = <const T extends Obj, K extends keyof T>(obj: T, key:K) => obj[key];
const getColor = <const T extends Obj>(obj:T) => getPropertyValue(obj,"color");
const c1 = getColor({color:"blue"}); // 类型为"blue"

2. 使用类型断言（不推荐） #

通过类型断言强制指定返回类型，注意这会跳过部分类型检查：

const getColor = <const T extends Obj>(obj: T) => obj.color as T['color'];

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