1 又是幾個(gè)基本概念
為什么要說(shuō)又呢？
在討論繼承時(shí)，我們已經(jīng)列出了一些基本概念了，那些概念是跟封裝密切相關(guān)的概念，今天我們要討論的基本概念，主要是跟繼承與多態(tài)相關(guān)的，但是它們跟封裝也有一些聯(lián)系。
1.1 定義和賦值
變量定義是指用
var a;
這種形式來(lái)聲明變量。
函數(shù)定義是指用
function a(...) {...}
這種形式來(lái)聲明函數(shù)。
var a = 1;
是兩個(gè)過(guò)程。第一個(gè)過(guò)程是定義變量 a，第二個(gè)過(guò)程是給變量 a 賦值。
同樣
var a = function(...) {};
也是兩個(gè)過(guò)程，第一個(gè)過(guò)程是定義變量 a 和一個(gè)匿名函數(shù)，第二個(gè)過(guò)程是把匿名函數(shù)賦值給變量 a。
變量定義和函數(shù)定義是在整個(gè)腳本執(zhí)行之前完成的，而變量賦值是在執(zhí)行階段完成的。
變量定義的作用僅僅是給所聲明的變量指明它的作用域，變量定義并不給變量初始值，任何沒(méi)有定義的而直接使用的變量，或者定義但沒(méi)有賦值的變量，他們的值都是 undefined。
函數(shù)定義除了聲明函數(shù)所在的作用域外，同時(shí)還定義函數(shù)體結(jié)構(gòu)。這個(gè)過(guò)程是遞歸的，也就是說(shuō)，對(duì)函數(shù)體的定義包括了對(duì)函數(shù)體內(nèi)的變量定義和函數(shù)定義。
通過(guò)下面這個(gè)例子我們可以更明確的理解這一點(diǎn)：

猜猜這個(gè)程序執(zhí)行的結(jié)果是什么？然后執(zhí)行一下看看是不是跟你想的一樣，如果跟你想的一樣的話，那說(shuō)明你已經(jīng)理解上面所說(shuō)的了。
這段程序的結(jié)果很有意思，雖然第一個(gè) alert(a) 在最前面，但是你會(huì)發(fā)現(xiàn)它輸出的值竟然是 function a() {}，這說(shuō)明，函數(shù)定義確實(shí)在整個(gè)程序執(zhí)行之前就已經(jīng)完成了。
再來(lái)看 b，函數(shù) b 定義在變量 b 之前，但是第一個(gè) alert(b) 輸出的仍然是 function b() {}，這說(shuō)明，變量定義確實(shí)不對(duì)變量做什么，僅僅是聲明它的作用域而已，它不會(huì)覆蓋函數(shù)定義。
最后看 c，第一個(gè) alert(c) 輸出的是 undefined，這說(shuō)明 var c = function() {} 不是對(duì)函數(shù) c 定義，僅僅是定義一個(gè)變量 c 和一個(gè)匿名函數(shù)。
再來(lái)看第二個(gè) alert(a)，你會(huì)發(fā)現(xiàn)輸出的竟然是 a，這說(shuō)明賦值語(yǔ)句確實(shí)是在執(zhí)行過(guò)程中完成的，因此，它覆蓋了函數(shù) a 的定義。
第二個(gè) alert(b) 當(dāng)然也一樣，輸出的是 b，這說(shuō)明不管賦值語(yǔ)句寫(xiě)在函數(shù)定義之前還是函數(shù)定義之后，對(duì)一個(gè)跟函數(shù)同名的變量賦值總會(huì)覆蓋函數(shù)定義。
第二個(gè) alert(c) 輸出的是 function() {}，這說(shuō)明，賦值語(yǔ)句是順序執(zhí)行的，后面的賦值覆蓋了前面的賦值，不管賦的值是函數(shù)還是其它對(duì)象。
理解了上面所說(shuō)的內(nèi)容，我想你應(yīng)該知道什么時(shí)候該用 function x(..) {…}，什么時(shí)候該用 var x = function (…) {…} 了吧？
最后還要提醒一點(diǎn)，eval 中的如果出現(xiàn)變量定義和函數(shù)定義，則它們是在執(zhí)行階段完成的。所以，不到萬(wàn)不得已，不要用 eval！另外，即使要用 eval，也不要在里面用局部變量和局部方法！
1.2 this 和執(zhí)行上下文
在前面討論封裝時(shí)，我們已經(jīng)接觸過(guò) this 了。在對(duì)封裝的討論中，我們看到的 this 都是表示 this 所在的類(lèi)的實(shí)例化對(duì)象本身。真的是這樣嗎？
先看一下下面的例子吧：

為什么是這樣的結(jié)果呢？
那就先來(lái)看看什么是執(zhí)行上下文吧。那什么是執(zhí)行上下文呢？
如果當(dāng)前正在執(zhí)行的是一個(gè)方法，則執(zhí)行上下文就是該方法所附屬的對(duì)象，如果當(dāng)前正在執(zhí)行的是一個(gè)創(chuàng)建對(duì)象（就是通過(guò) new 來(lái)創(chuàng)建）的過(guò)程，則創(chuàng)建的對(duì)象就是執(zhí)行上下文。
如果一個(gè)方法在執(zhí)行時(shí)沒(méi)有明確的附屬于一個(gè)對(duì)象，則它的執(zhí)行上下文是全局對(duì)象（頂級(jí)對(duì)象），但它不一定附屬于全局對(duì)象。全局對(duì)象由當(dāng)前環(huán)境來(lái)決定。在瀏覽器環(huán)境下，全局對(duì)象就是 window 對(duì)象。
定義在所有函數(shù)之外的全局變量和全局函數(shù)附屬于全局對(duì)象，定義在函數(shù)內(nèi)的局部變量和局部函數(shù)不附屬于任何對(duì)象。
那執(zhí)行上下文跟變量作用域有沒(méi)有關(guān)系呢？
執(zhí)行上下文與變量作用域是不同的。
一個(gè)函數(shù)賦值給另一個(gè)變量時(shí)，這個(gè)函數(shù)的內(nèi)部所使用的變量的作用域不會(huì)改變，但它的執(zhí)行上下文會(huì)變?yōu)檫@個(gè)變量所附屬的對(duì)象（如果這個(gè)變量有附屬對(duì)象的話）。
Function 原型上的 call 和 apply 方法可以改變執(zhí)行上下文，但是同樣不會(huì)改變變量作用域。
要理解上面這些話，其實(shí)只需要記住一點(diǎn)：
變量作用域是在定義時(shí)就確定的，它永遠(yuǎn)不會(huì)變；而執(zhí)行上下文是在執(zhí)行時(shí)才確定的，它隨時(shí)可以變。
這樣我們就不難理解上面那個(gè)例子了。this.method1() 這條語(yǔ)句（注意，這里說(shuō)的還沒(méi)有進(jìn)入這個(gè)函數(shù)體）執(zhí)行時(shí)，正在創(chuàng)建對(duì)象，那當(dāng)前的執(zhí)行上下文就是這個(gè)正在創(chuàng)建的對(duì)象，所以 this 指向的也是當(dāng)前正在創(chuàng)建的對(duì)象，在 this.method1() 這個(gè)方法執(zhí)行時(shí)（這里是指進(jìn)入函數(shù)體），這個(gè)正在執(zhí)行的方法所附屬的對(duì)象也是這個(gè)正在創(chuàng)建的對(duì)象，所以，它里面 this.x 的 this 也是同一個(gè)對(duì)象，所以你看的輸出就是 I'm a object variable! 了。
而在執(zhí)行 method1() 這個(gè)函數(shù)時(shí)（是指進(jìn)入函數(shù)體后），method1() 沒(méi)有明確的附屬于一個(gè)對(duì)象，雖然它是定義在 class1 中的，但是他并沒(méi)有不是附屬于 class1 的，也不是附屬于 class1 實(shí)例化后的對(duì)象的，只是它的作用域被限制在了 class1 當(dāng)中。因此，它的附屬對(duì)象實(shí)際上是全局對(duì)象，因此，當(dāng)在它當(dāng)中執(zhí)行到 alert(this.x) 時(shí)，this.x 就成了我們?cè)谌汁h(huán)境下定義的那個(gè)值為 “I'm a global variable!” 的 x 了。
method2() 雖然是在 class1 中定義的，但是 method() 是在 class1 之外定義的，method 被賦值給 method2 時(shí)，并沒(méi)有改變 method 的作用域，所以，在 method2 執(zhí)行時(shí)，仍然是在 method 被定義的作用域內(nèi)執(zhí)行的，因此，你看到的就是兩個(gè) I'm a global variable! 輸出了。同樣，this.method2() 調(diào)用時(shí)，alert(x) 輸出 I'm a global variable! 也是這個(gè)原因。
因?yàn)?call 會(huì)改變執(zhí)行上下文，所以通過(guò) method1.call(this) 和 method2.call(this) 時(shí)，this.x 都變成了 I'm a object variable!。但是它不能改變作用域，所以 x 仍然跟不使用 call 方法調(diào)用時(shí)的結(jié)果是一樣的。
而我們后面執(zhí)行 o.method1() 時(shí)，alert(x) 沒(méi)有用 this 指出 x 的執(zhí)行上下文，則 x 表示當(dāng)前執(zhí)行的函數(shù)所在的作用域中最近定義的變量，因此，這時(shí)輸出的就是 I'm a private variable!。最后輸出 I'm a object variable! 我想不用我說(shuō)大家也知道為什么了吧？
2 繼承和多態(tài)
2.1 從封裝開(kāi)始
前面我們說(shuō)了，封裝的目的是實(shí)現(xiàn)數(shù)據(jù)隱藏。
但是更深一層來(lái)說(shuō)，在 javascript 中進(jìn)行封裝還有以下幾個(gè)好處：
1、隱身實(shí)現(xiàn)細(xì)節(jié)，當(dāng)私有部分的實(shí)現(xiàn)完全重寫(xiě)時(shí)，并不需要改變調(diào)用者的行為。這也是其它面向?qū)ο笳Z(yǔ)言要實(shí)現(xiàn)封裝的主要目的。
2、javascript 中，局部變量和局部函數(shù)訪問(wèn)速度更快，因此把私有字段以局部變量來(lái)封裝，把私有方法以局部方法來(lái)封裝可以提高腳本的執(zhí)行效率。
3、對(duì)于 javascript 壓縮混淆器（據(jù)我所知，目前最好的 javascript 分析、壓縮、混淆器就是 JSA）來(lái)說(shuō)，局部變量和局部函數(shù)名都是可以被替換的，而全局變量和全局函數(shù)名是不可以被替換的（實(shí)際上，對(duì)于 javascript 腳本解析器工作時(shí)也是這樣的）。因此，不論對(duì)于開(kāi)源還是非開(kāi)源的 javascript 程序，當(dāng)私有字段和私有方法使用封裝技術(shù)后，編寫(xiě)代碼時(shí)就可以給它們定義足夠長(zhǎng)的表意名稱(chēng)，增加代碼的可讀性，而發(fā)布時(shí)，它們可以被替換為一些很短的名稱(chēng)（一般是單字符名稱(chēng)），這樣就可以得到充分的壓縮和混淆。及減少了帶寬占用，又可以真正實(shí)現(xiàn)細(xì)節(jié)的隱藏。
所以，封裝對(duì)于 javascript 來(lái)說(shuō)，是非常有用的！
那么在 javascript 實(shí)現(xiàn)繼承是為了什么呢？
2.2 為什么要繼承
在其它面向?qū)ο蟪绦蛟O(shè)計(jì)語(yǔ)言中，繼承除了可以減少重復(fù)代碼的編寫(xiě)外，最大的用處就是為了實(shí)現(xiàn)多態(tài)。尤其是在強(qiáng)類(lèi)型語(yǔ)言中，尤為如此：
1、在強(qiáng)類(lèi)型語(yǔ)言中，一個(gè)變量不能夠被賦予不同類(lèi)型的兩個(gè)值，除非這兩種類(lèi)型與這個(gè)變量的類(lèi)型是相容的，而這個(gè)相容的關(guān)系就是由繼承來(lái)實(shí)現(xiàn)的。
2、在強(qiáng)類(lèi)型語(yǔ)言中，對(duì)一個(gè)已有的類(lèi)型無(wú)法直接進(jìn)行方法的擴(kuò)充和改寫(xiě)，要擴(kuò)充一個(gè)類(lèi)型，唯一的方法就是繼承它，在它的子類(lèi)中進(jìn)行擴(kuò)充和改寫(xiě)。
因此，對(duì)于強(qiáng)類(lèi)型的面向?qū)ο笳Z(yǔ)言，多態(tài)的實(shí)現(xiàn)是依賴(lài)于繼承的實(shí)現(xiàn)的。
而對(duì)于 javascript 語(yǔ)言來(lái)說(shuō)，繼承對(duì)于實(shí)現(xiàn)多態(tài)則顯得不那么重要：
1、在 javascript 語(yǔ)言中，一個(gè)變量可以被賦予任何類(lèi)型的值，且可以用同樣的方式調(diào)用任何類(lèi)型的對(duì)象上的同名方法。
2、在 javascript 語(yǔ)言中，可以對(duì)已有的類(lèi)型通過(guò)原型直接進(jìn)行方法的擴(kuò)充和改寫(xiě)。
所以，在 javascript 中，繼承的主要作用就是為了減少重復(fù)代碼的編寫(xiě)。
接下來(lái)我們要談的兩種實(shí)現(xiàn)繼承的方法可能大家已經(jīng)都很熟悉了，一種是原型繼承法，一種是調(diào)用繼承法，這兩種方法都不會(huì)產(chǎn)生副作用。我們主要討論的是這兩種方法的本質(zhì)和需要注意的地方。
2.3 原型繼承法
在 javascript 中，每一個(gè)類(lèi)（函數(shù)）都有一個(gè)原型，該原型上的成員在該類(lèi)實(shí)例化時(shí)，會(huì)傳給該類(lèi)的實(shí)例化對(duì)象。實(shí)例化的對(duì)象上沒(méi)有原型，但是它可以作為另一個(gè)類(lèi)（函數(shù)）的原型，當(dāng)以該對(duì)象為原型的類(lèi)實(shí)例化時(shí)，該對(duì)象上的成員就會(huì)傳給以它為原型的類(lèi)的實(shí)例化對(duì)象上。這就是原型繼承的本質(zhì)。
原型繼承也是 javascript 中許多原生對(duì)象所使用的繼承方法。

上面這個(gè)例子很好的反映出了如何利用原型繼承法來(lái)實(shí)現(xiàn)繼承。

最新評(píng)論