Heim  >  Artikel  >  Web-Frontend  >  Currying der JavaScript-Funktion

Currying der JavaScript-Funktion

小云云
小云云Original
2017-12-06 16:11:271402Durchsuche

Was ist Curry?

In der Informatik bedeutet Currying (englisch: Currying), auch übersetzt als Currying oder Currying, die Umwandlung einer Funktion, die mehrere Parameter akzeptiert, in eine Funktion, die einen einzelnen Parameter akzeptiert (die (erster Parameter der ursprünglichen Funktion) und gibt eine neue Funktion zurück, die die verbleibenden Parameter akzeptiert und das Ergebnis zurückgibt. Diese Technik wurde von Christopher Strachey nach dem Logiker Haskell Gary benannt, obwohl sie von Moses Schönfinkel und Gottlob Frege erfunden wurde.

Intuitiv behauptet Currying, dass man eine Funktion erhält, die die verbleibenden Parameter akzeptiert, wenn man bestimmte Parameter festlegt.
In der theoretischen Informatik bietet Currying eine Möglichkeit, Funktionen mit mehreren Parametern in einfachen theoretischen Modellen zu untersuchen, wie etwa der Lambda-Kalküle, die nur einen einzigen Parameter akzeptiert.
Das Duale des Funktions-Curryings ist Uncurrying, eine Methode zur Verwendung anonymer Einzelparameterfunktionen zur Implementierung von Funktionen mit mehreren Parametern.

Einfach zu verstehen

Das Konzept von Currying ist eigentlich sehr einfach: Übergeben Sie einfach einen Teil der Parameter an die Funktion Rufen Sie es auf und lassen Sie es eine Funktion zurückgeben, die die verbleibenden Parameter verarbeitet.

Wenn wir eine Funktion implementieren müssen, die die Summe von drei Zahlen ermittelt:

<span style="font-size: 16px;">function add(x, y, z) {<br>  return x + y + z;<br>}<br>console.log(add(1, 2, 3)); // 6<br></span>
<span style="font-size: 16px;">var add = function(x) {<br>  return function(y) {<br>    return function(z) {<br>      return x + y + z;<br>    }<br>  }<br>}<br><br>var addOne = add(1);<br>var addOneAndTwo = addOne(2);<br>var addOneAndTwoAndThree = addOneAndTwo(3);<br><br>console.log(addOneAndTwoAndThree);<br></span>

Hier sind wir define Eine Add-Funktion, die einen Parameter akzeptiert und eine neue Funktion zurückgibt. Nach dem Aufruf von add merkt sich die zurückgegebene Funktion den ersten Parameter von add durch einen Abschluss. Alles auf einmal aufzurufen ist etwas mühsam, aber glücklicherweise können wir eine spezielle Curry-Hilfsfunktion verwenden, um die Definition und den Aufruf solcher Funktionen zu vereinfachen.

Mithilfe der ES6-Pfeilfunktionen können wir das obige Add-on wie folgt implementieren:

<span style="font-size: 16px;">const add = x => y => z => x + y + z;<br></span>

Mit vielen Pfeilfunktionen scheint es klarer zu sein .

Teilfunktion?

Sehen Sie sich diese Funktion an:

<span style="font-size: 16px;">function ajax(url, data, callback) {<br>  // ..<br>}<br></span>

Es gibt ein Szenario: Wir müssen HTTP-Anfragen an mehrere verschiedene Schnittstellen initiieren. Es gibt Zwei Möglichkeiten, dies zu tun:

  • Übergeben Sie beim Aufruf der Funktion ajax() die globale URL-Konstante.

  • Erstellen Sie eine Funktionsreferenz mit voreingestellten URL-Parametern.

Nachfolgend erstellen wir eine neue Funktion, die intern noch eine Ajax()-Anfrage initiiert. Während wir auf den Empfang der anderen beiden tatsächlichen Parameter warten, führen wir diese manuell durch add ajax ()Der erste tatsächliche Parameter wird auf die API-Adresse gesetzt, die Sie interessieren.

Für den ersten Ansatz können wir die folgende Aufrufmethode generieren:

<span style="font-size: 16px;">function ajaxTest1(data, callback) {<br>  ajax('http://www.test.com/test1', data, callback);<br>}<br><br>function ajaxTest2(data, callback) {<br>  ajax('http://www.test.com/test2', data, callback);<br>}<br></span>

Für diese beiden ähnlichen Funktionen verwenden wir auch Folgendes Muster kann extrahiert werden:

<span style="font-size: 16px;">function beginTest(callback) {<br>  ajaxTest1({<br>    data: GLOBAL_TEST_1,<br>  }, callback);<br>}<br></span>

Ich glaube, Sie haben dieses Muster gesehen: Wir wenden die tatsächlichen Parameter an der Funktionsaufrufstelle (Funktionsaufrufstelle) in formalen Parametern an. Wie Sie sehen, wenden wir zunächst nur einige der Argumente an – insbesondere auf die URL-Parameter – und wenden den Rest später an.

Das obige Konzept ist die Definition einer Teilfunktion. Die Anzahl der Parameter bezieht sich hier auf die Anzahl der erwarteten formalen Parameter übergeben werden. Wir haben die Anzahl der Parameter der ursprünglichen Funktion ajax() durch ajaxTest1() von 3 auf 2 reduziert.

Wir definieren eine Funktion „partial()“ wie folgt:

<span style="font-size: 16px;">function partial(fn, ...presetArgs) {<br>  return function partiallyApplied(...laterArgs) {<br>    return fn(...presetArgs, ...laterArgs);<br>  }<br>}<br></span>

Die Funktion „partial()“ empfängt den Parameter fn, um unseren Teil darzustellen Anwendungsfunktionen mit Aktualparametern (teilweise zutreffend). Anschließend sammelt das Array „presetArgs“ nach dem Parameter „fn“ die später übergebenen tatsächlichen Parameter und speichert sie zur späteren Verwendung.

Wir erstellen eine neue interne Funktion und geben sie zurück (der Übersichtlichkeit halber nennen wir sie „partialApplied(..)“). In dieser Funktion sammelt das laterArgs-Array alle tatsächlichen Parameter.

Die Verwendung von Pfeilfunktionen ist prägnanter:

<span style="font-size: 16px;">var partial =<br>  (fn, ...presetArgs) =><br>    (...laterArgs) =><br>      fn(...presetArgs, ...laterArgs);<br></span>

Mit diesem Modus der Teilfunktionen rekonstruieren wir den vorherigen Code:

<span style="font-size: 16px;">function ajax(url, data, callback) {<br>  // ..<br>}<br><br>var ajaxTest1 = partial(ajax, 'http://www.test.com/test1');<br>var ajaxTest2 = partial(ajax, 'http://www.test.com/test1');<br></span>

Denken Sie noch einmal über die Funktion beginTest() nach. Was sollen wir tun, wenn wir „partial()“ verwenden, um sie zu rekonstruieren?

<span style="font-size: 16px;">function ajax(url, data, callback) {<br>  // ..<br>}<br><br>// 版本1<br>var beginTest = partial(ajax, 'http://www.test.com/test1', {<br>  data: GLOBAL_TEST_1,<br>});<br><br>// 版本2<br>var ajaxTest1 = partial(ajax, 'http://www.test.com/test1');<br>var beginTest = partial(ajaxTest1, {<br>  data: GLOBAL_TEST_1,<br>});<br></span>

Einen nach dem anderen weitergeben

Ich glaube, Sie haben im obigen Beispiel die Vorteile von Version 2 gegenüber Version 1 erkannt. Das ist richtig, Currying ist: der Prozess, eine Funktion mit mehreren Parametern nacheinander in eine Funktion umzuwandeln. Bei jedem Aufruf einer Funktion akzeptiert sie nur ein Argument und gibt eine Funktion zurück, bis alle Argumente übergeben wurden.

The process of converting a function that takes multiple arguments into a function that takes them one at a time.

Each time the function is called it only accepts one argument and returns a function that takes one argument until all arguments are passed.

假设我们已经创建了一个柯里化版本的ajax()函数curriedAjax():

<span style="font-size: 16px;">curriedAjax('http://www.test.com/test1')<br>  ({<br>    data: GLOBAL_TEST_1,<br>  })<br>  (function callback(data) {<br>    // dosomething<br>  });<br></span>

我们将三次调用分别拆解开来,这也许有助于我们理解整个过程:

<span style="font-size: 16px;">var ajaxTest1 = curriedAjax('http://www.test.com/test1');<br><br>var beginTest = ajaxTest1({<br>  data: GLOBAL_TEST_1,<br>});<br><br>var ajaxCallback = beginTest(function callback(data) {<br>  // dosomething<br>});<br></span>

实现柯里化

那么,我们如何来实现一个自动的柯里化的函数呢?

<span style="font-size: 16px;">var currying = function(fn) {<br>  var args = [];<br><br>  return function() {<br>    if (arguments.length === 0) {<br>      return fn.apply(this, args); // 没传参数时,调用这个函数<br>    } else {<br>      [].push.apply(args, arguments); // 传入了参数,把参数保存下来<br>      return arguments.callee; // 返回这个函数的引用<br>    }<br>  }<br>}<br></span>

调用上述currying()函数:

<span style="font-size: 16px;">var cost = (function() {<br>  var money = 0;<br>  return function() {<br>    for (var i = 0; i < arguments.length; i++) {<br>      money += arguments[i];<br>    }<br>    return money;<br>  }<br>})();<br><br>var cost = currying(cost);<br><br>cost(100); // 传入了参数,不真正求值<br>cost(200); // 传入了参数,不真正求值<br>cost(300); // 传入了参数,不真正求值<br><br>console.log(cost()); // 求值并且输出600<br></span>

上述函数是我之前的JavaScript设计模式与开发实践读书笔记之闭包与高阶函数所写的currying版本,现在仔细思考后发现仍旧有一些问题。

我们在使用柯里化时,要注意同时为函数预传的参数的情况。

因此把上述柯里化函数更改如下:

<span style="font-size: 16px;">var currying = function(fn) {<br>  var args = Array.prototype.slice.call(arguments, 1);<br><br>  return function() {<br>    if (arguments.length === 0) {<br>      return fn.apply(this, args); // 没传参数时,调用这个函数<br>    } else {<br>      [].push.apply(args, arguments); // 传入了参数,把参数保存下来<br>      return arguments.callee; // 返回这个函数的引用<br>    }<br>  }<br>}<br></span>

使用实例:

<span style="font-size: 16px;">var cost = (function() {<br>  var money = 0;<br>  return function() {<br>    for (var i = 0; i < arguments.length; i++) {<br>      money += arguments[i];<br>    }<br>    return money;<br>  }<br>})();<br><br>var cost = currying(cost, 100);<br>cost(200); // 传入了参数,不真正求值<br>cost(300); // 传入了参数,不真正求值<br><br>console.log(cost()); // 求值并且输出600<br></span>

你可能会觉得每次都要在最后调用一下不带参数的cost()函数比较麻烦,并且在cost()函数都要使用arguments参数不符合你的预期。我们知道函数都有一个length属性,表明函数期望接受的参数个数。因此我们可以充分利用预传参数的这个特点。

借鉴自mqyqingfeng:

<span style="font-size: 16px;">function sub_curry(fn) {<br>  var args = [].slice.call(arguments, 1);<br>  return function() {<br>    return fn.apply(this, args.concat([].slice.call(arguments)));<br>  };<br>}<br><br>function curry(fn, length) {<br><br>  length = length || fn.length;<br><br>  var slice = Array.prototype.slice;<br><br>  return function() {<br>    if (arguments.length < length) {<br>      var combined = [fn].concat(slice.call(arguments));<br>      return curry(sub_curry.apply(this, combined), length - arguments.length);<br>    } else {<br>      return fn.apply(this, arguments);<br>    }<br>  };<br>}<br></span>

在上述函数中,我们在currying的返回函数中,每次把arguments.length和fn.length作比较,一旦arguments.length达到了fn.length的数量,我们就去调用fn(return fn.apply(this, arguments);)

验证:

<span style="font-size: 16px;">var fn = curry(function(a, b, c) {<br>  return [a, b, c];<br>});<br><br>fn("a", "b", "c") // ["a", "b", "c"]<br>fn("a", "b")("c") // ["a", "b", "c"]<br>fn("a")("b")("c") // ["a", "b", "c"]<br>fn("a")("b", "c") // ["a", "b", "c"]<br></span>

bind方法的实现

使用柯里化,能够很方便地借用call()或者apply()实现bind()方法的polyfill。

<span style="font-size: 16px;">Function.prototype.bind = Function.prototype.bind || function(context) {<br>  var me = this;<br>  var args = Array.prototype.slice.call(arguments, 1);<br>  return function() {<br>    var innerArgs = Array.prototype.slice.call(arguments);<br>    var finalArgs = args.concat(innerArgs);<br>    return me.apply(contenxt, finalArgs);<br>  }<br>}<br></span>

上述函数有的问题在于不能兼容构造函数。我们通过判断this指向的对象的原型属性,来判断这个函数是否通过new作为构造函数调用,来使得上述bind方法兼容构造函数。

Function.prototype.bind() by MDN如下说到:

绑定函数适用于用new操作符 new 去构造一个由目标函数创建的新的实例。当一个绑定函数是用来构建一个值的,原来提供的 this 就会被忽略。然而, 原先提供的那些参数仍然会被前置到构造函数调用的前面。

这是基于MVC的JavaScript Web富应用开发的bind()方法实现:

<span style="font-size: 16px;">Function.prototype.bind = function(oThis) {<br>  if (typeof this !== "function") {<br>    throw new TypeError("Function.prototype.bind - what is trying to be bound is not callable");<br>  }<br><br>  var aArgs = Array.prototype.slice.call(arguments, 1),<br>    fToBind = this,<br>    fNOP = function() {},<br>    fBound = function() {<br>      return fToBind.apply(<br>        this instanceof fNOP && oThis ? this : oThis || window,<br>        aArgs.concat(Array.prototype.slice.call(arguments))<br>      );<br>    };<br><br>  fNOP.prototype = this.prototype;<br>  fBound.prototype = new fNOP();<br><br>  return fBound;<br>};<br></span>

反柯里化(uncurrying)

可能遇到这种情况:拿到一个柯里化后的函数,却想要它柯里化之前的版本,这本质上就是想将类似f(1)(2)(3)的函数变回类似g(1,2,3)的函数。

下面是简单的uncurrying的实现方式:

<span style="font-size: 16px;">function uncurrying(fn) {<br>  return function(...args) {<br>    var ret = fn;<br><br>    for (let i = 0; i < args.length; i++) {<br>      ret = ret(args[i]); // 反复调用currying版本的函数<br>    }<br><br>    return ret; // 返回结果<br>  };<br>}<br></span>

注意,不要以为uncurrying后的函数和currying之前的函数一模一样,它们只是行为类似!

<span style="font-size: 16px;">var currying = function(fn) {<br>  var args = Array.prototype.slice.call(arguments, 1);<br><br>  return function() {<br>    if (arguments.length === 0) {<br>      return fn.apply(this, args); // 没传参数时,调用这个函数<br>    } else {<br>      [].push.apply(args, arguments); // 传入了参数,把参数保存下来<br>      return arguments.callee; // 返回这个函数的引用<br>    }<br>  }<br>}<br><br>function uncurrying(fn) {<br>  return function(...args) {<br>    var ret = fn;<br><br>    for (let i = 0; i < args.length; i++) {<br>      ret = ret(args[i]); // 反复调用currying版本的函数<br>    }<br><br>    return ret; // 返回结果<br>  };<br>}<br><br>var cost = (function() {<br>  var money = 0;<br>  return function() {<br>    for (var i = 0; i < arguments.length; i++) {<br>      money += arguments[i];<br>    }<br>    return money;<br>  }<br>})();<br><br>var curryingCost = currying(cost);<br>var uncurryingCost = uncurrying(curryingCost);<br>console.log(uncurryingCost(100, 200, 300)()); // 600<br></span>

柯里化或偏函数有什么用?

无论是柯里化还是偏应用,我们都能进行部分传值,而传统函数调用则需要预先确定所有实参。如果你在代码某一处只获取了部分实参,然后在另一处确定另一部分实参,这个时候柯里化和偏应用就能派上用场。

另一个最能体现柯里化应用的的是,当函数只有一个形参时,我们能够比较容易地组合它们(单一职责原则(Single responsibility principle))。因此,如果一个函数最终需要三个实参,那么它被柯里化以后会变成需要三次调用,每次调用需要一个实参的函数。当我们组合函数时,这种单元函数的形式会让我们处理起来更简单。

归纳下来,主要为以下常见的三个用途:

  • 延迟计算

  • 参数复用

  • Dynamische Generierungsfunktion

Das Obige ist das JavaScript Funktions-Currying-Erklärung, ich hoffe, sie wird für alle hilfreich sein.

Verwandte Empfehlungen:

Detaillierte Erklärung von js-Currying-Beispielen

De-Currying in JS

Detaillierte Erklärung des JavaScript-Funktions-Currying

Das obige ist der detaillierte Inhalt vonCurrying der JavaScript-Funktion. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Stellungnahme:
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn