请教关于 TypeScript 类型索引 & 推断的一个问题

資深大佬 : vsomeone 2

目前我需要写一个类型，现在写的定义是：

interface IState {     something: number;     another: string; }  type HandlerFactory = (key: keyof IState) => (value: IState[key]) => void;

也就是说，HandlerFactory 指的是一类函数，其唯一参数是 IState 对象的一个 key，返回一个新的函数，此函数的唯一参数类型应当对应 IState[key] 的类型（例如，handlerFactory('something') 生成一个函数，此函数的签名为 (value: number) => void ）。

目前这样写，TypeScript 会报错 key 是一个值，此处把它作为类型来使用（'key' refers to a value, but is being used as a type here. Did you mean 'typeof key'?ts(2749)）。我不太理解的是，为什么我已经限定了 key 的范围（ keyof IState ），TS 仍然会有这样的报错。

希望大家帮忙解答～

大佬有話說 (4)

主資深大佬 : vsomeone

我很好奇的是，在 (value: IState[key]) => void 这一部分，为什么 TS 将 key 先前的推断给忘记了，此处认定 key 的类型为 any 。
当然更好奇的是，到底怎么写才能够达到我的目标

資深大佬 : xiangwan

type Hanlder = <K extends keyof IState>(k: K) => (v: IState[K]) => void;

主資深大佬 : vsomeone

现在弄明白啦，应该这样写：

type HandlerFactory<K extends keyof IState = keyof IState> = (key: K) => (value: IState[K]) => void;

主資深大佬 : vsomeone

二的写法更好一点，不需要给默认值，我的这种写法还需要给一个泛型的默认值