为什么TypeScript无法正确推断此处的索引类型？

赋值失败的原因 #

你定义的KeysOfFieldsOfType<T, V>仅能保证筛选出的键K对应的T[K]是V的子类型，而非和V完全相等，当T[K]是比string更窄的类型时，就无法直接赋值通用字符串。

具体反例场景 #

type Data = {
  role: 'user' | 'admin'
  name: string
}
// KeysOfFieldsOfType<Data, string> 的计算结果是 'role' | 'name'
// 当泛型参数DataKey取'role'时，Data[DataKey]的类型是字符串字面量联合类型'user'|'admin'，属于string的子类型，但显然不能把任意字符串赋值给该类型
Func<Data, 'role'>('role') // 此时函数内部x的类型是'user'|'admin'，赋值"xyz"自然会触发类型错误

这就是报错的核心原因：TypeScript无法确认通用string类型可以兼容所有可能的Data[DataKey]子类型。

U类型编译失败的原因 #

1. 你定义的I接口使用了循环泛型约束：K的约束依赖V的类型，V的约束又依赖K的类型，TypeScript的泛型推断能力无法自动推导这种循环依赖的约束关系。
2. 你定义U时把筛选类型写死为了string，和你要支持任意类型的需求冲突，同时向I传入T[K]作为第三个泛型参数时，编译器无法同时满足K和V的双向约束。

注：你代码中出现的KeysOfPropsOfType和前文的KeysOfFieldsOfType为同一工具类型，以下统一用KeysOfFieldsOfType演示。

解决方案 #

修复Func的类型错误 #

如果要求Data[DataKey]可以直接赋值字符串，可以调整泛型约束写法，直接约束Data的对应键值类型为string：

const Func = <K extends PropertyKey, Data extends Record<K, string>>(k: K) => {
    const x: Data[K] = "xyz" // 不再报错
}

如果确实需要保留原有的KeysOfFieldsOfType筛选逻辑，可以加类型断言确认赋值安全：

const x = "xyz" as Data[DataKey]

实现支持任意类型的属性约束 #

先简化接口定义，去掉不必要的循环泛型约束：

// 保留原有键提取工具类型
type KeysOfFieldsOfType<T, V> = { [K in keyof T]: T[K] extends V ? K : never }[keyof T];

// 接口泛型顺序调整为：目标类型T、要筛选的值类型V、符合条件的键K
interface I<T, V, K extends KeysOfFieldsOfType<T, V> = KeysOfFieldsOfType<T, V>> {
    key: K,
    value: T[K]
}

// 支持任意类型的U类型定义
type U<T, V> = I<T, V>;

示例使用

// 筛选Thing中值为string的属性
type StringFieldOfThing = U<Thing, string>
// 筛选Thing中值为number的属性
type NumberFieldOfThing = U<Thing, number>

如果你不需要额外筛选值类型，只需要保证键值类型匹配，可以进一步简化：

interface I<T, K extends keyof T = keyof T> {
    key: K,
    value: T[K]
}

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