前言

函式用於指定物件的行為，是JavaScript的基礎單元。所謂程式設計，就是將一組需求分解為一組函式和資料結構的功能。

1、函式物件

JavaScript中的函式就是物件。每個函式在建立時會附加兩個隱藏的屬性：函式的上下文和實現函式呼叫的程式碼。

函式可以像其他的值一樣被使用，可以被儲存在另一個物件中，可以作為引數傳遞，可以返回函式，還可以有方法，唯一不同的是可以被呼叫。

2、函式字面量

通過函式字面量建立函式：

var add = function (a, b) {
     return a + b;
}

函式由以下幾個部分組成：

函式名，function後面跟函式名，

引數，圓括號中的引數；

函式主體，花括號裡面的一組語句，在函式呼叫時執行。

3、呼叫

函式在呼叫時接收兩個附加的引數：this和argument。函式呼叫符是函式值表示式後的一對圓括號。

argument是實際引數，當實際引數與形式引數個數不匹配時，程式不會報錯。實際引數值過多，超出的引數會被省略，實際引數值過少，缺少的引數會被替換為undefined。

函式有四種呼叫方式：方法呼叫模式、函式呼叫模式、構造器呼叫模式、apply呼叫模式。

4、方法呼叫模式

函式作為物件的一個屬性時，稱為方法。當一個方法被呼叫時，this繫結為該物件。

var myObject = {
     value: 0,
     increment: function (inc) {
           this.value + = typeof inc === 'number' ? inc : 1;
     }
}
 

<pre name="code" class="javascript">myObject.increment(2);

5、函式呼叫模式

一個函式不作為物件的屬性時，就是函式呼叫方式。

此模式下，this繫結到全域性物件。有時引用內部函式時，會帶來不必要的錯誤，解決方法將this傳遞給另一個變數。

var sum = add(3, 4);

var that =  this;

構造器呼叫模式，使用new來呼叫一個函式，建立一個連線到該函式prototype成員的新物件。

函式建立的目的就是以這種方式呼叫，稱為構造器函式。構造器函式第一個字母需要大寫。如果沒有使用new來呼叫構造器函式不會報錯，因此不推薦使用構造器呼叫模式。

7、Apply呼叫模式

函式具有apply方法，可以指定this的值。

apply接收兩個引數，第一個引數是this的值，第二個引數是傳遞的引數陣列。

8、引數

函式呼叫時，會得到一個引數——arguments陣列，這個陣列是呼叫函式時傳遞進來的引數列表，包括多餘的引數。

arguments不是一個真正的陣列，僅包含length屬性，沒有其他任何陣列的方法。

9、返回

return可以提前使函式提前返回。

一個函式總會返回一個值，如果沒有指定返回值，則返回undefined。

使用new字首呼叫函式，且返回值不是一個物件，則返回this（該新物件）。

10、異常

JavaScript 提供了一套異常處理機制。

throw 語句可以中斷函式的執行，丟擲的 exception 物件具有兩個屬性，異常型別 name 屬性和描述性的 message 屬性。

try...catch 語句中，如果在 try 中遇到異常，程式會跳到 catch 中繼續執行。一個 try 語句只有一個捕獲異常的 catch 程式碼塊。

11、擴充型別的功能

JavaScript允許給語言的基本型別擴充功能。給Object.propertype新增方法，讓該方法對所有物件都可用。這種方式同樣對函式（Function）、陣列（Array）、字元（String）、數字（Number）、正則表示式和布林值同樣適用。

舉例，給Function.propertype增加一個method方法，下次再給物件增加方法時，可用省略propertype。

Function.propertype.method = function (name, func) {
       this.propertype[name] = func;
       return this;
}

<pre name="code" class="javascript">String.method('trim', function (){
   return this.replace(/^s+|\s+$/g, '');
})<span style="font-family: Arial, Helvetica, sans-serif;">;</span>

遞迴函式就是直接或間接呼叫自身的一種函式。

一個問題能分解為一組相似的問題，每個問題都能用一個簡單的方法去解決，遞迴就是呼叫自身去解決它的子問題。

舉例，遍歷DOM中的所有節點，每個節點都執行函式func。

var walk_the_DOM = function walk(node, func) {  
      func(node);                    // 從節點node開始
      node = node.firstChild;        //<span style="font-family: Arial, Helvetica, sans-serif;">找到下一個子節點</span>
      while (node) {
           walk(node, func);         //對子節點執行函式
           node = node.nextSibling;  //找到下一個子節點
      }
}

尾遞迴優化，函式返回自身遞迴呼叫的結果，呼叫過程會被替換成一個迴圈，可以顯著提高速度。

13、作用域

作用域控制著變數與引數的可見性及生命週期。

JavaScript 支援函式作用域，在函式中的引數和變數在函式外部是不可見的，在一個函式的內部任何位置定義的變數，在該函式內部任何地方都可見。作用域的好處是內部函式可以訪問它們的外部函式的引數和變數（除了this和arguments）。

14、閉包

內部函式擁有比它的外部函式更長的生命週期。內部函式可以訪問它被建立時所處的上下文環境，這被稱為閉包。

15、回撥

網路上的同步請求時間過長會導致客戶端進入假死狀態，發起非同步請求，提供一個當伺服器的響應到達時隨時出發的回撥函式，客戶端就不會阻塞。

16、模組

使用函式和閉包來構造模組。

模組模式利用了函式作用域和閉包來建立被繫結物件與私有成員的關聯。

模組模式的一般形式是：一個定義了私有變數和函式的函式；利用閉包建立可以訪問私有變數和函式的特權函式；最有返回這個特權函式，或者把它們儲存到一個可訪問到的地方。

var serial_marker =  function (argument) {
		var prefix = '';  // 私有變數
		var seq = 0;      // <span style="font-family: Arial, Helvetica, sans-serif;">私有變數</span>

		return {
			set_prefix: function (p) {
				prefix = String(p);
			},
			set_seq: function (s) {
				seq = s;
			},
			gensym: function () {
				var result = prefix + seq;
				seq += 1;
				return result;
			}
		}
	}

	var seqer = serial_marker();
	seqer.set_prefix('Q');
	seqer.set_seq(1000);
	var unique = seqer.gensym();

	document.writeln('1.   unique: '+unique+'<br/>');  // 1.    unique: Q1000

	                                                   // 即使增加了新的方法，不能更改私有變數的值
	seqer.newset_prefix = function (p) {
		prefix = String(p);
	}
	seqer.newset_prefix('W')                          //<span style="font-family: Arial, Helvetica, sans-serif;"> 即使增加了新的方法，不能更改私有變數的值</span>


	var unique = seqer.gensym();
	document.writeln('2.   unique: '+unique);         // 2.     unique: Q1001

有一些方法是沒有返回值的，比如一些修改或者設定物件的某個狀態的方法，不需要返回值。可以讓這些方法可以返回 this 而不是 undefined ，就可以啟用級聯。這些方法每一個都返回該物件，每次返回的結果都可以被下一次呼叫。

getElement('myBoxDiv')
     .move(350, 150)
     .width(100)
     .height(100)
     .color('red')

呼叫柯里化方法生成新函式，呼叫新函式時，是返回呼叫原始函式的結果，傳遞呼叫柯里化方法的引數加上呼叫新函式的引數。

柯里化方法的新函式呼叫 = 呼叫原始函式 + ( 柯里化方法的引數 + 新函式呼叫引數 )

Function.method('curry', function () {
		var slice = Array.prototype.slice,
			args = slice.apply(arguments),   // arguments不是真正的陣列，除length方法外無陣列的其他方法
			                                 // args現在是真正的陣列，有陣列的方法
			that = this;
		
		// 返回柯里化新函式
			
		return function () {

			// 新函式包含原函式呼叫
			// 和柯里化函式時的引數
			// 和呼叫新函式時的引數
			
			return that.apply(null, args.contact(slice.apply(arguments)))  
		};
	});

函式將先操作的結果記錄在某個物件裡，避免無謂的重複運算，這種優化被稱為記憶。