TypeScript索引类型：如何为T[K]添加泛型约束

这个需求其实挺常见的，核心就是要让泛型参数K只能对应T中值为Date类型的属性名。我们可以借助TypeScript的条件类型精准筛选出这些合法的键，再给K加上约束就行。

方法一：直接在泛型约束中嵌入条件逻辑 #

你可以直接在K的泛型约束里加入判断，筛选出T[K]属于Date类型的键：

interface Dummy { name: string; birth: Date; }

function doSomethingOnDateProperty<T, K extends keyof T & (T[K] extends Date ? K : never)>(o: T, name: K): void {
  // 这里o[name]的类型会自动推导为Date，能安全调用Date的方法
  const year = o[name].getFullYear();
  console.log(`处理日期属性：${year}`);
}

const dummy = { name: "d", birth: new Date() };
doSomethingOnDateProperty(dummy, "birth"); // ✅ 正常运行，符合约束
doSomethingOnDateProperty(dummy, "name"); // ❌ 编译报错！name对应的值是string，不符合要求

方法二：用类型别名封装筛选逻辑（可读性更好） #

如果觉得上面的约束写得太冗长，可以先定义一个类型别名，专门提取对象中值为Date类型的键，这样代码结构更清晰：

// 定义类型别名：提取T中所有值为Date的属性名
type DatePropertyKeys<T> = { 
  [P in keyof T]: T[P] extends Date ? P : never 
}[keyof T];

interface Dummy { name: string; birth: Date; registerDate: Date; }

function doSomethingOnDateProperty<T, K extends DatePropertyKeys<T>>(o: T, name: K): void {
  const date = o[name];
  console.log(`日期属性${name}的时间戳：${date.getTime()}`);
}

const dummy = { name: "d", birth: new Date(), registerDate: new Date(2023, 0, 1) };
doSomethingOnDateProperty(dummy, "birth"); // ✅ 合法
doSomethingOnDateProperty(dummy, "registerDate"); // ✅ 合法
doSomethingOnDateProperty(dummy, "name"); // ❌ 编译报错

原理说明 #

DatePropertyKeys<T>的逻辑拆解下来是这样的：

1. 遍历T的所有属性键P
2. 对每个P判断：如果T[P]是Date类型就保留P，否则转为never
3. 最后通过[keyof T]取出所有非never的键，形成一个合法键的联合类型

这样K就被严格约束为这些合法键，编译器会自动拦截不符合要求的属性名，从编译阶段就避免了传入错误参数的问题。

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