如何让TypeScript自动推断对象指定键的属性类型（无需手动类型检查）

我完全懂你的痛点：你已经能让TypeScript筛选出对象中值为字符串或undefined的键，但函数内部TypeScript没法自动推断item[key]的类型，不得不手动做类型检查。其实只要调整泛型的写法，就能完美解决这个问题。

问题根源 #

你原来的函数只使用了单个泛型T来约束整个对象，虽然ObtainStringValuedProperties<T>能帮你筛选出合法的键，但TypeScript没办法把具体的键和它对应的属性类型关联起来——它只知道key是一个联合类型，却没法追踪每个键对应的具体值类型，自然也就没法自动推断item[key]的类型。

解决方案：把键也设为泛型参数 #

我们可以给函数增加一个泛型参数K，专门用来约束传入的键，并且让它继承ObtainStringValuedProperties<T>。这样TypeScript就能把K和T中对应的属性类型绑定起来，自动推断出item[key]的精确类型。

具体代码如下：

// 保留你原来的类型工具，用来筛选值为string|undefined的键
type ObtainStringValuedProperties<T> = { 
  [TKey in keyof T]: T[TKey] extends string | undefined ? TKey : never; 
}[keyof T];

// 修改函数的泛型定义，增加K来约束具体的键
function getTextValue<T, K extends ObtainStringValuedProperties<T>>(
  item: T,
  key: K
): T[K] {
  return item[key]; // 这里TypeScript会自动推断item[key]的类型是T[K]，完全不需要手动检查
}

测试一下效果 #

现在用你的测试用例验证：

// 输入第二个参数时，IDE会自动提示可选键为"foo"、"foobar"，"bar"不会出现在候选列表里
const result1 = getTextValue({ foo: "foo", bar: 0, foobar: "foobar" }, "foo");
// result1的类型会被自动推断为string

const result2 = getTextValue({ foo: "foo", bar: 0, foobar: undefined }, "foobar");
// result2的类型会被自动推断为undefined

// 如果你尝试传入"bar"，TypeScript会直接报错，符合预期
getTextValue({ foo: "foo", bar: 0, foobar: "foobar" }, "bar");

为什么这能解决问题？ #

通过把K作为独立的泛型参数，我们让TypeScript明确知道：传入的key是T中某个具体的键，而不是一个模糊的联合类型。此时T[K]就是这个键对应的精确类型（要么是string，要么是undefined），TypeScript可以完全自动推断，不需要你再手动判断typeof propertyValue === "string"。

对应你的TLDR目标 #

1. 输入键时，可选列表只有"foo"、"foobar"，"bar"被排除：这个功能完全保留，因为K被约束为ObtainStringValuedProperties<T>
2. 函数内部item[key]的类型自动推断为string | undefined：现在TypeScript能准确追踪每个键对应的类型，甚至能区分具体是string还是undefined，比你之前手动返回string | undefined更精确

内容来源于stack exchange