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

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

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 仍然会有这样的报错。

希望大家帮忙解答~

相关文章

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

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

  2. 现在弄明白啦,应该这样写:

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

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

发表评论

邮箱地址不会被公开。 必填项已用*标注