不清楚React Hooks的类型声明？来看就对了

在了解react hooks的类型之前，有必要先了解一下@types、.d.ts文件的概念及作用。

node_modules中的@types是什么？

当我们使用第三方npm包的时候，如果这个包不是ts编写，则没有导出类型，这时候如果在ts中导入会报错。比如jquery 这时会报错

无法找到模块“jquery”的声明文件尝试使用 npm i –save-dev @types/jquery (如果存在)，或者添加一个包含 declare module ‘jquery’; 的新声明(.d.ts

这里提示找不到jquery的类型定义 可以安装@types/jquery或者在d.ts中自定义类型,大多数情况我们应该使用第一种办法,如果这个库没有@types库再使用第二种, 可以在https://microsoft.github.io/TypeSearch/中查找一个包是否存在types。

types查找规则

当我们使用import xx from时ts将会默认从./node_modules/@types中获取类型声明，具体查找规则是ts编译器先在当前编译上下文找jquery的定义,找不到则再去./node_modules/@types中查找。 在本地模块查找的类型声明作用域是在模块，在@types中的类型声明是全局的。在tsconfig.json中也可以使用typeRoots设置默认路径 。

模块types

当然在`tsconfig.json`中也可以使用`types`单独控制`@types`。`types`指定的包会被单独引入。这样全局引入就失效了。

*.d.ts是什么

@types下存放的文件都是.d.ts开头的文件 对应的npm包js的类型声明。 在.d.ts文件中声明的类型或者模块，在其他文件中不需要使用import导入，可以直接使用，d.ts的类型声明可以自行编写也可以使用工具声明。有2个工具

可以使用微软的dts-gen，生成单个文件的声明dtsmake。值得注意的是如果你使用JSDOC语法 在ts3.7以后是可以通过命令为js生成.ds文件。具体用法可查看官方文档。

介绍完前菜，现在开始进入本文正题。 一起来看下react hooks相关的类型声明吧。在@types/react/index.d.ts文件中。

useContext

`useContext和createContext`是结合一起使用的

useContext定义： function useContext<T>(context:Context<T>):TcreateContext定义： function createContext<T>(defaultValue:T,):Context<T>createContext的返回Context类型的值提供给useContext的参数。这里泛型T在2个方法中是一致的，如果不指定 ts会类型推导出正确的类型。而Context 类型 则是一个interface

interface Context<T> {
  Provider: Provider<T>;
  Consumer: Consumer<T>;
  displayName?: string | undefined;
}

`Provider` 拥有`value`和`children` `Consumer`拥有 `children` 类型都是`ReactNode|undefined`。想想我们这react中使用`Context`传值 是不是感觉很熟悉？看懂类型定义 再也不怕忘记api了。

useState

定义：function useState<S>(initialState:S| (() =>S)): [S, Dispatch<SetStateAction<S>>]泛型S表示state 是用来约束initialState类型，也可以传入返回值是S的方法。useState返回值为2个元素的元组类型，返回state和更新state的方法。默认情况下useState会根据传入类型自动推导出S类型。SetStateAction<S>定义了传入setState的参数类型。是S类型或者返回S类型值的函数的联合类型。SetStateAction 的定义为： type SetStateAction<S> = S|((prevState:S) =>S)，prevState为上一次的state，联合类型暂可以理解成或的关系。而 Dispatch 表示setState的类型，是一个没有返回值的方法。定义也很简单Dispatch ：type Dispatch<A> = (value:A) =>void。 还有useState参数个数为0的情况。上面的类型无法满足，所以后面个函数重载约束没有传入初始值的实现。function useState<S=undefined>(): [S|undefined, Dispatch<SetStateAction<S|undefined>>];

useRef

定义比较简单：function useRef<T>(initialValue:T):MutableRefObject<T>, useRef 返回一个可变 ref 对象，其 .current 属性初始化为传递的参数。MutableRefObject就是一个包含current：T的接口。值得注意的是 这里同样用了函数重载，包括了initialValue没有传或者为null的情况。ref在props中大部分的初始值都为null。 类型声明中注释明确指定了如果要使用可变的useRef 则需要在范型参数中包含| null.

* Usage note: if you need the result of useRef to be directly mutable, include `| null` in the type
     * of the generic argument.

如果我们这样写，此时ref为RefObject类型 RefObject的current被readonly修饰。所以是不可变的。当在范型中指定了| null 则根据函数重载命中第一种类型，返回MutableRefObject是可变的。

const ref = useRef<number>(null)
ref.current = 2 // 无法分配到 "current" ，因为它是只读属性。
// 此时命中的这个重载的useRef
function useRef<T>(initialValue: T|null): RefObject<T>;

useEffect

定义: function useEffect(effect:EffectCallback, deps?:DependencyList):void， EffectCallback是一个只能返回void|Destructor的函数类型 用来处理副作用 。 void表示没有返回值 ,但这里并不意味着你赋值一个有返回值的函数会报错，在一个返回值为void的函数你明确返回类型 并不会报错。而void真正表示无论你返回什么？编译器都不会使用检查它。 Destructor 表示析构函数，看下它的定义

declare const UNDEFINED_VOID_ONLY: unique symbol;
type Destructor = () => void | { [UNDEFINED_VOID_ONLY]: never }

这里UNDEFINED_VOID_ONLY表示一个常量类型 unique symbol是symbol的子类型 , 使用unique symbol的变量必须为const，而值为never表示的是那些永不存在的值的类型。 never 类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型。这里使用void和{ [UNDEFINED_VOID_ONLY]: never }作为联合类型, 明确约束了effect是不能有返回类型的, 如果明确声明 则会报错。 如果有async修饰函数默认返回promise类型， 所以在useEffect中的effect也同样不能使用async。deps是可选参数，作为依赖是一个只读数组。ReadonlyArray是一个真正的只读数组类型，根据范型来约束数组元素类型。它没有改变数组的方法push shift等。

useLayoutEffect

useLayoutEffect类型声明与useEffect一致。但useLayoutEffect的callback会在DOM更新后同步触发 在浏览器同步刷新之前执行完成 可能会阻塞浏览器渲染。

useReducer

官方介绍useReducer 为 An alternative to useState.是useState的替代解决方案。一般我们都这样使用。当state结构或逻辑比较复杂时，用useReducer管理更方便容易。

function reducer(state, action) {
  switch (action.type) {
    case 'increment':
      return {count: state.count + 1};
    case 'decrement':
      return {count: state.count - 1};
    default:
      throw new Error();
  }
}
const [state, dispatch] = useReducer(reducer, {count: 0});
state.count
dispatch({type: 'decrement'})

在类型声明文件中useReducer写了5个重载函数类型。

type ReducerWithoutAction<S> = (prevState: S) => S;

type ReducerStateWithoutAction<R extends ReducerWithoutAction<any>> =
        R extends ReducerWithoutAction<infer S> ? S : never;

function useReducer<R extends ReducerWithoutAction<any>, I>(
        reducer: R,
        initializerArg: I,
        initializer: (arg: I) => ReducerStateWithoutAction<R>
    ): [ReducerStateWithoutAction<R>, DispatchWithoutAction];

• 第一种是reducer函数没有传action的情况。R表示reducer函数类型, 其中参数state类型和返回类型必须一致。initializerArg表示初始参数，类型为泛型的第二个参数。initializer定义稍微复杂，但是其实约束了此类型必须是一个参数为initializerArg类型 返回值也同initializerArg类型一致的参数类型。而这个initializerArg就是reducer的参数state类型。ReducerStateWithoutAction就是为了约束这三个参数的类型。举个例子更清晰. 下述代码reducer中state initializerArg 已经 initializer的参数和返回参数类型都应该保持一致。

type stateType = {num: number}
function reducer(state: stateType) {
  return state
}
const [state,dispatch]=useReducer<typeof reducer,stateType>(
  reducer, {num: 0},state=>{
    return {num: state.num+1}
  })

这里的extends 条件类型是一种条件表达式进行类型的关系检测，类似于三元表达式。意思为左侧类型可分配给右侧类型则返回？后面的类型 否则返回：后的类型。 而infer关键字只能出现在条件类型extends 判断为true的分支，表示一个待推断的类型，infer S表示将推断的类型保存在S中。

• 第二个重载与第一个类似 只是在initializer为undefined的情况。如果在useReducer的泛型中指定了第二个参数，则命中第一个重载 此时会报错。具体实现类似下述代码。

function useReducer<R extends ReducerWithoutAction<any>>(
        reducer: R,
        initializerArg: ReducerStateWithoutAction<R>,
        initializer?: undefined
    ): [ReducerStateWithoutAction<R>, DispatchWithoutAction];

type stateType = {num: number}
function reducer(state: stateType) {
  return state
}
const [state,dispatch]=useReducer<typeof reducer>(
reducer, {num: 0})

• 第三个重载约束了reducer函数传入action的情况，不同于redux action是any类型。initializerArg初始参数为 state与泛型I的交叉类型。I可能是state的子集的情况。ReducerState同样是为了取出reducer中state类型。initializer同上述第一种重载类似。要约束arg initializerArg 一致。而初始initializer的返回值要与reducer中state一致。

// Unlike redux, the actions _can_ be anything
type Reducer<S, A> = (prevState: S, action: A) => S;
// types used to try and prevent the compiler from reducing S
// to a supertype common with the second argument to useReducer()
type ReducerState<R extends Reducer<any, any>> = R extends Reducer<infer S, any> ? S : never;
function useReducer<R extends Reducer<any, any>, I>(
        reducer: R,
        initializerArg: I & ReducerState<R>,
        initializer: (arg: I & ReducerState<R>) => ReducerState<R>
    ): [ReducerState<R>, Dispatch<ReducerAction<R>>];

举个例子 初始参数initializer的state类型 在初始函数的参数类型也应该一致。

// 代码实现
type stateType = {num: number}
type actionType = { type: string, payload: number}
function reducer(state: stateType,action: actionType) {
  if(action.type=='add'){
    return {num: state.num+1}
  }else {
    return {num: state.num-1}
  }
}
const [state,dispatch]=useReducer<typeof reducer,actionType>(
reducer, { type: 'add', payload: 1,num: 2},state=>{
  return {num:state.num+state.payload}
})

• 第4个重载 和第三个类似 在初始参数不包括state的情况， 初始参数initializer的state类型 在初始函数的参数类型也应该一致。

function useReducer<R extends Reducer<any, any>, I>(
        reducer: R,
        initializerArg: I,
        initializer: (arg: I) => ReducerState<R>
    ): [ReducerState<R>, Dispatch<ReducerAction<R>>];

第5个重载 和上述类似 约束了initializer为undefined,reducer存在actions的情况

function useReducer<R extends Reducer<any, any>>(
        reducer: R,
        initialState: ReducerState<R>,
        initializer?: undefined
    ): [ReducerState<R>, Dispatch<ReducerAction<R>>];

useReducer的返回值都是一致。返回reducerState和Dispatch，而type Dispatch<A> = (value:A) =>void;就是一个没有返回值的函数 用来触发action 改变reducerState。

useCallback

定义比较简单：function useCallback<T extends (…args:any[]) =>any>(callback:T, deps:DependencyList):T;范型T为function类型为第一个参数callback的类型，第二个参数DependencyList与useEffect的依赖数组一致，都是一个只读的数组。主要作用是用来缓存callback实例，当传递给子组件方法时与React.memo 或者shouldComponentUpdate一起使用。

useMemo

定义也比较简单：

// allow undefined, but don't make it optional as that is very likely a mistake
function useMemo<T>(factory: () => T, deps: DependencyList | undefined): T;

范型T为factory的返回值类型。deps依赖为DependencyList和undefined的联合类型，这里会有提示允许deps为undefined，但不能是可选的 否则可能是个错误。

useImperativeHandle

useImperativeHandle主要用来配合forwardRef自定义暴露给父组件数据的。一般用来父组件调用子组件方法或获取子组件数据时使用。

function useImperativeHandle<T, R extends T>(ref: Ref<T>|undefined, init: () => R, deps?: DependencyList): void;
interface RefObject<T> {
        readonly current: T | null;
    }
    // Bivariance hack for consistent unsoundness with RefObject
type RefCallback<T> = { bivarianceHack(instance: T | null): void }["bivarianceHack"];
type Ref<T> = RefCallback<T> | RefObject<T> | null;

泛型T为ref的current的类型，R是第二个参数init方法的返回值，DependencyList同上述依赖数组一样 不可变数组。可以这样使用

const Child = React.forwardRef<{num: number}>((prop,ref)=>{
  useImperativeHandle<{num: number}, {num: number}>(ref,()=>({
    'num': 1
  }))
  return (<div>123</div>)
})

const Foo = ()=>{
  const childRef = useRef<{num: number}|null>(null)
  useLayoutEffect(() => {
    console.log(childRef.current?.num) // 1
  }, [])
  return <>
    <Child ref={childRef}/>
  </>
}

总结

本文根据阅读@types/react下hook相关源码入手，意在帮助大家熟悉常用hook以及类型声明，在开发时能得心应手，明白hooks的约束条件，更深入理解hook的功能。