我正在阅读 Eloquent Javascript 并且很难理解下面的示例。谁能逐行解释?具体来说,我很困惑为什么第一个循环从一个开始,以及为什么 push 方法同时用于 knownArgs 和参数。我知道这与“部分应用”有关,但想要逐行更详细地解释到底发生了什么。
var op = {
"+": function(a,b){return a + b;}
};
function partial(func) {
var knownArgs = arguments;
return function() {
var realArgs = [];
for (var i=1; i<knownArgs.length; i++)
realArgs.push(knownArgs[i]);
for (var i=0; i<arguments.length; i++)
realArgs.push(arguments[i]);
return func.apply(null, realArgs);
};
}
map(partial(op["+"], 1), [0, 2, 4, 6, 8, 10]);
最佳答案
knownArgs
变量保留 arguments
值的副本就像partial()
时一样被称为。该调用返回另一个 函数,并且在该代码内部arguments
是一个完全不同的列表——它们是传递给返回函数的参数。换句话说:
var p = partial(someFunction, "hello", "world");
当 p()
被称为,knownArgs
将是“hello”和“world”(好吧,someFunction
也是,但请注意第一个循环从 1 开始)。如果调用p()
看起来像这样:
p("如何", "是", "你");
然后它将首先将“hello”和“world”推送到 realArgs
上列表(来自 knownArgs
),然后将三个参数传递给 p()
, 来自 arguments
.
edit — 如何逐步分解 map(partial(op["+"], 1), [0, 2, 4, 6, 8, 10]);
被评估:
首先,
op["+"]
必须进行评估。我猜它会返回一个函数,可能是这样的:function add(a, b) { return a + b; }
“添加”函数和值
1
传递给partial()
.因此里面partial()
arguments
伪数组看起来像[ add, 1 ]
也就是说,第一个参数是来自
op["+"]
的“添加”函数第二个是值1
.唯一partial()
返回匿名函数之前真正做的是保存arguments
进入knownArgs
.必须这样做,因为奇怪的arguments
伪变量总是在每次函数调用时分配一个新值。它被保留在这里,以便匿名函数中的代码以后可以访问它。现在,使用从
partial()
返回的匿名函数那个偶数数组,我们称之为map()
.该功能可能看起来像这样(我没有这本书):function map(fn, list) { var i, result = []; for (i = 0; i < list.length; ++i) { result.push( fn( list[i] ) ); } return result; }
内部
map()
,那么,第一个参数是从先前调用partial()
返回的匿名函数.该功能有什么作用?好吧,它结合了原始partial()
中的参数调用——除了第一个——传递给它的参数。map()
函数只传递一个参数,因此每次调用匿名函数时生成的参数列表的值都是1
。传递给partial()
然后,在每次迭代中,从列表中选择一个不同的偶数。
一个更简单的例子是考虑调用时会发生什么:
partial(op["+"], 1)(2);
也就是说,如果您调用 partial()
然后立即使用它的返回值(匿名函数)。效果将与调用相同:
add(1, 2);
关于javascript - 部分应用 - Eloquent Javascript,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13335600/