return f.call(this, g.apply(this, arguments));
};
}
var square = function(x) { return x*x; };
var sum = function(x,y) { return x+y; };
var squareofsum = compose(square, sum);
squareofsum(2,3) // => 25
Функции partial()
и memoize(),
которые определяются в следующем разделе, представляют собой еще две важные функции высшего порядка.
8.8.3. Частичное применение функций
Метод bind()
функции f (раздел 8.7.4) возвращает новую функцию, которая вызывает f в указанном контексте и с заданным набором аргументов. Можно сказать, что он связывает функцию с объектом контекста и частично применяет аргументы. Метод bind()
применяет аргументы слева, т.е. аргументы, которые передаются методу bind(),
помещаются в начало списка аргументов, передаваемых оригинальной функции. Однако есть возможность частичного применения аргументов справа:
// Вспомогательная функция преобразования объекта (или его части),
// подобного массиву, в настоящий массив. Используется ниже
// для преобразования объекта arguments в настоящий массив,
function array(a, n) { return Array.prototype.slice.call(a, n || 0); }
// Аргументы этой функции помещаются в начало списка
function partialLeft(f /*, ...*/) {
var args = arguments; // Сохранить внешний массив аргументов
return function() { // И вернуть эту функцию
var а = array(args, 1); // Начиная с элемента 1 во внеш. масс,
а = a.concat(array(arguments)); // Добавить внутренний массив аргум.
return f.apply(this, а); // Вызвать f с этим списком аргументов
};
}
// Аргументы этой функции помещаются в конец списка
function partialRight(f /*, ...*/) {
var args = arguments; // Сохранить внешний массив аргументов
return function() { // И вернуть эту функцию
var а = array(arguments); // Начинать с внутр. масс, аргументов
а = a.concat(array(args,1)); // Добавить внешние арг., начиная с 1.
return f.apply(this, а); // Вызвать f с этим списком аргументов
};
}
// Аргументы этой функции играют роль шаблона. Неопределенные значения
// в списке аргументов заполняются значениями из внутреннего набора,
function partial(f /*, ... */) {
var args = arguments; // Сохранить внешний массив аргументов
return function() {
var a = array(args, 1); // Начинать с внешнего массива аргументов
var i=0, j=0;
// Цикл по этим аргументам, заменить значения undefined значениями
// из внутреннего списка аргументов
for(; і < a.length; i++)
if (a[i] === undefined) a[i] = arguments[j++];
// Добавить оставшиеся внутренние аргументы в конец списка
а = a.concat(array(arguments, j))
return f.apply(this, a);
};
}
// Ниже приводится функция, принимающая три аргумента
var f = function(x,y,z) { return x * (у - z); };
// Обратите внимание на отличия между следующими тремя частичными применениями
partialLeft(f, 2)(3,4) // => -2: Свяжет первый аргумент: 2 * (3 - 4)
partialRight(f, 2)(3,4) // => 6: Свяжет последний аргумент: 3 * (4 - 2)
partial(f, undefined, 2)(3,4) // => -6: Свяжет средний аргумент: 3 * (2 - 4)
Эти функции частичного применения позволяют легко объявлять новые функции на основе уже имеющихся функций. Например:
var increment = partialLeft(sum, 1);
var cuberoot = partialRight(Math.pow, 1/3);
String.prototype.first = partial(String.prototype.charAt, 0);
String.prototype.last = partial(String.prototype.substr, -1, 1);
Прием частичного применения становится еще более интересным, когда он используется в комбинации с функциями высшего порядка. Например, ниже демонстрируется еще один способ определения функции not()
, представленной выше, за счет совместного использования приемов композиции и частичного применения: