函數(shù)式編程(FP)
一種編程范式, 類(lèi)似于面向?qū)ο缶幊毯兔嫦蜻^(guò)程編程。
一 基本的函數(shù)式編程
- 基本的函數(shù)式編程
- 純函數(shù)(Pure functions)
- 函數(shù)復(fù)合(Function composition)
- 避免共享狀態(tài)(Avoid shared state)
- 函數(shù)柯里化
- 高階函數(shù)
- 對(duì)比聲明式與命令式
- 避免改變狀態(tài)(Avoid mutating state)
- 避免副作用(Avoid side effects)
二 應(yīng)用
- 高階函數(shù)的應(yīng)用
- 函數(shù)式編程程的應(yīng)用
一 基本的函數(shù)式編程
// 數(shù)組中每個(gè)單詞,首字母大寫(xiě)
// 一般寫(xiě)法
const arr = ['apple', 'pen', 'apple-pen'];
for(const i in arr){
const c = arr[i][0];
arr[i] = c.toUpperCase() + arr[i].slice(1);
}
console.log(arr);
// 函數(shù)式寫(xiě)法一
function upperFirst(word) {
return word[0].toUpperCase() + word.slice(1);
}
function wordToUpperCase(arr) {
return arr.map(upperFirst);
}
console.log(wordToUpperCase(['apple', 'pen', 'apple-pen']));
// 函數(shù)式寫(xiě)法二
console.log(arr.map(['apple', 'pen', 'apple-pen'], word => word[0].toUpperCase() + word.slice(1)));
優(yōu)點(diǎn):
- 函數(shù)分裝組合調(diào)用 表意清晰 易于擴(kuò)展
- 利用高階函數(shù)
map,減小中間變量
==>>>>盡量使函數(shù)符合純函數(shù)的標(biāo)準(zhǔn)
純函數(shù)
兩個(gè)特性:
- 沒(méi)有任何副作用。 函數(shù)不會(huì)更改函數(shù)以外的任何變量或任何類(lèi)型的數(shù)據(jù)。
- 具有一致性。 在提供同一組輸入數(shù)據(jù)的情況下,它將始終返回相同的輸出值。
不依賴(lài)外界變量
var a = 5;
function A(b) {
return a + b; //讀取全局變量,a很容易被改變
}
A(5);
const a = 5;
function A(b) {
return a + b; //依賴(lài)外部變量,不純
}
A(5);
不產(chǎn)生副作用
const a = 1
const foo = (obj, b) => {
obj.x = 2 // 對(duì)外部counter產(chǎn)生了影響
return obj.x + b
}
const counter = { x: 1 }
foo(counter, 2) // => 4
counter.x // => 2
避免共享狀態(tài)
共享狀態(tài) 的意思是任意變量、對(duì)象或者內(nèi)存空間存在于共享作用域下,或者作為對(duì)象的屬性在各個(gè)作用域之間被傳遞。
在OOP中,對(duì)象以添加屬性到其他對(duì)象上的方式在作用域之間共享。
FP 依賴(lài)于不可變數(shù)據(jù)結(jié)構(gòu)和純粹的計(jì)算過(guò)程來(lái)從已存在的數(shù)據(jù)中出新的數(shù)據(jù)。
const x = {
val: 2
};
const x1 = () => x.val += 1;
const x2 = () => x.val *= 2;
x1(); // -> 3
x2(); // -> 6
下面的代碼和上面的一樣,除了函數(shù)的調(diào)用順序
const x = {
val: 2
};
const x1 = () => x.val += 1;
const x2 = () => x.val *= 2;
x2(); // -> 4
x1(); // -> 5
如果避免共享狀態(tài),就不會(huì)改變函數(shù)內(nèi)容,或者改變函數(shù)調(diào)用的時(shí)序不會(huì)波及和破壞程序的其他部分:
const x = {
val: 2
};
const x1 = x => Object.assign({}, x, { val: x.val + 1});
const x2 = x => Object.assign({}, x, { val: x.val * 2});
x1(x); // -> 3
x2(x); // -> 4
/**
x2(x); // -> 4
x1(x); // -> 3
*/
在上面的例子里,我們使用了 Object.assign() 并傳入一個(gè)空的 object 作為第一個(gè)參數(shù)來(lái)拷貝 x 的屬性,以防止 x 在函數(shù)內(nèi)部被改變。(淺深拷貝)
我們?nèi)绻涣私夂瘮?shù)使用或操作的每個(gè)變量的完整歷史,就不可能完全理解它做了什么。 (純函數(shù))
函數(shù)柯里化
把接受多個(gè)參數(shù)的函數(shù)變換成接受一個(gè)單一參數(shù)(最初函數(shù)的第一個(gè)參數(shù))的函數(shù),并且返回接受余下參數(shù)且返回結(jié)果的新函數(shù)
概念摘要
即: 傳入一個(gè)(或很少量的)參數(shù)調(diào)用父函數(shù),父函數(shù)返回一個(gè)可接受多個(gè)參數(shù)的子函數(shù)。
const add = (x) => {
return (y, z) => {
return x + y + z
}
}
let increase = add(1);
console.log(increase(2, 3)); // 6
函數(shù)式編程+柯里化,將提取成柯里化的函數(shù)部分配置好之后,可作為參數(shù)傳入,簡(jiǎn)化操作流程。
// 給list中每個(gè)元素先加1,再加5,再減1
let list = [1, 2, 3, 4, 5];
//正常做法
let list1 = list.map((value) => {
return value + 1;
});
let list2 = list1.map((value) => {
return value + 5;
});
let list3 = list2.map((value) => {
return value - 1;
});
console.log(list3); // [6, 7, 8, 9, 10]
// 柯里化
const changeList = (num) => {
return (data) => {
return data + num
}
};
let list1 = list.map(changeList(1)).map(changeList(5)).map(changeList(-1));
console.log(list1); // [6, 7, 8, 9, 10]
高階函數(shù)
接受或者返回一個(gè)函數(shù)的函數(shù)稱(chēng)為高階函數(shù)
許多原生的高階函數(shù),例如 Array.map , Array.reduce , Array.filter
以map為例
// 數(shù)組中每一項(xiàng)加一,組成一個(gè)新數(shù)組
// 一般寫(xiě)法
const arr = [1,2,3];
const rs = [];
for(const n of arr){
rs.push(++n);
}
console.log(rs)
// map改寫(xiě)
const arr = [1,2,3];
const rs = arr.map(n => ++n);
易讀
對(duì)比聲明式與命令式
函數(shù)式編程關(guān)注的是:describe what to do, rather than how to do it. 于是,我們把以前的過(guò)程式的編程范式叫做 Imperative Programming – 指令式編程,而把函數(shù)式的這種范式叫做 Declarative Programming – 聲明式編程。
命令式 代碼中頻繁使用語(yǔ)句。
聲明式 代碼更多依賴(lài)表達(dá)式。
總結(jié):函數(shù)式編程的幾個(gè)要點(diǎn)
- 把函數(shù)當(dāng)成變量來(lái)用,關(guān)注于描述問(wèn)題而不是怎么實(shí)現(xiàn)
- 函數(shù)之間沒(méi)有共享的變量
- 函數(shù)間通過(guò)參數(shù)和返回值來(lái)傳遞數(shù)據(jù)
- 在函數(shù)里沒(méi)有臨時(shí)變量
函數(shù)式編程的準(zhǔn)則:不依賴(lài)于外部的數(shù)據(jù),而且也不改變外部數(shù)據(jù)的值,而是返回一個(gè)新的值給你。
二 函數(shù)式編程的應(yīng)用
FP 或 OOP 混用 并非一定要 OOP
函數(shù)節(jié)流(高階函數(shù)的使用)
函數(shù)頻繁調(diào)用的場(chǎng)景歸納:
- window.onresize事件
當(dāng)調(diào)整瀏覽器窗口大小時(shí),這個(gè)事件會(huì)被頻繁出發(fā),而在這個(gè)時(shí)間函數(shù)中的dom操縱也會(huì)很頻繁,這樣就會(huì)造成瀏覽器卡頓現(xiàn)象。 - mousemove事件
當(dāng)被綁定該事件的dom對(duì)象被拖動(dòng)時(shí),該事件會(huì)被頻繁觸發(fā)。
所以,函數(shù)節(jié)流的原理就是在不影響使用效果的情況下降低函數(shù)的觸發(fā)頻率。
var throttle = function ( fn, interval ) {
var __self = fn, // 保存需要被延遲執(zhí)行的函數(shù)引用
timer, // 定時(shí)器
firstTime = true; // 是否是第一次調(diào)用
return function () {
var args = arguments,
__me = this;
// 如果是第一次調(diào)用,不需延遲執(zhí)行
if ( firstTime ) {
__self.apply(__me, args);
return firstTime = false;
}
// 如果定時(shí)器還在,說(shuō)明前一次延遲執(zhí)行還沒(méi)有完成
if ( timer ) {
return false;
}
// 延遲一段時(shí)間執(zhí)行
timer = setTimeout(function () {
clearTimeout(timer);
timer = null;
__self.apply(__me, args);
}, interval || 500 );
};
};
window.onresize = throttle(function(){
console.log(1);
}, 500 );
分時(shí)函數(shù)
防止批量添加dom元素時(shí)出現(xiàn)瀏覽器卡頓或假死的情況
// 創(chuàng)建一個(gè)數(shù)組,用來(lái)存儲(chǔ)添加到dom的數(shù)據(jù)
var dataList = [];
// 模擬生成500個(gè)數(shù)據(jù)
for (var i = 1; i <= 500; i++) {
dataList.push(i);
}
// 渲染數(shù)據(jù)
var renderData = timeShareRender(dataList, function(data) {
var oDiv = document.createElement('div');
oDiv.innerHTML = data;
document.body.appendChild(oDiv);
}, 6);
// 分時(shí)間段將數(shù)據(jù)渲染到頁(yè)面
function timeShareRender(data, fn, num) {
var cur, timer;
var renderData = function() {
for(var i = 0; i < Math.min(count, data.length); i++) {
cur = data.shift();
fn(cur)
}
};
return function() {
timer = setInterval(function(){
if(data.length === 0) {
return clearInterval(timer)
}
renderData()
}, 200);
}
}
// 將數(shù)據(jù)渲染到頁(yè)面
renderData();
結(jié)論
函數(shù)式編程偏好:
- 使用表達(dá)式替代語(yǔ)句
- 讓可變數(shù)據(jù)成為不可變的
- 用函數(shù)復(fù)合替代命令控制流
- 使用聲明式而不是命令式代碼
- 使用純函數(shù)而不是使用共享狀態(tài)和副作用
- 使用高階函數(shù)來(lái)操作許多數(shù)據(jù)類(lèi)型,創(chuàng)建通用、可復(fù)用功能取代只是操作集中的數(shù)據(jù)的方法