翻譯連載 | JavaScript 輕量級函數語言程式設計-第2章:函式基礎 |《你不知道的JS》姊妹篇

iKcamp發表於2017-08-24

關於譯者:這是一個流淌著滬江血液的純粹工程:認真,是 HTML 最堅實的樑柱;分享,是 CSS 裡最閃耀的一瞥;總結,是 JavaScript 中最嚴謹的邏輯。經過捶打磨練,成就了本書的中文版。本書包含了函數語言程式設計之精髓,希望可以幫助大家在學習函數語言程式設計的道路上走的更順暢。比心。

譯者團隊(排名不分先後):阿希bluekenbrucechamcfanlifedailkyoko-dfl3velilinsLittlePineappleMatildaJin冬青pobusamaCherry蘿蔔vavd317vivaxy萌萌zhouyao

第 2 章:函式基礎

函數語言程式設計不是僅僅用 function 這個關鍵詞來程式設計。如果真這麼簡單,那我這本書可以到此為止了!重點在於:函式函數語言程式設計的核心。這也是如何使用函式(function)才能使我們的程式碼具有函式式(functional)的方法。

然而,你真的明白函式的含義嗎?

在這一章,我們將會介紹函式的基礎知識,為閱讀本書的後續章節打下基礎。從某些方面來講,這章回顧的函式知識並不是針對函數語言程式設計者,非函數語言程式設計者同樣需要了解。但如果我們想要充分、全面地學習函數語言程式設計的概念,我們需要從裡到外地理解函式。

請做好準備,因為還有好多你未知的函式知識。

什麼是函式?

針對函數語言程式設計,很自然而然的我會想到從函式開始。這太明顯不過了,但是我認為我們需要紮實地走好旅程的第一步。

所以......什麼是函式?

簡要的數學回顧

我知道我曾說過,離數學越遠越好,但是讓我們暫且忍一小段時間,在這段時間裡,我們會盡快地回顧在代數中一些函式和影像的基本知識。

你還記得你在學校裡學習任何有關 f(x) 的知識嗎?還有方程 y = f(x) ?

現有方程式定義如下:f(x) = 2x2 + 3。這個方程有什麼意義?它對應的影像是什麼樣的呢?如下圖:

翻譯連載 | JavaScript 輕量級函數語言程式設計-第2章:函式基礎 |《你不知道的JS》姊妹篇

你可以注意到:對於 x 取任意值,例如 2,帶入方程後會得到 11。這裡的 11 代表函式的返回值,更簡單來說就是 y 值。

根據上述,現在有一個點 (2,11) 在影像的曲線上,並且當我們有一個 x 值,我們都能獲得一個對應的 y 值。把兩個值組合就能得到一個點的座標,例如 (0,3)(-1,5)。當把所有的這些點放在一起,就會獲得這個拋物線方程的影像,如上圖所示。

所以,這些和函數語言程式設計有什麼關係?

在數學中,函式總是獲取一些輸入值,然後給出一個輸出值。你能聽到一個函數語言程式設計的術語叫做“態射”:這是一個優雅的方式來描述一組值和另一組值的對映關係,就像一個函式的輸入值與輸出值之間的關聯關係。

在代數數學中,那些輸入值和輸出值經常代表著繪製座標的一部分。不過,在我們的程式中,我們可以定義函式有各種的輸入和輸出值,並且它們不需要和繪製在圖表上的曲線有任何關係。

函式 vs 程式

為什麼所有的討論都圍繞數學和影像?因為在某種程度上,函數語言程式設計就是使用在數學意義上的方程作為函式

你可能會習以為常地認為函式就是程式。它們之間的區別是什麼?程式就是一個任意的功能集合。它或許有許多個輸入值,或許沒有。它或許有一個輸出值( return 值),或許沒有。

而函式則是接收輸入值,並明確地 return 值。

如果你計劃使用函數語言程式設計,你應該儘可能多地使用函式,而不是程式。你所有編寫的 function 應該接收輸入值,並且返回輸出值。這麼做的原因是多方面的,我們將會在後面的書中來介紹的。

函式輸入

從上述的定義出發,所有的函式都需要輸入。

你有時聽人們把函式的輸入值稱為 “arguments” 或者 “parameters” 。所以它到底是什麼?

arguments 是你輸入的值(實參), parameters 是函式中的命名變數(形參),用於接收函式的輸入值。例子如下:

function foo(x,y) {
	// ..
}

var a = 3;

foo( a, a * 2 );
複製程式碼

aa * 2(即為 6)是函式 foo(..) 呼叫的 argumentsxyparameters,用於接收引數值(分別為 36 )。

注意: 在 JavaScript 中,實參的個數沒必要完全符合形參的個數。如果你傳入許多個實參,而且多過你所宣告的形參,這些值仍然會原封不動地被傳入。你可以通過不同的方式去訪問,包含了你以前可能聽過的老辦法 —— arguments 物件。反之,你傳入少於宣告形參個數的實參,所有缺少的引數將會被賦予 undefined 變數,意味著你仍然可以在函式作用域中使用它,但值是 undefined

輸入計數

一個函式所“期望”的實參個數是取決於已宣告的形參個數,即你希望傳入多少引數。

function foo(x,y,z) {
	// ..
}
複製程式碼

foo(..) 期望三個實參,因為它宣告瞭三個形參。這裡有一個特殊的術語:Arity。Arity 指的是一個函式宣告的形引數量。 foo(..) 的 Arity 是 3

你可能需要在程式執行時獲取函式的 Arity,使用函式的 length 屬性即可。

function foo(x,y,z) {
	// ..
}

foo.length;				// 3
複製程式碼

在執行時要確定 Arity 的一個原因是:一段程式碼接受一個函式的指標引用,有可能這個引用指向不同來源,我們要根據這些來源的 Arity 傳入不同的引數值。

舉個例子,如果 fn 可能指向的函式分別期望 1、2 或 3 個引數,但你只希望把變數 x 放在最後的位置傳入:

// fn 是一些函式的引用
// x 是存在的值

if (fn.length == 1) {
	fn( x );
}
else if (fn.length == 2) {
	fn( undefined, x );
}
else if (fn.length == 3) {
	fn( undefined, undefined, x );
}
複製程式碼

提示: 函式的 length 屬性是一個只讀屬性,並且它是在最初宣告函式的時候就被確定了。它應該當做用來描述如何使用該函式的一個基本後設資料。

需要注意的是,某些引數列表的變數會讓 length 屬性變得不同於你的預期。別緊張,我們將會在後續的章節逐一解釋這些特性(引入 ES6):

function foo(x,y = 2) {
	// ..
}

function bar(x,...args) {
	// ..
}

function baz( {a,b} ) {
	// ..
}

foo.length;				// 1
bar.length;				// 1
baz.length;				// 1
複製程式碼

如果你使用這些形式的引數,你或許會被函式的 length 值嚇一跳。

那我們怎麼得到當前函式呼叫時所接收到的實參個數呢?這在以前非常簡單,但現在情況稍微複雜了一些。每一個函式都有一個 arguments 物件(類陣列)存放需要傳入的引數。你可以通過 argumentslength 值來找出有多少傳入的引數:

function foo(x,y,z) {
	console.log( arguments.length );	// 2
}

foo( 3, 4 );
複製程式碼

由於 ES5(特別是嚴格模式下)的 arguments 不被一些人認同,很多人儘可能地避免使用。儘管如此,它永遠不會被移除,這是因為在 JS 中我們“永遠不會”因為便利性而去犧牲向後的相容性,但我還是強烈建議不要去使用它。

然而,當你需要知道引數個數的時候,arguments.length 還是可以用的。在未來版本的 JS 或許會新增特性來替代 arguments.length,如果成真,那麼我們可以完全把 arguments 拋諸腦後。

請注意:不要通過 arguments[1] 訪問引數的位置。只要記住 arguments.length

除此之外,你或許想知道如何訪問那些超出宣告的引數?這個問題我一會兒會告訴你,不過你先要問自己的問題是,“為什麼我想要知道這個?”。認真地思考一段時間。

發生這種情況應該是非常罕見的。因為這不會是你日常需要的,也不會是你編寫函式時所必要的東西。如果這種情況真的發生,你應該花 20 分鐘來試著重新設計函式,或者命名那些多出來的引數。

帶有可變數量引數的函式被稱為 variadic。有些人更喜歡這樣的函式設計,不過你會發現,這正是函數語言程式設計者想要避免的。

好了,上面的重點已經講得夠多了。

例如,當你需要像陣列那樣訪問引數,很有可能的原因是你想要獲取的引數沒有在一個規範的位置。我們如何處理?

ES6 救星來了!讓我們用 ... 操作符宣告我們的函式,也被當做 “spread”、“rest” 或者 “gather” (我比較偏愛)提及。

function foo(x,y,z,...args) {
	// ..
}
複製程式碼

看到引數列表中的 ...args 了嗎?那就是 ES6 用來告訴解析引擎獲取所有剩餘的未命名引數,並把它們放在一個真實的命名為 args 的陣列。args 無論是不是空的,它永遠是一個陣列。但它不包含已經命名的 xyz 引數,只會包含超出前三個值的傳入引數。

function foo(x,y,z,...args) {
	console.log( x, y, z, args );
}

foo();					// undefined undefined undefined []
foo( 1, 2, 3 );			// 1 2 3 []
foo( 1, 2, 3, 4 );		// 1 2 3 [ 4 ]
foo( 1, 2, 3, 4, 5 );	// 1 2 3 [ 4, 5 ]
複製程式碼

所以,如果你誠心想要設計一個函式,並且計算出任意傳入引數的個數,那就在最後用 ...args (或任何你喜歡的名稱)。現在你有一個真正的、好用的陣列來獲取這些引數值了。

你需要注意的是: 4 所在的位置是 args 的第 0 個,不是在第 3 個位置。它的 length 值也不包含 123...args 剩下所有的值, 但不包括 xyz

甚至可以直接在引數列中使用 ... 操作符,沒有其他正式宣告的引數也沒關係:

function foo(...args) {
	// ..
}
複製程式碼

現在 args 是一個由引數組成的完整陣列,你可以盡情使用 args.length 來獲取傳入的引數。你也可以安全地使用 args[1] 或者 args[317]。當然,別真的傳 318 個引數!

說到 ES6 的好,你肯定想知道一些小祕訣。在這裡將會介紹一些,更多的內容推薦你閱讀《You Don't Know JS: ES6 & Beyond》這本書的第 2 章。

關於實參的小技巧

如果你希望呼叫函式的時候只傳一個陣列代替之前的多個引數,該怎麼辦?

function foo(...args) {
	console.log( args[3] );
}

var arr = [ 1, 2, 3, 4, 5 ];

foo( ...arr );						// 4
複製程式碼

我們的新朋友 ... 在這裡被使用到了,但不僅僅在形參列表,在函式呼叫的時候,同樣使用在實參列表。在這裡的情況有所不同:在形參列表,它把實參整合。在實參列表,它把實參展開。所以 arr 的內容是以函式 foo(..) 引用的單獨引數進行展開。你能理解傳入一個引用值和傳入整個 arr 陣列兩者之間的不同了嗎?

順帶一提,多個值和 ... 是可以相互交錯放置的,如下:

var arr = [ 2 ];

foo( 1, ...arr, 3, ...[4,5] );		// 4
複製程式碼

在對稱的意義上來考慮 ... :在值列表的情況,它會展開。在賦值的情況,它就像形參列表一樣,因為實參會賦值到形參上。

無論採取什麼行為, ... 都會讓實引數組更容易操作。那些我們使用實引數組 slice(..)concat(..)apply(..) 的日子已經過去了。

關於形參的小技巧

在 ES6 中,形參可以宣告預設值。當形參沒有傳入到實參中,或者傳入值是 undefined,會進行預設賦值的操作。

思考下面程式碼:

function foo(x = 3) {
	console.log( x );
}

foo();					// 3
foo( undefined );		// 3
foo( null );			// null
foo( 0 );				// 0
複製程式碼

注意: 我們不會更加詳細地解釋了,但是預設值表示式是惰性的,這意味著僅當需要的時候,它才會被計算。它同樣也可以是一些有效的 JS 表示式,甚至一個函式引用。許多非常酷的小技巧用到了這個方法。例如,你可以這樣在你的引數列宣告 x = required(),並且在函式 required()丟擲 "This argument is required." 來確信總有人用你指定的實參或形參來引用你的函式。

另一個我們可以在引數中使用的 ES6 技巧,被稱為“解構”。在這裡我們只會簡單一提,因為要說清這個話題實在太過繁雜。在這裡推薦《ES6 & Beyond》這本書瞭解更多資訊。

還記得我們之前提到的可以接受 318 個引數的 foo(..) 嗎?

function foo(...args) {
	// ..
}

foo( ...[1,2,3] );
複製程式碼

如果我們想要把函式內的引數從一個個單獨的引數值替換為一個陣列,應該怎麼做?這裡有兩個 ... 的寫法:

function foo(args) {
	// ..
}

foo( [1,2,3] );
複製程式碼

這個非常簡單。但如果我們想要命名傳入陣列的第 1、2 個值,該怎麼做?我們不能用單獨傳入引數的辦法了,所以這似乎看起來無能為力。不過解構可以回答這個問題:

function foo( [x,y,...args] = [] ) {
	// ..
}

foo( [1,2,3] );
複製程式碼

你看到了在引數列出現的 [ .. ] 了嗎?這就是陣列解構。解構是通過你期望的模式來描述資料(物件,陣列等),並分配(賦值)值的一種方式。

在這裡例子中,解構告訴解析器,一個陣列應該出現的賦值位置(即引數)。這種模式是:拿出陣列中的第一個值,並且賦值給區域性引數變數 x,第二個賦值給 y,剩下的則組成 args

你可以通過自己手動處理達到同樣的效果:

function foo(params) {
	var x = params[0];
	var y = params[1];
	var args = params.slice( 2 );

	// ..
}
複製程式碼

現在我們可以發現,在我們這本書中要多次提到的第一條原則:宣告性程式碼通常比命令式程式碼更乾淨。

宣告式程式碼,如同之前程式碼片段裡的解構,強調一段程式碼的輸出結果。命令式程式碼,像剛才我們自己手動賦值的例子,注重的是如何得到結果。如果你稍晚再讀這一段程式碼,你必須在腦子裡面再執行一遍才能得到你想要的結果。這個結果是編寫在這兒,但是不是直接可見的。

只要可能,無論我們的語言和我們的庫或框架允許我們達到什麼程度,我們都應該儘可能使用宣告性的和自解釋的程式碼

正如我們可以解構的陣列,我們可以解構的物件引數:

function foo( {x,y} = {} ) {
	console.log( x, y );
}

foo( {
	y: 3
} );					// undefined 3
複製程式碼

我們傳入一個物件作為一個引數,它解構成兩個獨立的引數變數 xy,從傳入的物件中分配相應屬性名的值。我們不在意屬性值 x 到底存不存在物件上,如果不存在,它最終會如你所想被賦值為 undefined

但是我希望你注意:物件解構的部分引數是將要傳入 foo(..) 的物件。

現在有一個正常可用的呼叫現場 foo(undefined,3),它用於對映實參到形參。我們試著把 3 放到第二個位置,分配給 y。但是在新的呼叫現場上用到了引數解構,一個簡單的物件屬性代表了實參 3 應該分配給形參(y)。

我們不需要操心 x 應該放在哪個呼叫現場。因為事實上,我們不用去關心 x,我們只需要省略它,而不是分配 undefined 值。

有一些語言對這樣的操作有一個直接的特性:命名引數。換句話說,在呼叫現場,通過標記輸入值來告訴它對映關係。JavaScript 沒有命名引數,不過退而求其次,引數物件解構是一個選擇。

使用物件解構來傳入多個匿名引數是函數語言程式設計的優勢,這個優勢在於使用一個引數(物件)的函式能更容易接受另一個函式的單個輸出。這點會在後面討論到。

回想一下,術語 Arity 是指期望函式接收多少個引數。Arity 為 1 的函式也被稱為一元函式。在函數語言程式設計中,我們希望我們的函式在任何的情況下是一元的,有時我們甚至會使用各種技巧來將高 Arity 的函式都轉換為一元的形式。

注意: 在第 3 章,我們將重新討論命名引數的解構技巧,並使用它來處理關於引數排序的問題。

隨著輸入而變化的函式

思考以下函式

function foo(x,y) {
	if (typeof x == "number" && typeof y == "number") {
		return x * y;
	}
	else {
		return x + y;
	}
}
複製程式碼

明顯地,這個函式會根據你傳入的值而有所不同。

舉例:

foo( 3, 4 );			// 12

foo( "3", 4 );			// "34"
複製程式碼

程式設計師這樣定義函式的原因之一是,更容易通過同一個函式來過載不同的功能。最廣為人知的例子就是 jQuery 提供的 $(..)。"$" 函式大約有十幾種不同的功能 —— 從 DOM 元素查詢,到 DOM 元素建立,到等待 “DOMContentLoaded” 事件後,執行一個函式,這些都取決於你傳遞給它的引數。

上述函式,顯而易見的優勢是 API 變少了(僅僅是一個 $(..) 函式),但缺點體現在閱讀程式碼上,你必須仔細檢查傳遞的內容,理解一個函式呼叫將做什麼。

通過不同的輸入值讓一個函式過載擁有不同的行為的技巧叫做特定多型(ad hoc polymorphism)。

這種設計模式的另一個表現形式就是在不同的情況下,使函式具有不同的輸出(在下一章節會提到)。

警告: 要對方便的誘惑有警惕之心。因為你可以通過這種方式設計一個函式,即使可以立即使用,但這個設計的長期成本可能會讓你後悔。

函式輸出

在 JavaScript 中,函式只會返回一個值。下面的三個函式都有相同的 return 操作。

function foo() {}

function bar() {
	return;
}

function baz() {
	return undefined;
}
複製程式碼

如果你沒有 return 值,或者你使用 return;,那麼則會隱式地返回 undefined 值。

如果想要儘可能靠近函數語言程式設計的定義:使用函式而非程式,那麼我們的函式必須永遠有返回值。這也意味著他們必須明確地 return 一個值,通常這個值也不是 undefined

一個 return 的表示式僅能夠返回一個值。所以,如果你需要返回多個值,切實可行的辦法就是把你需要返回的值放到一個複合值當中去,例如陣列、物件:

function foo() {
	var retValue1 = 11;
	var retValue2 = 31;
	return [ retValue1, retValue2 ];
}
複製程式碼

解構方法可以使用於解構物件或者陣列型別的引數,也可以使用在平時的賦值當中:

function foo() {
	var retValue1 = 11;
	var retValue2 = 31;
	return [ retValue1, retValue2 ];
}

var [ x, y ] = foo();
console.log( x + y );			// 42
複製程式碼

將多個值集合成一個陣列(或物件)做為返回值,然後再解構回不同的值,這無形中讓一個函式能有多個輸出結果。

提示: 在這裡我十分建議你花一點時間來思考:是否需要避免函式有可重構的多個輸出?或許將這個函式分為兩個或更多個更小的單用途函式。有時會需要這麼做,有時可能不需要,但你應該至少考慮一下。

提前 return

return 語句不僅僅是從函式中返回一個值,它也是一個流量控制結構,它可以結束函式的執行。因此,具有多個 return 語句的函式具有多個可能的退出點,這意味著如果輸出的路徑很多,可能難以讀取並理解函式的輸出行為。

思考以下:

function foo(x) {
	if (x > 10) return x + 1;

	var y = x / 2;

	if (y > 3) {
		if (x % 2 == 0) return x;
	}

	if (y > 1) return y;

	return x;
}
複製程式碼

突擊測驗:不要作弊也不要在瀏覽器中執行這段程式碼,請思考 foo(2) 返回什麼? foo(4) 返回什麼? foo(8)foo(12) 呢?

你對自己的回答有多少信心?你付出多少精力來獲得答案?我錯了兩次後,我試圖仔細思考並且寫下來!

我認為在許多可讀性的問題上,是因為我們不僅使用 return 返回不同的值,更把它作為一個流控制結構——在某些情況下可以提前退出一個函式的執行。我們顯然有更好的方法來編寫流控制( if 邏輯等),也有辦法使輸出路徑更加明顯。

注意: 突擊測驗的答案是:22813

思考以下版本的程式碼:

function foo(x) {
	var retValue;

	if (retValue == undefined && x > 10) {
		retValue = x + 1;
	}

	var y = x / 2;

	if (y > 3) {
		if (retValue == undefined && x % 2 == 0) {
			retValue = x;
		}
	}

	if (retValue == undefined && y > 1) {
		retValue = y;
	}

	if (retValue == undefined) {
		retValue = x;
	}

	return retValue;
}
複製程式碼

這個版本毫無疑問是更冗長的。但是在邏輯上,我認為這比上面的程式碼更容易理解。因為在每個 retValue 可以被設定的分支, 這裡都有個守護者以確保 retValue 沒有被設定過才執行。

相比在函式中提早使用 return,我們更應該用常用的流控制( if 邏輯 )來控制 retValue 的賦值。到最後,我們 return retValue

我不是說,你只能有一個 return,或你不應該提早 return,我只是認為在定義函式時,最好不要用 return 來實現流控制,這樣會創造更多的隱含意義。嘗試找出最明確的表達邏輯的方式,這往往是最好的辦法。

return 的輸出

有個技巧你可能在你的大多數程式碼裡面使用過,並且有可能你自己並沒有特別意識到,那就是讓一個函式通過改變函式體外的變數產出一些值。

還記得我們之前提到的函式f(x) = 2x2 + 3嗎?我們可以在 JS 中這樣定義:

var y;

function foo(x) {
	y = (2 * Math.pow( x, 2 )) + 3;
}

foo( 2 );

y;						// 11
複製程式碼

我知道這是一個無聊的例子。我們完全可以用 return 來返回,而不是賦值給 y

function foo(x) {
	return (2 * Math.pow( x, 2 )) + 3;
}

var y = foo( 2 );

y;						// 11
複製程式碼

這兩個函式完成相同的任務。我們有什麼理由要從中挑一個嗎?是的,絕對有。

解釋這兩者不同的一種方法是,後一個版本中的 return 表示一個顯式輸出,而前者的 y 賦值是一個隱式輸出。在這種情況下,你可能已經猜到了:通常,開發人員喜歡顯式模式而不是隱式模式。

但是,改變一個外部作用域的變數,就像我們在 foo(..) 中所做的賦值 y 一樣,只是實現隱式輸出的一種方式。一個更微妙的例子是通過引用對非區域性值進行更改。

思考:

function sum(list) {
	var total = 0;
	for (let i = 0; i < list.length; i++) {
		if (!list[i]) list[i] = 0;

		total = total + list[i];
	}

	return total;
}

var nums = [ 1, 3, 9, 27, , 84 ];

sum( nums );			// 124
複製程式碼

很明顯,這個函式輸出為 124,我們也非常明確地 return 了。但你是否發現其他的輸出?檢視程式碼,並檢查 nums 陣列。你發現區別了嗎?

為了填補 4 位置的空值 undefined,這裡使用了 0 代替。儘管我們在區域性操作 list 引數變數,但我們仍然影響了外部的陣列。

為什麼?因為 list 使用了 nums 的引用,不是對 [1,3,9,..] 的值複製,而是引用複製。因為 JS 對陣列、物件和函式都使用引用和引用複製,我們可以很容易地從函式中建立輸出,即使是無心的。

這個隱式函式輸出在函數語言程式設計中有一個特殊的名稱:副作用。當然,沒有副作用的函式也有一個特殊的名稱:純函式。我們將在以後的章節討論這些,但關鍵是我們應該喜歡純函式,並且要儘可能地避免副作用。

函式功能

函式是可以接受並且返回任何型別的值。一個函式如果可以接受或返回一個甚至多個函式,它被叫做高階函式。

思考:

function forEach(list,fn) {
	for (let i = 0; i < list.length; i++) {
		fn( list[i] );
	}
}

forEach( [1,2,3,4,5], function each(val){
	console.log( val );
} );
// 1 2 3 4 5
複製程式碼

forEach(..) 就是一個高階函式,因為它可以接受一個函式作為引數。

一個高階函式同樣可以把一個函式作為輸出,像這樣:

function foo() {
	var fn = function inner(msg){
		console.log( msg );
	};

	return fn;
}

var f = foo();

f( "Hello!" );			// Hello!
複製程式碼

return 不是“輸出”函式的唯一辦法。

function foo() {
	var fn = function inner(msg){
		console.log( msg );
	};

	bar( fn );
}

function bar(func) {
	func( "Hello!" );
}

foo();					// Hello!
複製程式碼

將其他函式視為值的函式是高階函式的定義。函數語言程式設計者們應該學會這樣寫!

保持作用域

在所有程式設計,尤其是函數語言程式設計中,最強大的就是:當一個函式內部存在另一個函式的作用域時,對當前函式進行操作。當內部函式從外部函式引用變數,這被稱作閉包。

實際上,閉包是它可以記錄並且訪問它作用域外的變數,甚至當這個函式在不同的作用域被執行。

思考:

function foo(msg) {
	var fn = function inner(){
		console.log( msg );
	};

	return fn;
}

var helloFn = foo( "Hello!" );

helloFn();				// Hello!
複製程式碼

處於 foo(..) 函式作用域中的 msg 引數變數是可以在內部函式中被引用的。當 foo(..) 執行時,並且內部函式被建立,函式可以獲取 msg 變數,即使 return 後仍可被訪問。

雖然我們有函式內部引用 helloFn,現在 foo(..) 執行後,作用域應該回收,這也意味著 msg 也不存在了。不過這個情況並不會發生,函式內部會因為閉包的關係,將 msg 保留下來。只要內部函式(現在被處在不同作用域的 helloFn 引用)存在, msg 就會一直被保留。

讓我們看看閉包作用的一些例子:

function person(id) {
	var randNumber = Math.random();

	return function identify(){
		console.log( "I am " + id + ": " + randNumber );
	};
}

var fred = person( "Fred" );
var susan = person( "Susan" );

fred();					// I am Fred: 0.8331252801601532
susan();				// I am Susan: 0.3940753308893741
複製程式碼

identify() 函式內部有兩個閉包變數,引數 idrandNumber

閉包不僅限於獲取變數的原始值:它不僅僅是快照,而是直接連結。你可以更新該值,並在下次訪問時獲取更新後的值。

function runningCounter(start) {
	var val = start;

	return function current(increment = 1){
		val = val + increment;
		return val;
	};
}

var score = runningCounter( 0 );

score();				// 1
score();				// 2
score( 13 );			// 15
複製程式碼

警告: 我們將在之後的段落中介紹更多。不過在這個例子中,你需要儘可能避免使用閉包來記錄狀態更改(val)。

如果你需要設定兩個輸入,一個你已經知道,另一個還需要後面才能知道,你可以使用閉包來記錄第一個輸入值:

function makeAdder(x) {
	return function sum(y){
		return x + y;
	};
}

//我們已經分別知道作為第一個輸入的 10 和 37
var addTo10 = makeAdder( 10 );
var addTo37 = makeAdder( 37 );

// 緊接著,我們指定第二個引數
addTo10( 3 );			// 13
addTo10( 90 );			// 100

addTo37( 13 );			// 50
複製程式碼

通常, sum(..) 函式會一起接收 xy 並相加。但是在這個例子中,我們接收並且首先記錄(通過閉包) x 的值,然後等待 y 被指定。

注意: 在連續函式呼叫中指定輸入,這種技巧在函數語言程式設計中非常普遍,並且有兩種形式:偏函式應用和柯里化。我們稍後會在文中深入討論。

當然,因為函式如果只是 JS 中的值,我們可以通過閉包來記住函式值。

function formatter(formatFn) {
	return function inner(str){
		return formatFn( str );
	};
}

var lower = formatter( function formatting(v){
	return v.toLowerCase();
} );

var upperFirst = formatter( function formatting(v){
	return v[0].toUpperCase() + v.substr( 1 ).toLowerCase();
} );

lower( "WOW" );				// wow
upperFirst( "hello" );		// Hello
複製程式碼

函數語言程式設計並不是在我們的程式碼中分配或重複 toUpperCase()toLowerCase() 邏輯,而是鼓勵我們用優雅的封裝方式來建立簡單的函式。

具體來說,我們建立兩個簡單的一元函式 lower(..)upperFirst(..),因為這些函式在我們程式中,更容易與其他函式配合使用。

提示: 你知道如何讓 upperFirst(..) 使用 lower(..) 嗎?

我們將在本書的後續中大量使用閉包。如果拋開整個程式設計來說,它可能是所有函數語言程式設計中最重要的基礎。希望你能用得舒服!

句法

在我們函式入門開始之前,讓我們花點時間來討論它的語法。

不同於本書中的許多其他部分,本節中的討論主要是意見和偏好,無論你是否同意這裡提出的觀點或採取相反的觀點。這些想法是非常主觀的,儘管許多人似乎對此非常執著。不過最終,都由你決定。

什麼是名稱?

在語法上,函式宣告需要包含一個名稱:

function helloMyNameIs() {
	// ..
}
複製程式碼

但是函式表示式可以命名或者匿名:

foo( function namedFunctionExpr(){
	// ..
} );

bar( function(){	// <-- 這就是匿名的!
	// ..
} );
複製程式碼

順便說一句,匿名的意思是什麼?具體來說,函式具有一個 name 的屬性,用於儲存函式在語法上設定名稱的字串值,例如 "helloMyNameIs""FunctionExpr"。 這個name 屬性特別用於 JS 環境的控制檯或開發工具。當我們在堆疊軌跡中追蹤(通常來自異常)時,這個屬性可以列出該函式。

而匿名函式通常顯示為:(anonymous function)

如果你曾經試著在一個異常的堆疊軌跡中除錯一個 JS 程式,你可能已經發現痛苦了:看到 (anonymous function) 出現。這個列表條目不給開發人員任何關於異常來源路徑的線索。它沒有給我們開發者提供任何幫助。

如果你命名了你的函式表示式,名稱將會一直被使用。所以如果你使用了一個良好的名稱 handleProfileClicks 來取代 foo,你將會在堆疊軌跡中獲得更多的資訊。

在 ES6 中,匿名錶達式可以通過名稱引用來獲得名稱。思考:

var x = function(){};

x.name;			// x
複製程式碼

如果解析器能夠猜到你可能希望函式採用什麼名稱,那麼它將會繼續下去。

但請注意,並不是所有的句法形式都可以用名稱引用。最常見的地方是函式表示式是函式呼叫的引數:

function foo(fn) {
	console.log( fn.name );
}

var x = function(){};

foo( x );				// x
foo( function(){} );	//
複製程式碼

當名稱不能直接從周圍的語法中被推斷時,它仍會是一個空字串。這樣的函式將在堆疊軌跡中的被報告為一個 (anonymous function)

除了除錯問題之外,函式被命名還有一個其他好處。首先,句法名稱(又稱詞彙名)是可以被函式內部的自引用。自引用是遞迴(同步和非同步)所必需的,也有助於事件處理。

思考這些不同的情況:

// 同步情況:
function findPropIn(propName,obj) {
	if (obj == undefined || typeof obj != "object") return;

	if (propName in obj) {
		return obj[propName];
	}
	else {
		let props = Object.keys( obj );
		for (let i = 0; i < props.length; i++) {
			let ret = findPropIn( propName, obj[props[i]] );
			if (ret !== undefined) {
				return ret;
			}
		}
	}
}
複製程式碼
// 非同步情況:
setTimeout( function waitForIt(){
	// it 存在了嗎?
	if (!o.it) {
		// 再試一次
		setTimeout( waitForIt, 100 );
	}
}, 100 );
複製程式碼
// 事件處理未繫結
document.getElementById( "onceBtn" )
	.addEventListener( "click", function handleClick(evt){
		// 未繫結的 event
		evt.target.removeEventListener( "click", handleClick, false );

		// ..
	}, false );
複製程式碼

在這些情況下,使用命名函式的函式名引用,是一種有用和可靠的在自身內部自引用的方式。

此外,即使在單行函式的簡單情況下,命名它們往往會使程式碼更加明瞭,從而讓以前沒有閱讀過的人更容易閱讀:

people.map( function getPreferredName(person){
	return person.nicknames[0] || person.firstName;
} )
// ..
複製程式碼

光看函式 getPreferredName(..) 的程式碼,並不能很明確告訴我們這裡的操作是什麼意圖。但有名稱就可以增加程式碼可讀性。

經常使用匿名函式表示式的另一個地方是 IIFE (立即執行函式表示式):

(function(){

	// 我是 IIFE!

})();
複製程式碼

你幾乎從沒看到為 IIFE 函式來命名,但他們應該命名。為什麼?我們剛剛提到過的原因:堆疊軌跡除錯,可靠的自我引用和可讀性。如果你想不出你的 IIFE 應該叫什麼,請至少使用 IIFE:

(function IIFE(){

	// 現在你真的知道我叫 IIFE!

})();
複製程式碼

我有許多個理由可以解釋命名函式比匿名函式更可取。事實上,我甚至認為匿名函式都是不可取的。相比命名函式,他們沒有任何優勢。

寫匿名功能非常容易,因為我們完全不用在想名稱這件事上費神費力。

誠實來講,我也像大家一樣在這個地方犯錯。我不喜歡在起名稱這件事上浪費時間。我能想到命名一個函式的前 3 或 4 個名字通常是不好的。我必須反覆思考這個命名。這個時候,我寧願只是用一個匿名函式表達。

但是,我們把易寫性拿來與易讀性做交換,這不是一個好選擇。因為懶而不想為你的函式命名,這是常見的使用匿名功能的藉口。

命名所有單個函式。如果你對著你寫的函式,想不出一個好名稱,我明確告訴你,那是你並沒有完全理解這個函式的目的——或者來說它的目的太廣泛或太抽象。你需要重新設計功能,直到它更清楚。從這個角度說,一個名稱會更明白清晰。

從我自己的經驗中證明,在思考名稱的過程中,我會更好地瞭解它,甚至重構其設計,以提高可讀性和可維護性。這些時間的投入是值得的。

沒有 function 的函式

到目前為止,我們一直在使用完整的規範語法功能。但是相信你也對新的 ES6 => 箭頭函式語法有所耳聞。

比較:

people.map( function getPreferredName(person){
	return person.nicknames[0] || person.firstName;
} )
// ..

people.map( person => person.nicknames[0] || person.firstName );
複製程式碼

哇!

關鍵字 function 沒了,return() 括號,{} 花括號和 ; 分號也是這樣。所有這一切,都是我們與一個胖箭頭做了交易: =>

但還有另一件事我們忽略了。 你發現了嗎?getPreferredName 函式名也沒了。

那就對了。 => 箭頭函式是詞法匿名的。沒有辦法合理地為它提供一個名字。他們的名字可以像常規函式一樣被推斷,但是,最常見的函式表示式值作為引數的情況將不會起任何作用了。

假設 person.nicknames 因為一些原因沒有被定義,一個異常將會被丟擲,意味著這個 (anonymous function) 將會在追蹤堆疊的最上層。啊!

=> 箭頭函式的匿名性是 => 的阿喀琉斯之踵。這讓我不能遵守剛剛所說的命名原則了:閱讀困難,除錯困難,無法自我引用。

但是,這還不夠糟糕,要面對的另一個問題是,如果你的函式定義有不同的場景,那麼你必須要一大堆細微差別的語句來實現。我不會在這裡詳細介紹所有,但會簡要地說:

people.map( person => person.nicknames[0] || person.firstName );

// 多個引數? 需要 ( )
people.map( (person,idx) => person.nicknames[0] || person.firstName );

// 解構引數? 需要 ( )
people.map( ({ person }) => person.nicknames[0] || person.firstName );

// 預設引數? 需要 ( )
people.map( (person = {}) => person.nicknames[0] || person.firstName );

// 返回物件? 需要 ( )
people.map( person =>
	({ preferredName: person.nicknames[0] || person.firstName })
);
複製程式碼

在函數語言程式設計中, => 令人興奮的地方在於它幾乎完全遵循函式的數學符號,特別是像 Haskell 這樣的函數語言程式設計語言。=> 箭頭函式語法甚至可以用於數學交流。

我們進一步地來深挖,我建議使用 => 的論點是,通過使用更輕量級的語法,可以減少函式之間的視覺邊界,也讓我們使用偷懶的方式來使用它,這也是函數語言程式設計者的另一個愛好。

我認為大多數的函數語言程式設計者都會對此睜隻眼閉隻眼。他們喜歡匿名函式,喜歡簡潔語法。但是像我之前說過的那樣:這都由你決定。

注意: 雖然我不喜歡在我的應用程式中使用 =>,但我們將在本書的其餘部分多次使用它,特別是當我們介紹典型的函數語言程式設計實戰時,它能簡化、優化程式碼片段中的空間。不過,增強或減弱程式碼的可讀性也取決你自己做的決定。

來說說 This ?

如果您不熟悉 JavaScript 中的 this 繫結規則,我建議去看我寫的《You Don't Know JS: this & Object Prototypes》。 出於這章的需要,我會假定你知道在一個函式呼叫(四種方式之一)中 this 是什麼。但是如果你依然對 this 感到迷惑,告訴你個好訊息,接下來我們會總結在函數語言程式設計中你不應當使用 this

JavaScript 的 function 有一個 this 關鍵字,每個函式呼叫都會自動繫結。this 關鍵字有許多不同的方式描述,但我更喜歡說它提供了一個物件上下文來使該函式執行。

this 是函式的一個隱式的輸入引數。

思考:

function sum() {
	return this.x + this.y;
}

var context = {
	x: 1,
	y: 2
};

sum.call( context );		// 3

context.sum = sum;
context.sum();				// 3

var s = sum.bind( context );
s();						// 3
複製程式碼

當然,如果 this 能夠隱式地輸入到一個函式當中去,同樣的,物件也可以作為顯式引數傳入:

function sum(ctx) {
	return ctx.x + ctx.y;
}

var context = {
	x: 1,
	y: 2
};

sum( context );
複製程式碼

這樣的程式碼更簡單,在函數語言程式設計中也更容易處理:當顯性輸入值時,我們很容易將多個函式組合在一起, 或者使用下一章輸入適配技巧。然而當我們做同樣的事使用隱性輸入時,根據不同的場景,有時候會難處理,有時候甚至不可能做到。

還有一些技巧,是基於 this 完成的,例如原型授權(在《this & Object Prototypes》一書中也詳細介紹):

var Auth = {
	authorize() {
		var credentials = this.username + ":" + this.password;
		this.send( credentials, resp => {
			if (resp.error) this.displayError( resp.error );
			else this.displaySuccess();
		} );
	},
	send(/* .. */) {
		// ..
	}
};

var Login = Object.assign( Object.create( Auth ), {
	doLogin(user,pw) {
		this.username = user;
		this.password = pw;
		this.authorize();
	},
	displayError(err) {
		// ..
	},
	displaySuccess() {
		// ..
	}
} );

Login.doLogin( "fred", "123456" );
複製程式碼

注意: Object.assign(..) 是一個 ES6+ 的實用工具,它用來將屬性從一個或者多個源物件淺拷貝到目標物件: Object.assign( target, source1, ... )

這段程式碼的作用是:現在我們有兩個獨立的物件 LoginAuth,其中 Login 執行原型授權給 Auth。通過委託和隱式的 this 共享上下文物件,這兩個物件在 this.authorize() 函式呼叫期間實際上是組合的,所以這個 this 上的屬性或方法可以與 Auth.authorize(..) 動態共享 this

this 因為各種原因,不符合函數語言程式設計的原則。其中一個明顯的問題是隱式 this 共享。但我們可以更加顯式地,更靠向函數語言程式設計的方向:

// ..

authorize(ctx) {
	var credentials = ctx.username + ":" + ctx.password;
	Auth.send( credentials, function onResp(resp){
		if (resp.error) ctx.displayError( resp.error );
		else ctx.displaySuccess();
	} );
}

// ..

doLogin(user,pw) {
	Auth.authorize( {
		username: user,
		password: pw
	} );
}

// ..
複製程式碼

從我的角度來看,問題不在於使用物件來進行操作,而是我們試圖使用隱式輸入取代顯式輸入。當我戴上名為函數語言程式設計的帽子時,我應該把 this 放回衣架上。

總結

函式是強大的。

現在,讓我們清楚地理解什麼是函式:它不僅僅是一個語句或者操作的集合,而且需要一個或多個輸入(理想情況下只需一個!)和一個輸出。

函式內部的函式可以取到閉包外部變數,並記住它們以備日後使用。這是所有程式設計中最重要的概念之一,也是函數語言程式設計的基礎。

要警惕匿名函式,特別是 => 箭頭函式。雖然在程式設計時用起來很方便,但是會對增加程式碼閱讀的負擔。我們學習函數語言程式設計的全部理由是為了書寫更具可讀性的程式碼,所以不要趕時髦去用匿名函式。

別用 this 敏感的函式。這不需要理由。

** 【上一章】翻譯連載 |《JavaScript 輕量級函數語言程式設計》- 第 1 章:為什麼使用函數語言程式設計? ** ** 【下一章】翻譯連載 |《JavaScript 輕量級函數語言程式設計》- 第3章:管理函式的輸入 **

翻譯連載 | JavaScript 輕量級函數語言程式設計-第2章:函式基礎 |《你不知道的JS》姊妹篇

翻譯連載 | JavaScript 輕量級函數語言程式設計-第2章:函式基礎 |《你不知道的JS》姊妹篇

iKcamp原創新書《移動Web前端高效開發實戰》已在亞馬遜、京東、噹噹開售。

iKcamp新課程推出啦~~~~~開始免費連載啦~每週2更共11堂iKcamp課|基於Koa2搭建Node.js實戰專案教學(含視訊)| 課程大綱介紹

相關文章