如何重新创建 Underscore.js _.reduce 方法？

Question

出于教育目的，我试图重新创建 Underscore.js 的 _.reduce() 方法。虽然我能够使用 for 循环以明确的方式做到这一点。但这远非理想，因为它会改变作为参数提供的原始列表，这是危险的。

我还意识到使用函数式编程风格创建这样的方法更难，因为不可能显式设置 i 值以进行循环。

// Explicit style
var reduce = function(list, iteratee, initial) {
if (Array.isArray(list)) {
    var start;
    if (arguments.length === 3) {
        start = initial;
        for (var i = 0; i < list.length; i++) {
            start = iteratee(start, list[i], i);
        }
    } else {
        start = list[0];
        for (var i = 1; i < list.length; i++) {
            start = iteratee(start, list[i], i);
        }
    }
}
if (list.constructor === Object) {
    var start;
    if (arguments.length === 3) {
        start = initial;
        for (var key in list) {
            start = iteratee(start, list[key], key);
        }
    } else {
        start = list[Object.keys(list)[0]];

        // Delete the first property to avoid duplication.
        delete list[Object.keys(list)[0]];
        for (var key in list) {
            start = iteratee(start, list[key], key);
        }
    }
}

return start;
};

让我苦恼的是，当我的 reduce() 提供了一个参数 initial 时，我需要随后跳过或删除参数的第一个 element 或 property 以用于将返回的最终值。因为不这样做会重复计算第一个元素/属性。在创建具有函数式编程风格的函数时，我想不出我怎么能做这样的事情，涉及_.each() 或forEach()。

这是我的 reduce() 的功能样式，它正在部分工作。提供memo(initial value) 时它可以正常工作，因为我不需要跳过第一个元素/属性。但是当没有提供 memo 时它不能正常工作，因为那时我将 memo 设置为第一个元素或属性，我应该能够在循环期间跳过它，我不知道如何。

// Functional style (not working without memo)
var reduce = function(list, iteratee, memo) {
    var memo = memo || list[0] || list[Object.keys(list)[0]];
    _.each(list, function(element, index, list){
        memo = iteratee(memo, element, index, list);
    });
    return memo;
};

我花了很长时间在 Google 上搜索我的问题的答案。但是没能找到。我非常感谢您的建议。谢谢。

最后，这是我想出的一个附加代码，它不起作用，但我认为它应该。

var reduce = function(list, iteratee, memo) {
    var collection = list;
    var accumulation;

    _.each(collection, function(item){
        if (arguments.length < 3) {
            if (Array.isArray(collection)) {
                accumulation = collection[0];
                collection.shift();
                accumulation = iteratee(accumulation, item);
            } else {
                accumulation = collection[Object.keys(collection)[0]];
                delete collection[Object.keys(collection)[0]];
                accumulation = iteratee(accumulation, item);
            }
        } else {
            accumulation = memo;
            accumulation = iteratee(accumulation, item);
        }
    });

    return accumulation;
};

Answer 1

首先，当您在传递给_.each 的函数中时，您需要一种方法来确定reduce 是否收到初始memo 值。你可以通过多种方式做到这一点。一种方法是简单地根据arguments 的长度设置一个标志。您需要在_.each 调用之外执行此操作，因为您传递给_.each 的函数将有自己的arguments 对象，为reduce 屏蔽arguments 对象。

以您的代码为起点：

var reduce = function(list, iteratee, memo) {
    var considerFirst = arguments.length > 2;
    var memo = memo || list[0] || list[Object.keys(list)[0]];
    _.each(list, function(element, index, list){
        if (index > 0 || considerFirst) {
            memo = iteratee(memo, element, index, list);
        }
    });
    return memo;
};

不过，这仍然不太正确。我们还需要更新您默认memo 的方式。目前，如果memo 接收到一个假值（例如0），我们仍然将其设置为列表中的第一个元素，但我们没有设置指示忽略第一个元素的标志。这意味着reduce 将处理第一个元素两次。

要做到这一点，您需要更改默认 memo 的方式，仅在未传入参数时进行设置。您可以执行以下操作：

var reduce = function(list, iteratee, memo) {
    var considerFirst = true;
    if (arguments.length < 3) {
        memo = list[0];
        considerFirst = false;
    } 
    _.each(list, function(element, index, list){
        if (index > 0 || considerFirst) {
            memo = iteratee(memo, element, index, list);
        }
    });
    return memo;
};

这样，如果没有传递参数，你只设置memo。

请注意，您不需要用var 初始化memo。将memo 作为参数进行您需要的所有初始化。

还请注意，我删除了对在普通对象上使用 reduce 的支持。当您将对象传递给_.each 时，index 参数的值不是数字索引，而是该条目的键，它可能是也可能不是整数。这与我们的index > 0 不匹配，检查我们是否正在查看第一个条目。有很多方法可以解决这个问题，但这似乎不是您问题的核心。如果您想了解如何使其工作，请查看实际的 underscore implementation。

更新：SpiderPig 建议的实现不依赖于index，因此可以处理对象，而不仅仅是数组。

最后，值得指出的是 underscore's implementation 的 _.reduce 使用 for 循环而不是 _.each。

Answer 2

这是我能想到的最短版本。

_.reduce = function(list, iteratee, memo){
  var memoUndefined = arguments.length < 3;
  _.each(list, function(elem, index, list){
    if(memoUndefined) {
      memoUndefined = false;
      memo = elem;
    } else memo = iteratee(memo, elem, index, list);
  });
  return memo;
};

Answer 3

Reduce 接受三个参数：集合（数组或对象）、回调和累加器（这是可选的）。

Reduce 遍历集合，调用回调并跟踪累加器中的结果。

如果没有传入累加器，我们会将其设置为集合的第一个元素。

如果累加器可用，我们会将累加器设置为等于调用回调并传入当前累加器和集合的当前元素的结果。请记住：Javascript 以从右到左的顺序执行其操作，这意味着运算符的右侧首先出现，然后才分配给左侧的变量。

  _.reduce = function(collection, callback, accumulator){
    _.each(collection, function(elem){
      return accumulator === undefined ? accumulator = collection[0] : accumulator = callback(accumulator, elem);
    });

    return accumulator;
  };