原文地址:https://medium.com/@meagle/understanding-87566abcfb7a


从2014年二月开始我就在使用facebook的React了,那时候它的版本才v0.9.x。我是从Backbone.js转过来的,当哥了解到Flux的好处和它提倡的单数据流架构时,我就已经决定不在使用Backbone.js提供的models和集合。这里我假设你已经大概了解了Flux,Redux,React和函数式编程的基本知识,在这篇文章中我将尽可能的涵盖所有内容。

Dan的Redux库真的非常简单和出彩儿,我相信每个人都可以借助它开发炫酷屌炸天的前端web应用。但我更想了解一下它的内部实现。我开始了Redux源码的探索,要想能更好的理解源码,你必须非常熟悉函数式编程理念。它的代码写的非常简练,没有扎实的基本功你会觉得非常难看懂。我将尝试带领你了解一些需要用到的函数式编程概念,包括:复合函数,柯里化,和高阶函数等。


我鼓励你去阅读源码来搞明白reducer函数是如何创建和组合的,action creator函数是如何作用于dispatch方法的,还有如何增加中间件来影响默认的dispatch方法的。这篇文章将会帮你理解一些Redux框架的源码,提升你的函数式编程能力,同时也让你尝试一下部分ES6语法。

###中间件

Redux最有趣的一个概念是它允许你通过自定义的中间件来影响你store的dispatch逻辑。然而,当我第一次试图查看applyMiddleware.js源码时,可把本宝宝吓坏了。所以我只能尝试参照Redux中间件的文档从功能层面来分析代码。看了下面这段话,让我找回了面子:

“中间件”这个词听起来很恐怖,但它实际一点都不难。想更好的了解中间件的方法就是看一下那些已经实现了的中间件是怎么工作的,然后尝试自己写一个。函数嵌套写法看起来很恐怖,但是大多数你能找到的中间件,代码都不超过十行,但是它们的强大来自于它们的可嵌套组合性。

区区10行的中间件很容易写,但是你要想明白它们是如何放入中间件调用链,又是如何影响store的diapatch方法的,还真需要一些经验。首先让我们来简单定义一下中间件到底是个啥,并且找一些简单的中间件看一下它们的具体实现方式。关于中间件的定义我能找到的最简单的描述是:

中间件主要被用于分离那些不属于你应用的核心业务逻辑的可被组合起来使用的代码。

听起来不算太复杂,对吧;)

如果你之前用过Koa.jsn,那你可能早就接触过中间件这个概念了。我最早使用中间件是在我用Java Servlet写Filters和用Ruby写类似认证授权,日志,性能监控或一些需要在业务逻辑执行前处理的模块。

Redux的中间件主要用在store的dispatch函数上。dispatch函数的作用是发送actions给一个或多个reducer来影响应用状态的。中间件可以增强默认的dispatch函数,我们来看一下Redux1.0.1版本的applyMiddleware源码:

export default function applyMiddleware(...middlewares) {            return (next)  => 

        (reducer, initialState) => {

              var store = next(reducer, initialState);
              var dispatch = store.dispatch;
              var chain = [];

              var middlewareAPI = {
                getState: store.getState,
                dispatch: (action) => dispatch(action)
              };

              chain = middlewares.map(middleware =>
                            middleware(middlewareAPI));

              dispatch = compose(...chain, store.dispatch);
              return {
                ...store,
                dispatch
              };
           };
}

就这么点儿代码,就使用了非常多的函数式编程的思想,包括:高阶函数,复合函数,柯里化和ES6语法。一开始我反复读了十遍,然后我疯了:)。让我们先来分别看一些函数式编程的知识,回头再理会上面这段让人不爽的代码。

###函数式编程概念

在开始阅读Redux中间件源码之前,你需要先掌握一些函数式编程知识,如果你已经自学成才了请跳过本节。

####复合函数

函数式编程是非常理论和非常数学化的。用数学的视角来解释复合函数,如下:

given:
    f(x) = x^2 + 3x + 1
    g(x) = 2x

then:
    (f ∘ g)(x) = f(g(x)) = f(2x) = 4x^2 + 6x + 1 

你可以将上面的方式扩展到组合两个或更多个函数这都是可以的。我们再来看个例子,演示组合两个函数并返回一个新的函数:

var greet = function(x) { return `Hello, ${ x }` };
var emote = function(x) { return `${x} :)` };

var compose = function(f, g) {
      return function(x) {
        return f(g(x));
      }
}

var happyGreeting = compose(greet, emote);
// happyGreeting(“Mark”) -> Hello, Mark :)

我们当然可以组合更多的函数,这里只是给大家简单阐述一下基础概念。更多的常用技巧我们我们可以在Redux的源码中看到。

####柯里化

另一个屌炸天的函数式编程概念被称之为:柯里化。(译者注:这段翻译起来太难了,我放弃了,推荐你看这里来了解这个概念)

var curriedAdd = function(a) {
    return function(b) {
        return a + b;
    };
};

var addTen = curriedAdd(10);
addTen(10); //20

通过柯里化来组合你的函数,你可以创建一个强大的数据处理管道。

###Redux的Dispatch函数

Redux的Store有一个dispatch函数,它关注你的应用实现的业务逻辑。你可以用它指派actions到你定义的reducer函数,用以更新你的应用状态。Redux的reducer函数接受一个当前状态参数和一个action参数,并返回一个新的状态对象:

reducer:: state -> action -> state

指派action很像发送消息,如果我们假设要从一个列表中删除某个元素,action结构一般如下:

{type: types.DELETE_ITEM, id: 1}

store会指派这个action对象到它所拥有的所有reducer函数来影响应用的状态,然而只有关注删除逻辑的reducer会真的修改状态。在此期间没人会关注到底是谁修改了状态,花了多长时间,或者记录一下变更前后的状态数据镜像。这些非核心关注点都可以交给中间件来完成。

###Redux Middleware

Redux中间件被设计成可组合的,会在dispatch方法之前调用的函数。让我们来创建一个简单的日志中间件,它会简单的输出dispatch前后的应用状态。Redux中间件的签名如下:

middleware:: next -> action -> retVal

我们的logger中间件实现如下:

export default function createLogger({ getState }) {
      return (next) => 
        (action) => {
              const console = window.console;
              const prevState = getState();
              const returnValue = next(action);
              const nextState = getState();
              const actionType = String(action.type);
              const message = `action ${actionType}`;

              console.log(`%c prev state`, `color: #9E9E9E`, prevState);
              console.log(`%c action`, `color: #03A9F4`, action);
              console.log(`%c next state`, `color: #4CAF50`, nextState);
              return returnValue;
    };
}

注意,我们的createLogger接受的getState方法是由applyMiddleware.js注入进来的。使用它可以在内部的闭包中得到应用的当前状态。最后我们返回调用next创建的函数作为结果。next方法用于维护中间件调用链和dispatch,它返回一个接受action对象的柯里化函数,接受的action对象可以在中间件中被修改,再传递给下一个被调用的中间件,最终dispatch会使用中间件修改后的action来执行。

更健壮的logger中间件实现可以看这里,为了节省时间,我们的logger中间件实现非常的简陋。

我们来看看上面的logger中间件的业务流程:

  1. 得到当前的应用状态;
  2. 将action指派给下一个中间件;
  3. 调用链下游的中间件全部被执行;
  4. store中的匹配reducer被执行;
  5. 此时得到新的应用状态。

我们这里来看一个拥有2个中间件组件的例子:

###剖析applyMiddleware.js

现在咱们已经知道Redux中间件是个啥,并且也掌握了足够的函数式编程知识,那就让我们再次尝试阅读applyMiddleware.js的源码来探个究竟吧。这次感觉比较好理解了吧:

export default function applyMiddleware(...middlewares) {            return (next)  => 

        (reducer, initialState) => {

              var store = next(reducer, initialState);
              var dispatch = store.dispatch;
              var chain = [];

              var middlewareAPI = {
                getState: store.getState,
                dispatch: (action) => dispatch(action)
              };

              chain = middlewares.map(middleware =>
                            middleware(middlewareAPI));

              dispatch = compose(...chain, store.dispatch);
              return {
                ...store,
                dispatch
              };
           };
}

applyMiddleware可能应该起一个更好一点的名字,谁能告诉我这是为谁来“申请中间件”?我觉得可以这么叫:applyMiddlewareToStore,这样是不是更加明确一些?

我们来一行一行分析代码,首先我们看方法签名:

export default function applyMiddleware(...middlewares)

注意这里有个很有趣的写法,参数:...middlewares,这么定义允许我们调用时传入任意个数的中间件函数作为参数。接下来函数将返回一个接受next作为参数的函数:

return (next) => (reducer, initialState) => {...}

next参数是一个被用来创建store的函数,你可以看一下createStore.js源码的实现细节。最后这个函数返回一个类似createStore的函数,不同的是它包含一个由中间件加工过的dispatch实现。

接下来我们通过调用next拿到store对象(译者注:”Next we assign the store implementation to the function responsible for creating the new store (again see createStore.js). “这句实在翻译不来~)。我们用一个变量保存原始的dispatch函数,最后我们声明一个数组来存储我们创建的中间件链:

var store = next(reducer, initialState);
var dispatch = store.dispatch;
var chain = [];

接下来的代码将getState和调用原始的dispatch函数注入给所有的中间件:

var middlewareAPI = {
      getState: store.getState,
      dispatch: (action) => dispatch(action)
};

chain = middlewares.map(middleware =>
                middleware(middlewareAPI));

然后我们根据中间件链创建一个加工过的dispatch实现:

dispatch = compose(...chain, store.dispatch);

最tm精妙的地方就是上面这行,Redux提供的compose工具函数组合了我们的中间件链,compose实现如下:

export default function compose(...funcs) {
     return funcs.reduceRight((composed, f) => f(composed));
}

碉堡了!上面的代码展示了中间件调用链是如何创建出来的。中间件调用链的顺序很重要,调用链类似下面这样:

middlewareI(middlewareJ(middlewareK(store.dispatch)))(action)

现在知道为啥我们要掌握复合函数和柯里化概念了吧?最后我们只需要将新的store和调整过的dispatch函数返回即可:

return {
     ...store,
     dispatch
};

上面这种写法意思是返回一个对象,该对象拥有store的所有属性,并增加一个dispatch函数属性,store里自带的那个原始dispatch函数会被覆盖。这种写法会被Babel转化成:

return _extends({}, store, { dispatch: _dispatch });

现在让我们将我们的logger中间件注入到dispatch中:

import { createStore, applyMiddleware } from ‘redux’;
import loggerMiddleware from ‘logger’;
import rootReducer from ‘../reducers’;

const createStoreWithMiddleware = 
      applyMiddleware(loggerMiddleware)(createStore);

export default function configureStore(initialState) {
      return createStoreWithMiddleware(rootReducer, initialState);
}

const store = configureStore();

###异步中间件

我们已经会写基础的中间件了,我们就要玩儿点高深得了,整个能处理异步action的中间件咋样?让我们来看一下redux-thunk的更多细节。我们假设有一个包含异步请求的action,如下:

function fetchQuote(symbol) {
       requestQuote(symbol);
       return fetch(`http://www.google.com/finance/info?q=${symbol}`)
              .then(req => req.json())
              .then(json => showCurrentQuote(symbol, json));
}

上面代码并没有明显的调用dispatch来分派一个返回promise的action,我们需要使用redux-thunk中间件来延迟dipatch的执行:

function fetchQuote(symbol) {
      return dispatch => {
        dispatch(requestQuote(symbol));
        return fetch(`http://www.google.com/finance/info?q=${symbol}`)
                  .then(req => req.json())
                  .then(json => dispatch(showCurrentQuote(symbol, json)));
      }
}

注意这里的dipatch
getState是由applyMiddleware函数注入进来的。现在我们就可以分派最终得到的action对象到store的reducers了。下面是类似redux-thunk的实现:

export default function thunkMiddleware({ dispatch, getState }) {
      return next => 
             action => 
                   typeof action === ‘function’ ? 
                     action(dispatch, getState) : 
                     next(action);
}

这个和你之前看到的中间件没什么太大不同。如果得到的action是个函数,就用dispatchgetState当作参数来调用它,否则就直接分派给store。你可以看一下Redux提供的更详细的异步示例。另外还有一个支持promises的中间件是redux-promise。我觉得选择使用哪个中间件可以根据性能来考量。

###接下来干啥

你现在已经知道Redux的核心代码,你现在可以尝试使用react-redux来把Redux整合到你的react项目中了。

如果你还是对函数式编程不太习惯,我鼓励你看一下来自Brian Lonsdorf的优秀文献:

###总结

希望你已经了解了关于Redux中间件的足够信息,我也希望你掌握了更多的关于函数式编程的知识。我不断的尝试更多更好的函数式编程方法,尽管一开始并不容易,你需要不断的学习和尝试来参悟它的精髓。如果你完全掌握了这篇文章交给你的,那么你已经拥有了足够的信心去投入更多的学习当中。

最后,千万别使用那些你还没有搞明白的第三方类库,你必须确定它会给你的项目带来好处。掌握它的一个好方法就是去阅读它的源码,你将会学到新的编程技术,淘汰那些老的解决方案。将一个工具引入你的项目前,你有责任搞清楚它的细节。