純函數是函數式編程的基礎,需要重點理解。純函數的作用,可以看《JavaScript函數式編程之為什么要函數式編程(非嚴謹技術層面的扯淡)》。
純函數的概念:
純函數是這樣一種函數,即相同的輸入,永遠會得到相同的輸出,而且沒有任何可觀察的副作用。
他的重點在於“相同的輸入,永遠會得到相同的輸出”,后面所說的副作用也是為了滿足這一點。
在詳細說明純函數之前,先講兩個其他的概念:可變數據類型和不可變數據類型。
我們知道,在JavaScript中,基本數據類型都是不可變的,他們只能被替換,不能被修改。例如當我們在對字符串進行操作的時候,我們並不能改變這個字符串本身。
var str = 'I am hero'; console.log(str.toUpperCase()); // "I AM HERO" console.log(str); //"I am hero" 復制代碼
我們能做的只有把返回的新字符串重新賦值給變量。
var str = 'I am hero'; str = str.toUpperCase(); // "I AM HERO" 復制代碼
而引用數據類型都是可變的,存在變量中的僅僅就是一個地址。對於可變特性,facebook的immutable.js做了針對性的強化處理,此外還有clojurescript這樣更加徹底的方式。
為什么要說這兩個概念呢?
先不說在JS運行的系統環境中可能會產生副作用,單單看這些可變的數據類型,就會增加我們寫純函數的難度,要十分注意,個別情況我們只能選擇接受。
這樣的話,在JS中,我們不妨把純函數換一種方式理解,不要把它當做一個只有“完全滿足要求”和“不滿足要求”的標准,而要把它想象成一個范圍,在這里有高低不同程度的純函數。
如何理解“相同的輸入,永遠會得到相同的輸出”
文章開頭的純函數的概念中的“永遠”可能會讓你疑惑,要把它放在詞法作用域中考慮,也就是說不考慮再下次執行之前修改常量這一類的情況。
例一
var a = 5; function A(b) { return a + b; } A(5); 復制代碼
A函數是一個純函數嗎?顯然非常不純,在程序執行的過程中,變量a很容易被修改,這就會導致每次調用A(5)
的返回值改變。
例二
對例一稍作修改
const a = 5; function A(b) { return a + b; } A(5); 復制代碼
這是純函數,確定的輸入,確定的輸出。
例三
把例二數字常量換成對象
const obj = {id: 5}; function A(_obj) { return _obj.id; } A(obj); 復制代碼
函數A基本上是純函數,為什么說是“基本上”?因為有極端情況如下
var obj = { get id() { return Math.random(); } } 復制代碼
注意,obj在傳進函數A之前是確定的,getter
是在取值的時候才會執行,但是返回的結果是不確定的,所以這個時候函數A就不是純函數了。隨機數和Date
都會造成函數不純,使用的時候要注意。
除此之外,由於對象是可變數據類型,我們在每次輸入變量obj
到函數A中時,並不具有絕對的自信會返回確定的值。可對於函數A來說,它只關心傳進來的數據是什么,而對於那個數據來說,只要不是上面的極端情況,返回的是確定的值。
.