函数式编程
与面向对象编程(Object-oriented programming)和过程式编程(Procedural programming)并列的编程范式。
最主要的特征是,函数是第一等公民。
强调将计算过程分解成可复用的函数,典型例子就是map方法和reduce方法组合而成 MapReduce 算法。
只有纯的、没有副作用的函数,才是合格的函数。
为什么函数式编程要求函数必须是纯的,不能有副作用?因为它是一种数学运算,原始目的就是求值,不做其他事情,否则就无法满足函数运算法则了。
总之,在函数式编程中,函数就是一个管道(pipe)。这头进去一个值,那头就会出来一个新的值,没有其他作用。
函数式编程有两个最基本的运算:合成和柯里化。
合成
如果一个值要经过多个函数,才能变成另外一个值,就可以把所有中间步骤合并成一个函数,这叫做"函数的合成"(compose)。
const compose = function (f,g) {
return function(x) {
return f(g(x));
};
}
有一个函数,接收函数F作为参数,运行后能够返回一个新的函数。并且这个新的函数能够处理函数F的剩余参数。
f(x)和g(x)合成为f(g(x)),有一个隐藏的前提,就是f和g都只能接受一个参数。如果可以接受多个参数,比如f(x, y)和g(a, b, c),函数合成就非常麻烦。
这时就需要函数柯里化了。所谓"柯里化",就是把一个多参数的函数,转化为单参数函数,并且返回接受余下的参数而且返回结果的新函数的技术。
function add(a,b,c) {
return a+b+c;
}
经过柯理化后的结果:每次只需要传入一个参数了
function _add(a) {
return function(b) {
return function(c) {
return a + b + c;
}
}
}
以上代码可以使得add(1,2,3)与_add(1)(2)(3)变得等价。但在传参方面,变为可以分多步传参。
柯理化的通用范式
当然,靠眼力封装的柯里化函数自由度偏低,柯里化通用式具备更加强大的能力。因此我们需要知道如何去封装这样一个柯里化的通用式。
// 简单实现,参数只能从右到左传递
function createCurry(func, args) { // func需要处理的函数, args是func函数的部分参数
var funLen = func.length; // 原始函数的参数的长度
var args = args || []; // 后续的参数们
return function() { // 这里的arguments
// 改arguments为数组( [].slice.call() 常用来将类数组转化为真正的数组 )
var _args = [].slice.call(arguments); // 这里的_args为: []
[].push.apply(_args, args); // 等价于_args.push(...args), [].push.apply是为了防止报错
// [].push.apply: https://blog.csdn.net/qq_29055201/article/details/84972285
// 如果参数个数小于最初的func.length,则递归调用,继续收集参数
if (_args.length < funLen) { // 当前参数个数不全
return createCurry.call(this, func, _args);
// xxx.call(this)使用func对象代替this对象,返回一个柯理化函数等待下次参数补全
}
// 参数收集完毕,则执行func
return func.apply(this, _args);
}
}
柯理化的案例:
function check(targetString, reg) { // 这是一个返回正则的函数
return reg.test(targetString);
}
var _check = createCurry(check); // 返回一个柯理化后的函数,可以后续传参生成函数;
var checkPhone = _check(/^1[34578]\d{9}$/);
var checkEmail = _check(/^(\w)+(\.\w+)*@(\w)+((\.\w+)+)$/);
checkPhone('183888888'); // 很好用
checkEmail('xxxxx@test.com');
继续来思考一个例子。这个例子与map有关。在高阶函数的章节中,我们分析了封装map方法的思考过程。由于我们没有办法确认一个数组在遍历时会执行什么操作,因此我们只能将调用for循环的这个统一逻辑封装起来,而具体的操作则通过参数传入的形式让使用者自定义。这就是map函数。
参考链接:
网友评论