TypeScript泛型类型参数K在VSCode中无自动补全问题求助

我写了这么个泛型函数：

function updateProperty<T, K extends keyof T>(obj: T, key: K, value: T[K]): void {
  obj[key] = value;
}

还定义了对应的接口和对象：

interface ExampleObject {
  a: boolean;
  b: number;
  c: string;
}

const example: ExampleObject = { a: false, b: 10, c: 'Hello' };

调用的时候类型校验是正常的：

updateProperty<ExampleObject, 'a'>(example, 'a', true);
updateProperty<ExampleObject, 'b'>(example, 'b', 20);
updateProperty<ExampleObject, 'c'>(example, 'c', 'World');

但在VSCode里写代码时，第二个泛型参数K出不来自动补全——输入updateProperty<ExampleObject, 'a'>(e...的时候，第二个泛型参数的位置没有任何补全提示。

1. 让TypeScript自动推导泛型参数（首选） #

完全没必要手动指定泛型参数，TypeScript会根据你传入的obj和key自动推断出T和K的类型，既保留了完整的类型校验，还省了手动写参数的麻烦：

// 不用手动写泛型，自动推导类型
updateProperty(example, 'a', true);
updateProperty(example, 'b', 20);
updateProperty(example, 'c', 'World');

这时候你输入updateProperty(example, ，编辑器会自动补全'a'/'b'/'c'这些key，而且value的类型也会自动匹配对应key的类型，比手动指定泛型方便多了。

2. 非得手动指定泛型的替代方案 #

如果确实有场景需要手动指定泛型参数，可以调整函数定义，让K的约束和T的关联更明确：

// 重载函数定义，优化类型推断提示
function updateProperty<T>(obj: T, key: keyof T, value: typeof obj[keyof T]): void;
function updateProperty<T, K extends keyof T>(obj: T, key: K, value: T[K]): void {
  obj[key] = value;
}

不过还是建议优先用自动推导，毕竟手动指定泛型本来就不符合TypeScript类型推断的设计思路。

为啥原代码没补全？ #

当你手动指定第一个泛型参数T后，TypeScript理论上能知道K的可选值，但VSCode的补全提示在这种场景下有局限——它不会主动遍历keyof T的所有可能值来给出补全。而自动推导模式下，编辑器能结合函数参数的上下文提供精准的补全提示。

内容的提问来源于stack exchange，提问作者Islam Y-