这是一个有效的递归函数吗

Question

我发现一个库中的递归表达式非常混乱。代码在这里：https://github.com/tappleby/redux-batched-subscribe/blob/master/src/index.js#L22

export function batchedSubscribe(batch) {
  if (typeof batch !== 'function') {
    throw new Error('Expected batch to be a function.');
  }
  const listeners = [];
  function subscribe(listener) {
    listeners.push(listener);
    return function unsubscribe() {
      const index = listeners.indexOf(listener);
      listeners.splice(index, 1);
    };
  }
  function notifyListenersBatched() {
    batch(() => listeners.slice().forEach(listener => listener()));
  }
  return next => (...args) => {
    const store = next(...args);
    const subscribeImmediate = store.subscribe;
    function dispatch(...dispatchArgs) {
      const res = store.dispatch(...dispatchArgs);
      notifyListenersBatched();
      return res;
    }
    return {
      ...store,
      dispatch,
      subscribe,
      subscribeImmediate
    };
  };
}

特别是这部分：

return next => (...args) => {
  const store = next(...args);
  const subscribeImmediate = store.subscribe;
  function dispatch(...dispatchArgs) {
    const res = store.dispatch(...dispatchArgs);
    notifyListenersBatched();
    return res;
  }
  return {
    ...store,
    dispatch,
    subscribe,
    subscribeImmediate
  };
};

这怎么不是无限递归？

Answer 1

这怎么不是无限递归？

这里绝对没有递归。语法next => (...args) => …无法转换为

return function next(...args) {
    const store = next(...args);
    …

而是

return function(next) {
    return function(...args) {
        const store = next(...args);
        …

因此，除非该函数的调用方执行类似var f = batchedSubscribe(…); f(f)(f)…;的奇怪操作，否则它不会调用自己。

Answer 2

我们似乎都对此感到困惑的原因是，如果将箭头函数写成单个语句，则会隐式调用return。

例如一个简单的函数：

const add = (a, b) => a + b;

相当于

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

知道了这一点，我们可以去除糖并转换箭头功能：

return next => function(...args) { // body }

这真的是这里发生的事情，如果我们更进一步，我们会得到：

return function(next) {
  return function(...args) {
    const store = next(...args);
    const subscribeImmediate = store.subscribe;
    function dispatch(...dispatchArgs) {
      const res = store.dispatch(...dispatchArgs);
      notifyListenersBatched();
      return res;
    }
    return {
      ...store,
      dispatch,
      subscribe,
      subscribeImmediate
    };
  }
}

包含代码的两个函数实际上都是匿名的。next是一个函数，但不是返回的函数之一。它作为变量传递到第一个返回的函数中。

这里没有递归，而是有很多函数组合，这是从像redux这样的库中所期望的，它从函数编程中汲取了很多。