From 218934fa2ed1c702a6d3923d2aa2cc6b43c48684 Mon Sep 17 00:00:00 2001 From: Peter Bengtsson Date: Tue, 8 Dec 2020 14:43:23 -0500 Subject: initial commit --- .../a_re-introduction_to_javascript/index.html | 910 +++++++++++++++++++++ 1 file changed, 910 insertions(+) create mode 100644 files/zh-tw/web/javascript/a_re-introduction_to_javascript/index.html (limited to 'files/zh-tw/web/javascript/a_re-introduction_to_javascript') diff --git a/files/zh-tw/web/javascript/a_re-introduction_to_javascript/index.html b/files/zh-tw/web/javascript/a_re-introduction_to_javascript/index.html new file mode 100644 index 0000000000..97ff027312 --- /dev/null +++ b/files/zh-tw/web/javascript/a_re-introduction_to_javascript/index.html @@ -0,0 +1,910 @@ +--- +title: 重新介紹 JavaScript +slug: Web/JavaScript/A_re-introduction_to_JavaScript +tags: + - JavaScript + - 待翻譯 + - 所有類別 +translation_of: Web/JavaScript/A_re-introduction_to_JavaScript +--- +

{{jsSidebar}}

+ +

介紹

+ +

為何需要重新介紹？因為 JavaScript 堪稱是全世界最被人誤解的程式語言。儘管 JavaScript 再怎麼的被嘲諷為小兒科，在它誤導人的簡潔下隱藏著強大的語言功能。2005 年是個許多知名 JavaScript 應用程式推出的年度，在在證明：更加瞭解這項科技對任何網頁開發者來說皆是重要的技能。

+ +

先從該語言的歷史說起。1995 年，Brendan Eich，一位 Netscape （網景）的工程師，創造了 JavaScript。1996 年初，JavaScript 隨著 Netscape 2 首次推出。它原本要被命名為 LiveScript，結果因為行銷策略為了強調昇陽的 Java 程式語言的普遍性，而不幸的被改名 — 即便兩者之間沒有太大的關係。從此之後，這便成為了混淆的元兇。

+ +

Microsoft 在幾個月後隨著 IE 3 推出了跟該語言大致上相容的 JScript。Netscape 在 1997 年將該語言送交 ECMA International，一個歐洲標準化組織，而在 1997 年的時候產生了初版的 ECMAScript。該標準在 1999 年的時候以 ECMAScript 第三版的形式推出了更新，從此之後大致上都相當穩定，不過近期有在研發第四版。

+ +

這個穩定性對開發者來說是相當好的事情，因為它讓不少實作 (implementation) 有時間慢慢趕上。我會把重點放在第三版的語法。為了避免混淆，我會繼續使用 JavaScript 這個名稱。

+ +

與其他程式語言大大不同的是，JavaScript 沒有任何輸入或輸出的觀念。它是被設計成在一個宿主 (host) 環境下執行的腳本 (script) 語言，所以任何與外界通訊的方式，都是宿主環境的責任。瀏覽器是最常見的宿主環境，不過有些程式也有 JavaScript 解釋器，如 Adobe Acrobat、Photoshop、以及 Yahoo! Widget Engine 等等。

+ +

概要

+ +

先從任何語言最基本的方面講起：型態 (type)。JavaScript 程式可以改變「值」(value)，而這些值各自有其歸屬的型態。JavaScript 的型態有：

+ + + +

...以及稍微怪一點的 undefined （未定義）和 null （空）。還有，算是一種特殊物件的 Array （陣列）。還有，額外的特殊物件 Date （日期）以及 Regular Expression。另外，如果真的要達到技術上的準確性，連函式也只算是一種特殊的物件。所以型態分佈表看起來應該像這樣：

+ + + +

其實也有內建的 Error （錯誤）類型，不過，先把重點放在上面的分佈表比較容易。

+ +

數字

+ +

根據規格，JavaScript 數字算是「雙精確度 64 位元格式 IEEE 754 值」("double-precision 64-bit format IEEE 754 values")。這能造成一些有趣的後果。JavaScript 沒有所謂的整數，所以你在做算術的時候得小心一點，尤其是假如你習慣了 C 或 Java 的數學。小心類似下的的事情：

+ +
0.1 + 0.2 = 0.30000000000000004
+
+ +

JavaScript 支援標準的數字運算子，包含加法、減法、取餘數、等算術。另外還有一個之前忘記提的內建物件，Math （數學），用以處理較為進階的數學函數和常數：

+ +
Math.sin(3.5);
+d = Math.PI * r * r;
+
+ +

你可以用內建的 parseInt() 函式將字串轉成整數。這個函式有個可選用的第二個參數（在此建議你一定要指定），用以指定進位數。

+ +
> parseInt("123", 10)
+123
+> parseInt("010", 10)
+10
+
+ +

如果你不指定進位數，就有可能得到意想不到的結果：

+ +
> parseInt("010")
+8
+
+ +

這是因為 parseInt 函數把字串當成八進位的數字，因為開頭有個 0。

+ +

如果要把二進位的數字轉成整數，只要把進位數改掉就行了：

+ +
> parseInt("11", 2)
+3
+
+ +

有個特殊的數字，叫做 NaN （「Not a Number」，「非數字」的簡稱），假如遞進去的字串不是數字，則會回傳 NaN ：

+ +
> parseInt("hello", 10)
+NaN
+
+ +

NaN 很毒：將其進行任何數學運算，結果仍會是 NaN：

+ +
> NaN + 5
+NaN
+
+ +

你可以用內建的 isNaN() 函式來判斷一個值是否為 NaN：

+ +
> isNaN(NaN)
+true
+
+ +

JavaScript 也有特殊的值 Infinity （無限）以及 -Infinity （負無限）：

+ +
> 1 / 0
+Infinity
+> -1 / 0
+-Infinity
+
+ +

字串

+ +

JavaScript 的字串是一序列的字元。更精確的說，是一序列的 Unicode 字元，每個字元皆以一個 16 位元的數字作為代表。這讓任何人不需要為國際化感到擔心。

+ +

如果你要代表一個單一字元，用長度為 1 的字串即可。

+ +

要得知一個字串的長度，請存取該字串的 length（長度）屬性：

+ +
> "hello".length
+5
+
+ +

剛剛可是與 JavaScript 物件的第一次接觸呢！字串也是物件喔。字串甚至也有方法 (method)：

+ +
> "hello".charAt(0) //位置 0 的字元
+h
+> "hello, world".replace("hello", "goodbye") //把 hello 換成 goodbye
+goodbye, world
+> "hello".toUpperCase() //轉成大寫
+HELLO
+
+ +

其他類型

+ +

JavaScript 對下列兩者是有分別的：null （空），屬於「object」型態的一種物件，用以明言表示無數值，以及 undefined （無定義），屬於「undefined」類型的一種物件，用以表示未初始化的值，也就是說，根本還沒指定數值。雖然姑且先不論變數，但在 JavaScript 你可以宣告一個變數但不指定其值。如果你這麼做的話，那該變數的型態便是 undefined。

+ +

JavaScript 有布林 (boolean) 型態，可能的值有 true （真）與 false （假）且兩者皆為關鍵字。根據下列規則，任何值都可以被轉換成布林值：

+ +
    +
  1. false、0、空字串 ("")、NaN、null、以及 undefined 都會成為 false
    2. +
  2. 所有其他的值都會成為 true
    3. +
+ +

你可以用 Boolean() 函式特別進行轉換：

+ +
> Boolean("")
+false
+> Boolean(234)
+true
+
+ +

不過很少需要這樣，因為假如 JavaScript 遇到需要接收布林值的時候，如 if 陳述式（見下），便會無聲無息的進行布林轉換。有鑑於此，常常會有「真值」("true values") 與「假值」("false values") 等說法，意思是指值在布林轉換過程中會被轉成 true 或是 false。這種值也有被稱為「真的」("truthy") 或「假的」("falsy")。

+ +

JavaScript 支援布林運算，如 && （邏輯「與」，英稱 and）、|| （邏輯「或」，英稱 or）、以及 ! （邏輯「非」，英稱 not），請見下。

+ +

變數

+ +

在 JavaScript，要宣告新變數，使用的是 var 關鍵字：

+ +
var a;
+var name = "simon";
+
+ +

如果你宣告一個變數但不指定任何值，其型態便為 undefined （未定義）。 應該注意關於 JS 的區塊不會構成新變數作用域

+ +

運算子

+ +

JavaScript 的數字運算子有 +、-、*、/、以及 % - 最後一個是取餘數的運算子（英稱 mod）。用來指定值的運算子是 =，另外還有複合指定陳述式，如 += 以及 -=。這些是用以延伸 x = x 運算子 y。

+ +
x += 5
+x = x + 5
+
+ +

你可以用 ++ 和 -- 來分別增加或是減少數值。這些運算子可以放在變數的開頭或結尾。

+ +

+ 運算子也能把字串連接 (concatenate) 起來:

+ +
> "hello" + " world"
+hello world
+
+ +

如果你把一字串加到一個數字（或其他數值），會先把所有的東西轉成字串。這會讓你意想不到：

+ +
> "3" + 4 + 5
+345
+> 3 + 4 + "5"
+75
+
+ +

把一個空字串加到一個東西是個將其轉成字串的好方法之一。

+ +

JavaScript 中進行比較可以用 <、>、<=、以及 >=。這些對字串和數字都有用。等值比較 (equality) 比較沒那麼直接。雙等號運算子（等於）會進行型態強制轉換，假如比較的資料型態不一樣，有時結果會相當有趣：

+ +
> "dog" == "dog"
+true
+> 1 == true
+true
+
+ +

要避免型態強制轉換，要用三等號運算子（絕對等於）：

+ +
> 1 === true
+false
+> true === true
+true
+
+ +

另外還有 != （不等於）以及 !== （絕對不等於）運算子。

+ +

假如你需要用的話，JavaScript 也有逐位元 (bitwise) 運算子。

+ +

控制結構

+ +

JavaScript 跟其他同屬 C 家族的程式語言有類似的控制結構。條件陳述式是靠 if 以及 else 來表示。如果你喜歡還可以串起來：

+ +
var name = "貓咪";
+if (name == "狗狗") {
+  name += "!";
+} else if (name == "貓咪") {
+  name += "!!";
+} else {
+  name = "!" + name;
+}
+name == "貓咪!!"
+
+ +

JavaScript 有 while 迴圈以及 do-while 迴圈。前者適合做基本的迴圈，而後者是當你要迴圈至少執行一次就需要用到：

+ +
while (true) {
+  // 無限迴圈！
+}
+
+do {
+  var input = get_input();
+} while (inputIsNotValid(input))
+
+ +

JavaScript 的 for 迴圈跟 C 和 Java 的一樣：可以讓你用一行就提供控制的條件與資訊。

+ +
for (var i = 0; i < 5; i++) {
+  // 會執行 5 次
+}
+
+ +

&& 以及 || 運算子用的是「短路邏輯」(short-circuit logic)，也就是說，第二個運算值是否會被執行靠的是第一個運算值。這用來在存取一個物件的屬性前檢查物件是否為空 (null) 非常有用：

+ +
var name = o && o.getName();
+
+ +

或是用來設預設值：

+ +
var name = otherName || "預設";
+
+ +

JavaScript 也有三元運算子 (tertiary operator)，可以用來寫單行的條件陳述式：

+ +
var allowed = (age > 18) ? "是" : "否";
+
+ +

switch 陳述式可以根據一個數字或字串做不同決定：

+ +
switch(action) {
+    case '畫':
+        drawit(); //開始畫
+        break; //中斷
+    case '吃':
+        eatit(); //開始吃
+        break; //中斷
+    default: //預設
+        donothing(); //不做任何事
+}
+
+ +

如果你不加個 break （中斷）陳述式，執行的程式碼會往下「掉」一層。你很少會需要這樣 - 不過假如你真的要這樣，最好用個註解說明一下，這樣才方便除錯：

+ +
switch(a) {
+    case 1: //往下「掉」一層
+    case 2:
+        eatit(); //開始吃
+        break; //中斷
+    default: //預設
+        donothing(); //不做任何事
+}
+
+ +

default 子句 (clause) 是選擇性的，可有可無。如果你喜歡的話，你可以在 switch 部分或 case 部分放表達式 (expression)；兩者之間的比較使用的會是 === 運算子：

+ +
switch(1 + 3){
+    case 2 + 2:
+        yay(); //耶！
+        break; //中斷
+    default: //預設
+        neverhappens(); //根本不會發生
+}
+
+ +

物件

+ +

JavaScript 物件是一系列的「名稱對數值組合」(name-value pair)。有鑑於此，它們和下列的東西很相近:

+ + + +

這種資料結構的普遍性證明了其多樣性。由於 JavaScript 的任何東西（核心類型以外）都是物件，任何 JavaScript 程式都自然而然的用到許多雜湊表查詢。還好這些查詢的速度都很快！

+ +

「名稱」的部分是個 JavaScript 字串，而「數值」可以是任何 JavaScript 值－－包括物件。這可以讓你隨心所欲的建構複雜的資料結構。

+ +

建立空物件有種基本方法：

+ +
var obj = new Object();
+
+ +

以及：

+ +
var obj = {};
+
+ +

這兩者在意義上相等；後者叫做物件實體語法 (object literal)，比較方便。早期並沒有物件實體語法，也就是為何許多程式碼用的還是舊的方法。

+ +

一旦建立了，一個物件的屬性可以用兩種方法存取：

+ +
obj.name = "小明"
+var name = obj.name;
+
+ +

還有...

+ +
obj["name"] = "小明";
+var name = obj["name"];
+
+ +

這兩者也是在意義上相等。第二種方法的優點是屬性的名稱可以在執行的時候以字串提供，也就是說可以動態的變動。這也可以用來取得和設定名稱是保留關鍵字 (reserved keyword) 的屬性：

+ +
obj.for = "Simon"; //語法錯誤
+obj["for"] = "Simon"; //沒問題
+
+ +

物件實體語法可以一次把物件完全初始化：

+ +
var obj = {
+    name: "胡蘿蔔", //名稱
+    "for": "小華", //給誰
+    details: { //詳細資訊
+        color: "橘", //顏色
+        size: 12 //大小
+    }
+}
+
+ +

存取屬性也可以連在一起：

+ +
> obj.details.color
+橘
+> obj["details"]["size"]
+12
+
+ +

陣列

+ +

JavaScript 的陣列其實是一種特殊的物件。它們的運作方式跟正常的物件很像（數字性的屬性只能透過 [] 語法進行存取），不過有個神奇的屬性，叫做「length」（長度）。這個屬性一定是陣列最高索引數加一。

+ +

建立陣列的舊方法如下：

+ +
> var a = new Array();
+> a[0] = "狗";
+> a[1] = "貓";
+> a[2] = "雞";
+> a.length
+3
+
+ +

比較方便的語法便是使用陣列實體語法：

+ +
> var a = ["狗", "貓", "雞"];
+> a.length
+3
+
+ +

在陣列實體語法結尾留個空逗點在各瀏覽器間結果參差不齊，所以最好不要這樣：

+ +
> var a = ["狗", "貓", "雞", ]; //最好不要這麼做
+
+ +

注意－－array.length 不一定是陣列的項目數。比方說：

+ +
> var a = ["狗", "貓", "雞"];
+> a[100] = "狐";
+> a.length
+101
+
+ +

別忘了－－陣列的 length 就是最高索引數加一。

+ +

如果你查詢一個不存在的陣列索引，得到的就是 undefined：

+ +
> typeof(a[90])
+undefined
+
+ +

利用上述，便可以像下列一樣在陣列上做迴圈：

+ +
for (var i = 0; i < a.length; i++) {
+    //處理 a[i]
+}
+
+ +

這樣不是很有效率，因為每迴圈一次就會查詢一次 length 屬性。比較好的做法是：

+ +
for (var i = 0, len = a.length; i < len; i++) {
+    //處理 a[i]
+}
+
+ +

一個更棒的寫法是：

+ +
for (var i = 0, item; item = a[i]; i++) {
+    //處理 item
+}
+
+ +

這裡設定了兩個變數。for 迴圈中間指定變數值的部分會被測試是否為「真的」(truthy)－－如果成功了，迴圈便會繼續。由於 i 每次都會加一，陣列內的每個項目會被照順序指定到變數 item。當偵測到「假的」(falsy) 項目時（如 undefined）迴圈便會停止。

+ +

注意－－這個小技巧只該用在你確定不會含有「假的」值的陣列（比如說一陣列的物件或 DOM 節點）。假如你在可能含有 0 的數字資料或可能含有空字串的字串資料上做迴圈，最好還是用 i, j 的方式。

+ +

另外一個做迴圈的方法是用 for...in 迴圈。不過，假如有人用 Array.prototype 新增新的屬性，那些屬性也會被這種迴圈讀到：

+ +
for (var i in a) {
+  //處理 a[i]
+}
+
+ +

假如你要在陣列結尾加入項目，最安全的方法是這樣：

+ +
a[a.length] = item;                 //同 a.push(item);
+
+ +

由於 a.length 一定是最高索引數加一，你可以很確定你指定到的是陣列結尾的空間。

+ +

陣列附有一些方法 (method)：

+ +
a.toString(), a.toLocaleString(), a.concat(item, ..), a.join(sep),
+a.pop(), a.push(item, ..), a.reverse(), a.shift(), a.slice(start, end),
+a.sort(cmpfn), a.splice(start, delcount, [item]..), a.unshift([item]..)
+
+ + + +

函式

+ +

如同物件，函式 (function) 是瞭解 JavaScript 的核心元件。最基本的函式再簡單不過了：

+ +
function add(x, y) {
+    var total = x + y;
+    return total;
+}
+
+ +

這示範了基本函式的一切。一個 JavaScript 函式可以接受零或多個有名 (named) 參數。函式內文 (body) 要有多少陳述式就有多少陳述式，且可以宣告對於函式而言本地 (local) 的變數。return 陳述式可以在任何時候傳回一值並終止函式。如果沒有 return 陳述式（或者光是 return，沒有值），JavaScript 便會傳回 undefined。

+ +

有名參數比較像是做為參考，而非強制性的。你可以呼叫一個函式但不提供其要求的參數，引此傳入的便是 undefined。

+ +
> add()
+NaN // undefined 不能進行加法
+
+ +

你也可以傳入超過函式要求的參數數目：

+ +
> add(2, 3, 4)
+5 // 加了前兩數，不理 4
+
+ +

這或許有些可笑，但函式在內文內還可以存取一個叫做 arguments 的變數，一個類似陣列的物件，內含所有遞給函式的值。改寫一下 add 函式便可以使其接受無限量的值：

+ +
function add() {
+    var sum = 0;
+    for (var i = 0, j = arguments.length; i < j; i++) {
+        sum += arguments[i];
+    }
+    return sum;
+}
+
+> add(2, 3, 4, 5)
+14
+
+ +

這樣並沒有比直接寫 2 + 3 + 4 + 5 來得有用。寫個算平均的函式吧：

+ +
function avg() {
+    var sum = 0;
+    for (var i = 0, j = arguments.length; i < j; i++) {
+        sum += arguments[i];
+    }
+    return sum / arguments.length;
+}
+> avg(2, 3, 4, 5)
+3.5
+
+ +

這樣滿有用的，不過又有新問題了。avg() 函式接受的是個逗號分隔的參數清單－－不過如果你要取一陣列的平均值呢？你可以把函式重寫成這樣：

+ +
function avgArray(arr) {
+    var sum = 0;
+    for (var i = 0, j = arr.length; i < j; i++) {
+        sum += arr[i];
+    }
+    return sum / arr.length;
+}
+> avgArray([2, 3, 4, 5])
+3.5
+
+ +

但是最好是可以重複利用已經建立好的函式。幸運的是，JavaScript 可以讓你以一陣列的參數來呼叫一個函式。這靠的是使用任何函式物件的 apply() 方法。

+ +
> avg.apply(null, [2, 3, 4, 5])
+3.5
+
+ +

apply() 的第二個參數便是做為一系列參數的陣列；第一個參數稍後才會討論。重點是，函式也是物件。

+ +

JavaScript 可以讓你建立匿名 (anonymous) 函式。

+ +
var avg = function() {
+    var sum = 0;
+    for (var i = 0, j = arguments.length; i < j; i++) {
+        sum += arguments[i];
+    }
+    return sum / arguments.length;
+}
+
+ +

這個語法上和 function avg() 形式相等。這是非常強大的功能，因為你可以藉此在平常該放表達式的地方塞入一個完整的函式定義。這可以讓你用在各種令人拍案叫絕的技巧上。下列可以把本地 (local) 參數「藏」起來－－像 C 的 block scope 一樣：

+ +
> var a = 1;
+> var b = 2;
+> (function() {
+    var b = 3;
+    a += b;
+})();
+> a
+4
+> b
+2
+
+ +

JavaScript 能讓你遞迴地呼叫函式。這在處理樹狀結構的時候特別有用，比如瀏覽器的 DOM。 

+ +
function countChars(elm) {
+    if (elm.nodeType == 3) { // TEXT_NODE
+        return elm.nodeValue.length;
+    }
+    var count = 0;
+    for (var i = 0, child; child = elm.childNodes[i]; i++) {
+        count += countChars(child);
+    }
+    return count;
+}
+
+ +

以上揭露了一個使用匿名函式的潛在問題：如果匿名函式沒有名稱，那要怎麼樣遞迴地自我呼叫？答案是使用 arguments 物件。該物件除了提供一系列的參數以外，還提供了一個叫做 arguments.callee 的屬性。這個屬性所指向的是目前的函式，因此可以用來做遞迴的呼叫：

+ +
var charsInBody = (function(elm) {
+    if (elm.nodeType == 3) { // TEXT_NODE
+        return elm.nodeValue.length;
+    }
+    var count = 0;
+    for (var i = 0, child; child = elm.childNodes[i]; i++) {
+        count += arguments.callee(child);
+    }
+    return count;
+})(document.body);
+
+ +

由於 arguments.callee 是目前的函式，而所有的函式都是物件，你可以因此用 arguments.callee 來在多次呼叫同個函式之間儲存資料。這個函式會記得它被呼叫過多少次：

+ +
function counter() {
+    if (!arguments.callee.count) {
+        arguments.callee.count = 0;
+    }
+    return arguments.callee.count++;
+}
+
+> counter()
+0
+> counter()
+1
+> counter()
+2
+
+ +

自訂物件

+ +

就典型的物件導向程式設計而言，物件是資料 (data) 以及運算該資料的方法 (method) 所構成的集合體 (collection)。我們以一個含有姓與名兩個欄位的「person」（人）物件來做為例子。在英文，一個人的姓名有兩種寫法：「名 姓」或「姓, 名」。利用之前探討的函式與物件，寫法如下：

+ +
function makePerson(first, last) {
+    return {
+        first: first,
+        last: last
+    }
+}
+function personFullName(person) {
+    return person.first + ' ' + person.last;
+}
+function personFullNameReversed(person) {
+    return person.last + ', ' + person.first
+}
+> s = makePerson("Simon", "Willison");
+> personFullName(s)
+Simon Willison
+> personFullNameReversed(s)
+Willison, Simon
+
+ +

雖然這樣行得通，可是這樣很醜，在全域命名空間 (global namespace) 裡灑了一堆函式。我們需要把函式「附著」(attach) 到物件上。由於函式也是物件，這麼做並不難：

+ +
function makePerson(first, last) {
+    return {
+        first: first,
+        last: last,
+        fullName: function() {
+            return this.first + ' ' + this.last;
+        },
+        fullNameReversed: function() {
+            return this.last + ', ' + this.first;
+        }
+    }
+}
+> s = makePerson("Simon", "Willison")
+> s.fullName()
+Simon Willison
+> s.fullNameReversed()
+Willison, Simon
+
+ +

這裡出現了之前沒有提過的 'this' 關鍵字。在一個函式內，「this」 指的是目前的物件。其真正的意義是經由你呼叫函數的方式來指定。如果你透過在物件上使用點或中括號記號來呼叫它，這物件就成為「this」。如果在呼叫中沒有使用點記號，「this」就會參考到全域物件. 這經常造成錯誤。舉例來說：

+ +
> s = makePerson("Simon", "Willison")
+> var fullName = s.fullName;
+> fullName()
+undefined undefined
+
+ +

當我們呼叫fullName()，「this」被繫結到全域物件。 既然沒有叫做 first 或 last 的全域變數，我們取得的都是 undefined 。  

+ +

我們可以利用「this」關鍵字的好處來改進我們的 makePerson 函式：

+ +
function Person(first, last) {
+    this.first = first;
+    this.last = last;
+    this.fullName = function() {
+        return this.first + ' ' + this.last;
+    }
+    this.fullNameReversed = function() {
+        return this.last + ', ' + this.first;
+    }
+}
+var s = new Person("Simon", "Willison");
+
+ +

我們引入了另一個關鍵字：「new」。 「new」與「this」有強烈的關係。 他的作用是產生一個全新的空物件，然後呼叫指定的函式，使用新物件的作為函式的「this」。 被「new」呼叫的函式叫做「建構子函數」(constructor functions) 。 

+ +

此時我們可以發現，每次產生一個新的 Person 物件都會在其內部重新產生兩個新的 function 物件。如果這兩個 function 物件只有一份而讓大家共用不是更好嗎？所以

+ +
function personFullName() {
+    return this.first + ' ' + this.last;
+}
+function personFullNameReversed() {
+    return this.last + ', ' + this.first;
+}
+function Person(first, last) {
+    this.first = first;
+    this.last = last;
+    this.fullName = personFullName;
+    this.fullNameReversed = personFullNameReversed;
+}
+
+ +

好了，如此一來我們達到每一個 Person 物件都共用同一組 function 物件了。

+ +

那能不能做的更好呢？

+ +
function Person(first, last) {
+    this.first = first;
+    this.last = last;
+}
+Person.prototype.fullName = function() {
+    return this.first + ' ' + this.last;
+}
+Person.prototype.fullNameReversed = function() {
+    return this.last + ', ' + this.first;
+}
+
+ +

Person.prototype 是一個由所有 Person 物件共享的物件。他將產生一個可供查看的關係鍊 (有個特殊的名字 prototype chain)。任何時候當我們想要使用某個不在 Person 中定義的 property 時，JavaScript 就會到 Person.prototype 裡頭尋找。因此， Person.prototype 就成為一個所有 Person 物件共用且可視的一個共享空間(物件)。這是一個提供強大工具，允許你可以在執行的任何一刻增加物件的相關函式。

+ +
> s = new Person("Simon", "Willison");
+> s.firstNameCaps();
+TypeError on line 1: s.firstNameCaps is not a function
+> Person.prototype.firstNameCaps = function() {
+    return this.first.toUpperCase()
+}
+> s.firstNameCaps()
+SIMON
+
+ +

另外，有趣的是，在 JavaScript 中，你不只能加入東西到你自創的物件，甚至可以加入到 JavaScript 原生的物件中！如下面舉例：

+ +
> var s = "Simon";
+> s.reversed()
+TypeError on line 1: s.reversed is not a function
+> String.prototype.reversed = function() {
+    var r = "";
+    for (var i = this.length - 1; i >= 0; i--) {
+        r += this[i];
+    }
+    return r;
+}
+> s.reversed()
+nomiS
+
+ +

我們新加入 String 的 reversed 函式亦可反應在字串物件上！如下所示：

+ +
> "This can now be reversed".reversed()
+desrever eb won nac sihT
+
+ +

承接以前提過的，prototype 會是 chain 的一部分，是以很直觀的，根就是 Object.prototype 了。在 Object.prototype 提供的眾多函式中包含一個 toString() - 他在當你創建一個字串物件時被呼叫。因此我們可以利用他來對我們的 Person 物件 debug：

+ +
> var s = new Person("Simon", "Willison");
+> s.toString()
+[object Object]
+> Person.prototype.toString = function() {
+    return '<Person: ' + this.fullName() + '>';
+}
+> s
+<Person: Simon Willison>
+
+ +

還記得前面提過的 apply() 嗎？當時我們在 avg.apply() 的第一個參數送進 null。現在我們回過頭來解釋 apply()。其實 apply() 的第一個參數會被當成 "this"。舉例來說，我們可以利用 apply() 實作一個 trivialNew() 使他的效果等同於平時使用的 new()：

+ +
function trivialNew(constructor) {
+    var o = {}; // Create an object
+    constructor.apply(o, arguments);
+    return o;
+}
+
+ +

當我們這樣做時，並不會產生一個類似於 new() 的函式在 prototype 中。此外，apply() 有一個姊妹函式叫做 call，差異在於 call() 接受一個可被擴展的參數串列而非一個陣列。

+ +
function lastNameCaps() {
+    return this.last.toUpperCase();
+}
+var s = new Person("Simon", "Willison");
+lastNameCaps.call(s);
+// Is the same as:
+s.lastNameCaps = lastNameCaps;
+s.lastNameCaps();
+
+ +

巢狀函式

+ +

JavaScript 函式宣告可以放在其他函式內。我們之前有在 makePerson() 函式見過這個。巢狀函式的一樣重要的功能是：它們可以存取其母函式 (parent function) 的領域 (scope) 內的變數：

+ +
function betterExampleNeeded() {
+    var a = 1;
+    function oneMoreThanA() {
+        return a + 1;
+    }
+    return oneMoreThanA();
+}
+
+ +

這對於寫更容易維護的程式碼來說很有用。假如某函式需要其他一兩個函式，而這一兩個函式在整個程式的其他部分都不需要用到，你便可以把這些所謂「工具函式」(utility function) 給巢狀性地包在需要它們的函式內，這個主要函式再從其他地方呼叫。這樣便能保持全域領域 (global scope) 的函式不會太多。不在全域領界內塞太多函式是件好事情。

+ +

這也能反制全域變數 (global variable) 的誘惑。在撰寫複雜的程式碼的時候，常常會有想利用全域變數來在多個函式之間傳遞數值的這種誘惑－－但這麼做，便會導致程式碼非常難以維護。巢狀函式可與其母函式一起共用變數，因此你可以用這個原理來在適當的時機將好幾個函式配在一起，而不用「汙染」全域命名空間 (global namespace)－－這可以稱做「本地變數」 (local variable)。使用此技巧時應當小心，不過，此技巧相當有用。

+ +

閉包

+ +

接著我們介紹一種十分強大卻也常使人困惑的機制：閉包 (closure)。在解釋之前，我們先看看下面這段程式，猜猜執行的結果是什麼。

+ +
function makeAdder(a) {
+    return function(b) {
+        return a + b;
+    }
+}
+x = makeAdder(5);
+y = makeAdder(20);
+x(6)
+?
+y(7)
+?
+
+ +

答案揭曉，makeAdder 創造了一個 "adder" 函式，這個新的 "adder" 接受一個參數並將這個參數和 "adder" 被創造時的參數加在一起。

+ +

這裡發生的事情很類似先前提過的「內部函式」(inner function)：一個新的函式被創造在別的函式內部，並且可以接觸到外面函式的變數。但不同的地方在於，內部函式中一旦回到上層函式，其先前創造的內部函式中的本地變數就消滅了（因為作用域結束了）。但在閉包中，這些本地變數卻依然存在（有一種本地變數在離開作用域的那一刻被凍結的感覺！）－－否則我們上面例子中的 adder 就無法運作了。說到這裡，你應該知道結果了。x(6) 是 11 而 y(7) 是 27。

+ +

更進一步解釋，在 JavaScript 中，只要你開始執行一個函式，那麼就會出現一個「作用域」物件。作用域物件可以根據傳入的參數來做初始化的動作。這聽起來有點類似存放所有全域變數和全域函數的全域物件，但他們卻有幾點不同。首先，一個新的作用域物件是在任何該函式被執行時才產生，而全域物件直接的被使用，而必須進入該作用域才能操作。

+ +

再論 makeAdder。當它被呼叫時，一個新的作用域物件被產生，並且帶著一個 property a 在其中（這是由呼叫 makeAdder 者傳入的）。隨後 makeAdder 回傳一個新創的函式。正常情況下，JavaScript 的垃圾回收機制理應回收這個作用域物件，但在我們的例子中，回傳的函式卻保留了一個可以再次訪問此作用域物件的參照。因此，這個作用域物件便沒被真正回收－－必須等到未來沒有任何參照可以指向它，方能回收。

+ +

多個作用域物件會組成作用域鏈 (scope chain)，類似於 JavaScript 物件系統中的原型鏈。

+ +

簡單地做個結論，閉包是作用域物件和一個函式的組合，反映了其被創造之時的狀態。閉包允許你保留狀態，而這是很常用的功能。

+ +

記憶體流失

+ +

雖然閉包很方便，但卻容易在 IE 中造成記憶體流失。

+ +

JavaScript 是具有垃圾回收特性的語言，物件的生滅都是由執行環境（如瀏覽器）所控制。

+ +
    +
  1. 記憶體配置：創造物件時 
    2. +
  2. 記憶體釋放：當沒有參照可以指向該物件時
    3. +
+ +

當瀏覽器在執行的時候，需要維護來自 DOM 的大量物件。IE 使用自己的垃圾回收機制，而這個管理機制和 JavaScript 的不同－－這就造成了記憶體流失。

+ +

在我們這裡的例子中，記憶體流失源自於環狀的相互參照 (circular reference)－－ JavaScript 物件及原生物件之間的相互參照。以下面的程式為例：

+ +
function leakMemory() {
+    var el = document.getElementById('el');
+    var o = { 'el': el };
+    el.o = o;
+}
+
+ +

此時便發生了記憶體流失。除非 IE 重新啟動，否則 el 和 o 使用的記憶體皆無法被釋放。這種例子容易因不小心而出現。

+ +

其實記憶體流失很難引起注意，除非

+ +
    +
  1. 程式需要長期執行
    2. +
  2. 因記憶體流失而消耗大量的記憶體
    3. +
  3. 迴圈中明顯地浪費記憶體
    4. +
+ +

閉包容易產生記憶體流失。如下舉例 : 

+ +
function addHandler() {
+    var el = document.getElementById('el');
+    el.onclick = function() {
+        this.style.backgroundColor = 'red';
+    }
+}
+
+ +

在這段程式中，我們設定了一個 element，讓它可以在被點選時變紅。這裡形成了記憶體流失。你發現了嗎？因為指向 el 的參照不經意地被由匿名內部函式產生的閉包連結了。這就在 JavaScript 物件 (function) 和原生物件 (el) 之間產生了相互參照。

+ +

在現實生活中充滿了類似的案例，但我們其實可以很容易地處理。看一個簡單的示範：

+ +
function addHandler() {
+    var el = document.getElementById('el');
+    el.onclick = function() {
+        this.style.backgroundColor = 'red';
+    }
+    el = null;
+}
+
+ +

如此一來我們解除了相互參照。

+ +

此外，尚有一種巧妙的方式可以藉由增加一個新的閉包來消除相互參照：

+ +
function addHandler() {
+    var clickHandler = function() {
+        this.style.backgroundColor = 'red';
+    }
+    (function() {
+        var el = document.getElementById('el');
+        el.onclick = clickHandler;
+    })();
+}
+
+ +

在此例子中，隱藏了來自 clickHandler 產生的內容，因而消除了相互參照。

+ +

避免閉包還有另外一種方法：利用 window.onunload 事件消除相互參照。許多事件函示庫都會自動這麼做。

+ +
+

原始文件資訊

+ + +
+ +

 

-- cgit v1.2.3-54-g00ecf