資訊專欄INFORMATION COLUMN
摘要：更多相關內容見博客純函數是函數式編程的基礎，需要重點理解。純函數的概念純函數是這樣一種函數，即相同的輸入，永遠會得到相同的輸出，而且沒有任何可觀察的副作用。例二對例一稍作修改這是純函數，確定的輸入，確定的輸出。
更多相關內容見博客 https://github.com/zhuanyongxigua/blog
純函數是函數式編程的基礎，需要重點理解。
純函數的概念：
純函數是這樣一種函數，即相同的輸入，永遠會得到相同的輸出，而且沒有任何可觀察的副作用。
他的重點在于“相同的輸入，永遠會得到相同的輸出”，后面所說的副作用也是為了滿足這一點。
在詳細說明純函數之前，先講兩個其他的概念：可變數據類型和不可變數據類型。
我們知道，在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中時，并不具有絕對的自信會返回確定的值?？蓪τ诤瘮礎來說，它只關心傳進來的數據是什么，而對于那個數據來說，只要不是上面的極端情況，返回的是確定的值。
例四
const obj = {a: 5};
function A(b) {
return obj.a + b;
}
A(5);
這個很明顯很不純，同例一，注意與例三的區別。
例五
對例四稍作修改
const obj = Object.freeze({a: 5});
function A(b) {
return obj.a + b;
}
A(5);
這樣就純多了，可是需要注意的是，Object.freeze()這個方法無法凍結嵌套的對象，例如
const obj = Object.freeze({a: {a: 5}});
obj.a.a = 10;
function A(b) {
return obj.a.a + b;
}
console.log(A(5)); // 15，不純
例六
function foo(x) {
return bar(x);
}
function bar(y) {
return y + 1;
}
foo(1);
都純。
例七
function A(a) {
return function(b) {
return a + b;
}
}
var B = A(5);
函數A和函數B是純函數嗎？首先來看函數A，每次輸入一個參數，都會得到一個用這個參數組成的函數，得到的函數是固定的，所以函數A是純函數；再來看函數B雖然看起來好像使用了一個自己外部的變量a，而且這個變量a可能會經常改變，可是，函數B一定要在調用了函數A之后才能得到，并且得到了之后，變量a是無法改變的，這就很純了。
即便在返回函數B之前修改了a，例如
例八
function A(a) {
a = 0;
return function(b) {
return a + b;
}
}
var B = A(5);
結論也是一樣的。
可如果這樣寫
例九
function A(a) {
return function(b) {
return a = a + b;
}
}
var B = A(5);
關于副作用，見《JavaScript函數式編程之副作用》
參考資料：
JS函數式編程指南
Functional-Light JavaScript
文章版權歸作者所有，未經允許請勿轉載,若此文章存在違規行為，您可以聯系管理員刪除。
轉載請注明本文地址：http://specialneedsforspecialkids.com/yun/108065.html
摘要：函數式編程，一看這個詞，簡直就是學院派的典范。所以這期周刊，我們就重點引入的函數式編程，淺入淺出，一窺函數式編程的思想，可能讓你對編程語言的理解更加融會貫通一些。但從根本上來說，函數式編程就是關于如使用通用的可復用函數進行組合編程。 showImg(https://segmentfault.com/img/bVGQuc); 函數式編程（Functional Programming），一...
摘要：同步發布于是個程序員都知道函數，但是有些人不一定清楚函數式編程的概念。你的項目沒用到函數式編程，不代表項目不好。函數式編程的對立面就是命令式編程。函數式編程只是一個概念一致編碼方式，并沒有嚴格的定義。這里總結一些常用的函數式編程應用場景。 同步發布于 https://github.com/xianshanna... 是個程序員都知道函數，但是有些人不一定清楚函數式編程的概念。 應用的迭...
摘要：所支持的面向對象編程包括原型繼承。發明于年的就是首批支持函數式編程的語言之一，而演算則可以說是孕育了這門語言。即使在今天，這個家族的編程語言應用范圍依然很廣。 1. 能說出來兩種對于 JavaScript 工程師很重要的編程范式么？ JavaScript 是一門多范式（multi-paradigm）的編程語言，它既支持命令式（imperative）/面向過程（procedural）編程...
摘要：所支持的面向對象編程包括原型繼承。發明于年的就是首批支持函數式編程的語言之一，而演算則可以說是孕育了這門語言。即使在今天，這個家族的編程語言應用范圍依然很廣。 1. 能說出來兩種對于 JavaScript 工程師很重要的編程范式么？ JavaScript 是一門多范式（multi-paradigm）的編程語言，它既支持命令式（imperative）/面向過程（procedural）編程...
閱讀 5200·2021-10-15 09:42
閱讀 1606·2021-09-22 16:05
閱讀 3261·2021-09-22 15:57
閱讀 3396·2019-12-27 12:06
閱讀 967·2019-08-29 15:16
閱讀 2879·2019-08-26 12:24
閱讀 380·2019-08-26 12:02
閱讀 1885·2019-08-23 16:00
