如何在 TypeScript 中推断参数类型？

Question

如何推断参数类型？

我想实现一个类似redux的状态管理库，但在定义类型方面遇到了麻烦。 原型如下：

interface IModel<S, A> {
  state: S
  action: IActions<S, A>
}

type IActions<S, A> =  {
  [K in keyof A]: (state: S, payload: ???) => void // `???` How should it be defined here
}

class Model<T,A> implements IModel<T,A>{
  //...
}

// examples

const model=new Model({
  state:{name:"foo"},
  action:{
    setName:(state,name: string)=>{
      //...
    },
    fetchAccount:(state,payload: {
      id: number,
      locked: boolean,
      ...
})=>{
      //...
    }
  }
})

//
let state={name:''}
model.action.setName(state,'bar') // ok
model.action.setName(state,123)   // error

Answer 1

如果您想在方法名称与状态属性名称匹配的特定情况下进行严格的类型检查，您可以使用template literal types and mapped type as clauses。这需要 Typescript 4.1 或更高版本。

一般要点是获取状态键（在本例中为 name），并将它们映射到具有正确签名 ((state: State, value: string) => void) 的相应方法名称 (setName)。

type Actions<State> = {
  [K in keyof State & string as `set${Capitalize<K>}`]: (state: State, value: State[K]) => void;
}

type Model<State> = {
  state: State;
  actions: Actions<State>;
}

const model: Model<{ name: string }> = {
  state: {
    name: 'foo',
  },
  actions: {
    setName(state, value) {
      state.name = value;
    }
  }
};