vsomeone

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

  •  
  •   vsomeone · Oct 28, 2020 · 2663 views
    This topic created in 2047 days ago, the information mentioned may be changed or developed.

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

    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 replies    2020-10-28 20:33:17 +08:00
    vsomeone
        1
    vsomeone  
    OP
       Oct 28, 2020
    我很好奇的是,在 (value: IState[key]) => void 这一部分,为什么 TS 将 key 先前的推断给忘记了,此处认定 key 的类型为 any 。
    当然更好奇的是,到底怎么写才能够达到我的目标😭
    xiangwan
        2
    xiangwan  
       Oct 28, 2020 via Android   ❤️ 1
    type Hanlder = <K extends keyof IState>(k: K) => (v: IState[K]) => void;
    vsomeone
        3
    vsomeone  
    OP
       Oct 28, 2020
    现在弄明白啦,应该这样写:

    type HandlerFactory<K extends keyof IState = keyof IState> = (key: K) => (value: IState[K]) => void;
    vsomeone
        4
    vsomeone  
    OP
       Oct 28, 2020
    二楼的写法更好一点,不需要给默认值,我的这种写法还需要给一个泛型的默认值
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   2836 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 35ms · UTC 09:02 · PVG 17:02 · LAX 02:02 · JFK 05:02
    ♥ Do have faith in what you're doing.