您现在的位置是:首页 > 文章详情

Redux异步方案选型

日期:2017-07-31点击:428

作为react社区最热门的状态管理框架,相信很多人都准备甚至正在使用Redux。

由于Redux的理念非常精简,没有追求大而全,这份架构上的优雅却在某种程度上伤害了使用体验:不能开箱即用,甚至是异步这种最常见的场景也要借助社区方案。

如果你已经挑花了眼,或者正在挑但不知道是否适合,或者已经挑了但不知道会不会有坑,这篇文章应该适合你。

本文会从一些常见的Redux异步方案出发,介绍它们的优缺点,进而讨论一些与异步相伴的常见场景,帮助你在选型时更好地权衡利弊。

简单方案

redux-thunk:指路先驱

Github:https://github.com/gaearon/redux-thunk

Redux作者Dan写的中间件,因官方文档出镜而广为人知。

它向我们展示了Redux处理异步的原理,即:

Redux本身只能处理同步的Action,但可以通过中间件来拦截处理其它类型的action,比如函数(Thunk),再用回调触发普通Action,从而实现异步处理,在这点上所有Redux的异步方案都是类似的。

而它使用起来最大的问题,就是重复的模板代码太多:

 
  1. //action types 
  2. const GET_DATA = 'GET_DATA'
  3.     GET_DATA_SUCCESS = 'GET_DATA_SUCCESS'
  4.     GET_DATA_FAILED = 'GET_DATA_FAILED'
  5.      
  6. //action creator 
  7. const getDataAction = function(id) { 
  8.     return function(dispatch, getState) { 
  9.         dispatch({ 
  10.             type: GET_DATA,  
  11.             payload: id 
  12.         }) 
  13.         api.getData(id) //注:本文所有示例的api.getData都返回promise对象 
  14.             .then(response => { 
  15.                 dispatch({ 
  16.                     type: GET_DATA_SUCCESS, 
  17.                     payload: response 
  18.                 }) 
  19.             }) 
  20.             .catch(error => { 
  21.                 dispatch({ 
  22.                     type: GET_DATA_FAILED, 
  23.                     payload: error 
  24.                 }) 
  25.             })  
  26.     } 
  27.  
  28. //reducer 
  29. const reducer = function(oldState, action) { 
  30.     switch(action.type) { 
  31.     case GET_DATA :  
  32.         return oldState; 
  33.     case GET_DATA_SUCCESS :  
  34.         return successState; 
  35.     case GET_DATA_FAILED :  
  36.         return errorState; 
  37.     } 
  38. }  

这已经是最简单的场景了,请注意:我们甚至还没写一行业务逻辑,如果每个异步处理都像这样,重复且无意义的工作会变成明显的阻碍。

另一方面,像GET_DATA_SUCCESS、GET_DATA_FAILED这样的字符串声明也非常无趣且易错。

上例中,GET_DATA这个action并不是多数场景需要的,它涉及我们将会提到的乐观更新,保留这些代码是为了和下面的方案做对比

redux-promise:瘦身过头

由于redux-thunk写起来实在是太麻烦了,社区当然会有其它轮子出现。redux-promise则是其中比较知名的,同样也享受了官网出镜的待遇。

它自定义了一个middleware,当检测到有action的payload属性是Promise对象时,就会:

  • 若resolve,触发一个此action的拷贝,但payload为promise的value,并设status属性为"success"
  • 若reject,触发一个此action的拷贝,但payload为promise的reason,并设status属性为"error"

说起来可能有点不好理解,用代码感受下:

 
  1. //action types 
  2. const GET_DATA = 'GET_DATA'
  3.  
  4. //action creator 
  5. const getData = function(id) { 
  6.     return { 
  7.         type: GET_DATA, 
  8.         payload: api.getData(id) //payload为promise对象 
  9.     } 
  10.  
  11. //reducer 
  12. function reducer(oldState, action) { 
  13.     switch(action.type) { 
  14.     case GET_DATA:  
  15.         if (action.status === 'success') { 
  16.             return successState 
  17.         } else { 
  18.                return errorState 
  19.         } 
  20.     } 
  21. }  

进步巨大! 代码量明显减少! 就用它了! ?

请等等,任何能明显减少代码量的方案,都应该小心它是否过度省略了什么东西,减肥是好事,减到骨头就残了。

redux-promise为了精简而做出的妥协非常明显:无法处理乐观更新

场景解析之:乐观更新

多数异步场景都是悲观更新(求更好的翻译)的,即等到请求成功才渲染数据。而与之相对的乐观更新,则是不等待请求成功,在发送请求的同时立即渲染数据。

最常见的例子就是微信等聊天工具,发送消息时消息立即进入了对话窗,如果发送失败的话,在消息旁边再作补充提示即可。这种交互"乐观"地相信请求会成功,因此称作乐观更新。

由于乐观更新发生在用户操作时,要处理它,意味着必须有action表示用户的初始动作

在上面redux-thunk的例子中,我们看到了GET_DATA, GET_DATA_SUCCESS、GET_DATA_FAILED三个action,分别表示初始动作、异步成功和异步失败,其中第一个action使得redux-thunk具备乐观更新的能力。

而在redux-promise中,最初触发的action被中间件拦截然后过滤掉了。原因很简单,redux认可的action对象是 plain JavaScript objects,即简单对象,而在redux-promise中,初始action的payload是个Promise。

另一方面,使用status而不是type来区分两个异步action也非常值得商榷,按照redux对action的定义以及社区的普遍实践,个人还是倾向于使用不同的type,用同一type下的不同status区分action额外增加了一套隐形的约定,甚至不符合该redux-promise作者自己所提倡的FSA,体现在代码上则是在switch-case内再增加一层判断。

redux-promise-middleware:拔乱反正

redux-promise-middleware相比redux-promise,采取了更为温和和渐进式的思路,保留了和redux-thunk类似的三个action。

示例:

 
  1. //action types 
  2. const GET_DATA = 'GET_DATA'
  3.     GET_DATA_PENDING = 'GET_DATA_PENDING'
  4.     GET_DATA_FULFILLED = 'GET_DATA_FULFILLED'
  5.     GET_DATA_REJECTED = 'GET_DATA_REJECTED'
  6.      
  7. //action creator 
  8. const getData = function(id) { 
  9.     return { 
  10.         type: GET_DATA, 
  11.         payload: { 
  12.             promise: api.getData(id), 
  13.             data: id 
  14.         } 
  15.     } 
  16.  
  17. //reducer 
  18. const reducer = function(oldState, action) { 
  19.     switch(action.type) { 
  20.     case GET_DATA_PENDING : 
  21.         return oldState; // 可通过action.payload.data获取id 
  22.     case GET_DATA_FULFILLED :  
  23.         return successState; 
  24.     case GET_DATA_REJECTED :  
  25.         return errorState; 
  26.     } 
  27. }  

如果不需要乐观更新,action creator可以使用和redux-promise完全一样的,更简洁的写法,即:

 
  1. const getData = function(id) { 
  2.     return { 
  3.         type: GET_DATA, 
  4.         payload: api.getData(id) //等价于 {promise: api.getData(id)} 
  5.     } 
  6. }  

此时初始actionGET_DATA_PENDING仍然会触发,但是payload为空。

相对redux-promise于粗暴地过滤掉整个初始action,redux-promise-middleware选择创建一个只过滤payload中的promise属性的XXX_PENDING作为初始action,以此保留乐观更新的能力。

同时在action的区分上,它选择了回归type的"正途",_PENDING、_FULFILLED 、_REJECTED等后缀借用了promise规范 (当然它们是可配置的) 。

它的遗憾则是只在action层实现了简化,对reducer层则束手无策。另外,相比redux-thunk,它还多出了一个_PENDING的字符串模板代码(三个action却需要四个type)。

社区有类似type-to-reducer这样试图简化reducer的库。但由于reducer和异步action通常是两套独立的方案,reducer相关的库无法去猜测异步action的后缀是什么(甚至有没有后缀),社区也没有相关标准,也就很难对异步做出精简和抽象了。

redux-action-tools:软文预警

无论是redux-thunk还是redux-promise-middleware,模板代码都是显而易见的,每次写XXX_COMPLETED这样的代码都觉得是在浪费生命——你得先在常量中声明它们,再在action中引用,然后是reducer,假设像redux-thunk一样每个异步action有三个type,三个文件加起来你就得写九次!

国外开发者也有相同的报怨:

有没有办法让代码既像redux-promise一样简洁,又能保持乐观更新的能力呢?

 
  1. const GET_DATA = 'GET_DATA'
  2.  
  3. //action creator 
  4. const getData = createAsyncAction(GET_DATA, function(id) { 
  5.     return api.getData(id) 
  6. }) 
  7.  
  8. //reducer 
  9. const reducer = createReducer() 
  10.     .when(getData, (oldState, action) => oldState) 
  11.     .done((oldState, action) => successState) 
  12.     .failed((oldState, action) => errorState) 
  13.     .build()  

redux-action-tools在action层面做的事情与前面几个库大同小异:同样是派发了三个action:GET_DATA/GET_DATA_SUCCESS/GET_DATA_FAILED。这三个action的描述见下表:

type When payload meta.asyncPhase
${actionName} 异步开始前 同步调用参数 'START'
${actionName}_COMPLETED 异步成功 value of promise 'COMPLETED'
${actionName}_FAILED 异步失败 reason of promise 'FAILED'
 

createAsyncAction参考了redux-promise作者写的redux-actions ,它接收三个参数,分别是:

  1. actionName 字符串,所有派生action的名字都以它为基础,初始action则与它同名
  2. promiseCreator 函数,必须返回一个promise对象
  3. metaCreator 函数,可选,作用后面会演示到

目前看来,其实和redux-promise/redux-promise-middleware大同小异。而真正不同的,是它同时简化了reducer层! 这种简化来自于对异步行为从语义角度的抽象:

当(when)初始action发生时处理同步更新,若异步成功(done)则处理成功逻辑,若异步失败(failed)则处理失败逻辑

抽离出when/done/failed三个关键词作为api,并使用链式调用将他们串联起来:when函数接收两个参数:actionName和handler,其中handler是可选的,done和failed则只接收一个handler参数,并且只能在when之后调用——他们分别处理`${actionName}_SUCCESS` 和 `${actionName}_FAILED`.

无论是action还是reducer层,XX_SUCCESS/XX_FAILED相关的代码都被封装了起来,正如在例子中看到的——你甚至不需要声明它们!创建一个异步action,然后处理它的成功和失败情况,事情本该这么简单。

更进一步的,这三个action默认都根据当前所处的异步阶段,设置了不同的meta(见上表中的meta.asyncPhase),它有什么用呢?用场景说话:

场景解析:失败处理与Loading

它们是异步不可回避的两个场景,几乎每个项目会遇到。

以异步请求的失败处理为例,每个项目通常都有一套比较通用的,适合多数场景的处理逻辑,比如弹窗提示。同时在一些特定场景下,又需要绕过通用逻辑进行单独处理,比如表单的异步校验。

而在实现通用处理逻辑时,常见的问题有以下几种:

1. 底层处理,扩展性不足

 
  1. function fetchWrapper(args) { 
  2.     return fetch.apply(fetch, args) 
  3.         .catch(commonErrorHandler) 
  4. }  

在较底层封装ajax库可以轻松实现全局处理,但问题也非常明显:

一是扩展性不足,比如少数场景想要绕过通用处理逻辑,还有一些场景错误是前端生成而非直接来自于请求;

二是不易组合,比如有的场景一个action需要多个异步请求,但异常处理和loading是不需要重复的,因为用户不需要知道一个动作有多少个请求。

2. 不够内聚,侵入业务代码

 
  1. //action creator 
  2. const getData = createAsyncAction(GET_DATA, function(id) { 
  3.     return api.getData(id) 
  4.         .catch(commonErrorHandler) //调用错误处理函数 
  5. })  

在有业务意义的action层调用通用处理逻辑,既能按需调用,又不妨碍异步请求的组合。但由于通用处理往往适用于多数场景,这样写会导致业务代码变得冗余,因为几乎每个action都得这么写。

3. 高耦合,高风险

也有人把上面的方案做个依赖反转,改为在通用逻辑里监听业务action:

 
  1. function commonErrorReducer(oldState, action) { 
  2.     switch(action.type) { 
  3.     case GET_DATA_FAILED: 
  4.     case PUT_DATA_FAILED: 
  5.     //... tons of action type 
  6.         return commonErrorHandler(action
  7.     } 
  8. }  

这样做的本质是把冗余从业务代码中拿出来集中管理。

问题在于每添加一个请求,都需要修改公共代码,把对应的action type加进来。且不说并行开发时merge冲突,如果加了一个异步action,但忘了往公共处理文件中添加——这是很可能会发生的——而异常是分支流程不容易被测试发现,等到发现,很可能就是事故而不是bug了。

通过以上几种常见方案的分析,我认为比较完善的错误处理(Loading同理)需要具备如下特点:

  • 面向异步动作(action),而非直接面向请求
  • 不侵入业务代码
  • 默认使用通用处理逻辑,无需额外代码
  • 可以绕过通用逻辑

而借助redux-action-tools提供的meta.asyncPhase,可以轻易用middleware实现以上全部需求!

 
  1. import _ from 'lodash' 
  2. import { ASYNC_PHASES } from 'redux-action-tools' 
  3.  
  4. function errorMiddleWare({dispatch}) { 
  5.   return next => action => { 
  6.     const asyncStep = _.get(action'meta.asyncStep'); 
  7.  
  8.     if (asyncStep === ASYNC_PHASES.FAILED) { 
  9.       dispatch({ 
  10.         type: 'COMMON_ERROR'
  11.         payload: { 
  12.           action 
  13.         } 
  14.       }) 
  15.     } 
  16.      
  17.     next(action); 
  18.   } 
  19. }  

以上中间件一旦检测到meta.asyncStep字段为FAILED的action便触发新的action去调用通用处理逻辑。面向action、不侵入业务、默认工作 (只要是用createAsyncAction声明的异步) ! 轻松实现了理想需求中的前三点,那如何定制呢?既然拦截是面向meta的,只要在创建action时支持对meta的自定义就行了,而createAsyncAction的第三个参数就是为此准备的:

 
  1. import _ from 'lodash' 
  2. import { ASYNC_PHASES } from 'redux-action-tools' 
  3.  
  4. const customizedAction = createAsyncAction( 
  5.   type,  
  6.   promiseCreator, //type 和 promiseCreator此处无不同故省略 
  7.   (payload, defaultMeta) => { 
  8.     return { ...defaultMeta, omitError: true }; //向meta中添加配置参数 
  9.   } 
  10.  
  11. function errorMiddleWare({dispatch}) { 
  12.   return next => action => { 
  13.     const asyncStep = _.get(action'meta.asyncStep'); 
  14.     const omitError = _.get(action'meta.omitError'); //获取配置参数 
  15.  
  16.     if (!omitError && asyncStep === ASYNC_PHASES.FAILED) { 
  17.       dispatch({ 
  18.         type: 'COMMON_ERROR'
  19.         payload: { 
  20.           action 
  21.         } 
  22.       }) 
  23.     } 
  24.      
  25.     next(action); 
  26.   } 
  27. }  

类似的,你可以想想如何处理Loading,需要强调的是建议尽量用增量配置的方式进行扩展,而不要轻易删除和修改meta.asyncPhase。

比如上例可以通过删除meta.asyncPhase实现同样功能,但如果同时还有其它地方也依赖meta.asyncPhase(比如loadingMiddleware),就可能导致本意是定制错误处理,却改变了Loading的行为,客观来讲这层风险是基于meta拦截方案的最大缺点,然而相比多数场景的便利、健壮,个人认为特殊场景的风险是可以接受的,毕竟这些场景在整个开发测试流程容易获得更多关注。

进阶方案

上面所有的方案,都把异步请求这一动作放在了action creator中,这样做的好处是简单直观,且和Flux社区一脉相承(见下图)。因此个人将它们归为相对简单的一类。

下面将要介绍的,是相对复杂一类,它们都采用了与上图不同的思路,去追求更优雅的架构、解决更复杂的问题

redux-loop:分形! 组合!

众所周知,Redux是借鉴自Elm的,然而在Elm中,异步的处理却并不是在action creator层,而是在reducer(Elm中称update)层:

图片来源于: https://github.com/jarvisaoie...

这样做的目的是为了实现彻底的可组合性(composable)。在redux中,reducer作为函数是可组合的,action正常情况下作为纯对象也是可组合的,然而一旦涉及异步,当action嵌套组合的时候,中间件就无法正常识别,这个问题让redux作者Dan也发出感叹 There is no easy way to compose Redux applications并且开了一个至今仍然open的issue,对组合、分形与redux的故事,有兴趣的朋友可以观摩以上链接,甚至了解一下Elm,篇幅所限,本文难以尽述。

而redux-loop,则是在这方面的一个尝试,它更彻底的模仿了Elm的模式:引入Effects的概念并将其置入reducer,官方示例如下:

 
  1. import { Effects, loop } from 'redux-loop'
  2. import { loadingStart, loadingSuccess, loadingFailure } from './actions'
  3.  
  4. export function fetchDetails(id) { 
  5.   return fetch(`/api/details/${id}`) 
  6.     .then((r) => r.json()) 
  7.     .then(loadingSuccess) 
  8.     .catch(loadingFailure); 
  9.  
  10. export default function reducer(state, action) { 
  11.   switch (action.type) { 
  12.     case 'LOADING_START'
  13.       return loop( 
  14.         { ...state, loading: true }, 
  15.         Effects.promise(fetchDetails, action.payload.id) 
  16.       ); // 同时返回状态与副作用 
  17.  
  18.     case 'LOADING_SUCCESS'
  19.       return { 
  20.         ...state, 
  21.         loading: false
  22.         details: action.payload 
  23.       }; 
  24.  
  25.     case 'LOADING_FAILURE'
  26.       return { 
  27.         ...state, 
  28.         loading: false
  29.         error: action.payload.message 
  30.       }; 
  31.  
  32.     default
  33.       return state; 
  34.   } 
  35. }  

注意在reducer中,当处理LOADING_START时,并没有直接返回state对象,而是用loop函数将state和Effect"打包"返回(实际上这个返回值是数组[State, Effect],和Elm的方式非常接近)。

然而修改reducer的返回类型显然是比较暴力的做法,除非Redux官方出面,否则很难获得社区的广泛认同。更复杂的返回类型会让很多已有的API,三方库面临危险,甚至combineReducer都需要用redux-loop提供的定制版本,这种"破坏性"也是Redux作者Dan没有采纳redux-loop进入Redux核心代码的原因:"If a solution doesn’t work with vanilla combineReducers(), it won’t get into Redux core"。

对Elm的分形架构有了解,想在Redux上继续实践的人来说,redux-loop是很好的参考素材,但对多数人和项目而言,最好还是更谨慎地看待。

redux-saga:难、而美

Github: https://github.com/yelouafi/r...

另一个著名的库,它让异步行为成为架构中独立的一层(称为saga),既不在action creator中,也不和reducer沾边。

它的出发点是把副作用 (Side effect,异步行为就是典型的副作用) 看成"线程",可以通过普通的action去触发它,当副作用完成时也会触发action作为输出。

 
  1. import { takeEvery } from 'redux-saga' 
  2. import { call, put } from 'redux-saga/effects' 
  3. import Api from '...' 
  4.  
  5. function* getData(action) { 
  6.    try { 
  7.       const response = yield call(api.getData, action.payload.id); 
  8.       yield put({type: "GET_DATA_SUCCEEDED", payload: response}); 
  9.    } catch (e) { 
  10.       yield put({type: "GET_DATA_FAILED", payload: error}); 
  11.    } 
  12.  
  13. function* mySaga() { 
  14.   yield* takeEvery("GET_DATA", getData); 
  15.  
  16. export default mySaga;  

相比action creator的方案,它可以保证组件触发的action是纯对象,因此至少在项目范围内(middleware和saga都是项目的顶层依赖,跨项目无法保证),action的组合性明显更加优秀。

而它最为主打的,则是可测试性和强大的异步流程控制。

由于强制所有saga都必须是generator函数,借助generator的next接口,可以轻易对异步行为的每个中间步骤做mock,实现对异步逻辑"step by step"的测试,这在其它方案中是很少看到的 (当然也可以借鉴generator这一点,但缺少约束)。

而强大得有点眼花缭乱的API,特别是channel的引入,则提供了武装到牙齿级的异步流程控制能力。

然而,回顾我们在讨论简单方案时提到的各种场景与问题,redux-saga并没有去尝试回答和解决它们,这意味着你需要自行寻找解决方案。而generator、相对复杂的API和单独的一层抽象也让不少人望而却步。

包括我在内,很多人非常欣赏redux-saga。它的架构和思路毫无疑问是优秀甚至优雅的,但使用它之前,最好想清楚它带来的优点(可测试性、流程控制、高度解耦)与付出的成本是否匹配,特别是异步方面复杂度并不高的项目,比如多数以CRUD为主的管理系统。

小结

本文包含了一些redux社区著名、非著名 (恩,我的redux-action-tools) 的异步方案,这些其实并不重要。

因为方案是一家之作,结论也是一家之言,不可能放之四海皆准。个人更希望文中探讨过的常见问题和场景,比如模板代码、乐观更新、错误处理等,能够成为你选型时的尺子,为你的权衡提供更好的参考,而不是等到项目热火朝天的时候,才发现当初选型的硬伤。


作者:kpaxqin

来源:51CTO

原文链接:https://yq.aliyun.com/articles/184735
关注公众号

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。

持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。

文章评论

共有0条评论来说两句吧...

文章二维码

扫描即可查看该文章

点击排行

推荐阅读

最新文章