Typescript Redux Thunk（类型）

Question

我有一个 redux thunk 操作，它获取一些数据，然后分派一些操作（此处的代码中未显示，但您可以在下面的演示链接中找到它）

export const fetchPosts = (id: string) => (dispatch: Dispatch<TActions>) => {
    return fetch('http://example.com').then(
    response => {
        return response.json().then(json => {
        return "Success message";
        });
    },
    err => {
        throw err;
    }
    );
};

在我的组件中，我使用 mapDispatchToProps 和 bindActionCreators 从我的组件中调用此函数，如下所示：

public fetchFunc() {
    this.props.fetchPosts("test").then(
        res => {
        console.log("Res from app", res);
        },
        err => {
        console.log("Err from app", err);
        }
    );
}

由于我使用的是typescript，所以需要在Props中定义这个函数的类型

interface IProps {
    name?: string;
    posts: IPost[];
    loading: boolean;
    fetchPosts: (id: string) => Promise<string | Error>;
}

如果我像上面那样做，Typescript 会抱怨我应该这样做：

fetchPosts: (id: string) => (dispatch: Dispatch<TActions>) => Promise<string | Error>; 

如果我这样做，那么当我在组件中使用 then 时，Typescript 会抱怨说该功能不是承诺。

我创建了一个演示，您可以在其中摆弄代码

按“从远程加载”有时会失败，只是为了查看承诺：

https://codesandbox.io/s/v818xwl670

Answer 1

尝试以下方法：

fetchPosts: (id: string) => void;

Answer 2

谢谢@Thai Duong Tran 和@Titian Cernicova-Dragomir。

我发现你提供的两个答案混合在一起。

1：

在道具中，我可以说函数具有原始函数的类型，而不是重新声明所有参数类型和返回类型：fetchPosts: typeof fetchPosts（感谢@titian-cernicova-dragomir）

2：

现在我可以使用该功能，但不能作为承诺。为了实现这一承诺，我可以使用@thai-duong-tran 提供的解决方案。

const fetchPromise = new Promise(resolve => {
    this.props.fetchPosts("adidas");
});

您可以在此处查看工作演示：https://codesandbox.io/s/zo15pj633

Answer 3

问题是在mapDispatchToProps 中对bindActionCreators 的调用。在运行时bindActionCreators 基本上将这个(id: string) => (dispatch: Dispatch<TActions>) => Promise<string>; 转换成这个(id: string) => Promise<string>;，但是bindActionCreators 的类型并没有反映这个转换。这可能是因为要实现这一点，您需要直到最近才可用的条件类型。

如果我们查看 redux repo 中的 this 示例用法，我们会看到它们通过明确指定函数的类型来完成转换：

const boundAddTodoViaThunk = bindActionCreators<
  ActionCreator<AddTodoThunk>,
  ActionCreator<AddTodoAction>
>(addTodoViaThunk, dispatch)

我们可以在您的代码中执行相同的操作，引用现有类型，但这会损害类型安全，因为没有检查两种类型中的 fetchPosts 是否会正确输入：

const mapDispatchToProps = (dispatch: Dispatch<TActions>): Partial<IProps> =>
  bindActionCreators<{ fetchPosts: typeof fetchPosts }, Pick<IProps, 'fetchPosts'>>(
    {
      fetchPosts
    },
    dispatch
  );

或者我们可以使用类型断言，因为上述方法并没有真正提供任何安全性：

const mapDispatchToProps2 = (dispatch: Dispatch<TActions>) =>
    bindActionCreators({ 
      fetchPosts: fetchPosts as any as ((id: string) => Promise<string>) 
    }, dispatch ); 

为了实现真正的类型安全，我们需要使用 typescript 2.8 和带有辅助函数的条件类型。我们可以按应有的方式输入bindActionCreators，并自动为生成的创建者推断正确的类型：

function mybindActionCreators<M extends ActionCreatorsMapObject>(map: M, dispatch: Dispatch<TActions>) {
  return bindActionCreators<M, { [P in keyof M] : RemoveDispatch<M[P]> }>(map, dispatch);
}
const mapDispatchToProps = (dispatch: Dispatch<TActions>) =>
  mybindActionCreators(
    {
      fetchPosts
    },
    dispatch
  );

// Helpers
type IsValidArg<T> = T extends object ? keyof T extends never ? false : true : true;

type RemoveDispatch<T extends Function> =
  T extends (a: infer A, b: infer B, c: infer C, d: infer D, e: infer E, f: infer F, g: infer G, h: infer H, i: infer I, j: infer J) => (dispatch: Dispatch<any>) => infer R ? (
    IsValidArg<J> extends true ? (a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J) => R :
    IsValidArg<I> extends true ? (a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I) => R :
    IsValidArg<H> extends true ? (a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H) => R :
    IsValidArg<G> extends true ? (a: A, b: B, c: C, d: D, e: E, f: F, g: G) => R :
    IsValidArg<F> extends true ? (a: A, b: B, c: C, d: D, e: E, f: F) => R :
    IsValidArg<E> extends true ? (a: A, b: B, c: C, d: D, e: E) => R :
    IsValidArg<D> extends true ? (a: A, b: B, c: C, d: D) => R :
    IsValidArg<C> extends true ? (a: A, b: B, c: C) => R :
    IsValidArg<B> extends true ? (a: A, b: B) => R :
    IsValidArg<A> extends true ? (a: A) => R :
    () => R
  ) : T;

Answer 4

基本上，在 Typescript 中，promise 的泛型类型将仅从 resolve 推断出来。

例如

function asyncFunction() {
    return new Promise((resolve, reject) => {
       const a = new Foo();
       resolve(a);
    })
}

asynFunction 返回类型将被推断为Promise<Foo>

您只需将 Error 作为类型中的联合类型删除即可获得正确的类型定义：

fetchPosts: (id: string) => (dispatch: Dispatch<TActions>) => Promise<string>;