前端開發必須知道的JS（一） 原型和繼承

原型和閉包是Js語言的難點，此文主要講原型及原型實現的繼承，在（二）中會講下閉包，希望對大家有所幫助。若有疑問或不正之處，歡迎提出指正和討論。

一、原型與構造函數

Js所有的函數都有一個prototype屬性，這個屬性引用了一個對象，即原型對象，也簡稱原型。這個函數包括構造函數和普通函數，我們講的更多是構造函數的原型，但是也不能否定普通函數也有原型。譬如普通函數：

以下為引用的內容：

function F(){
　　;
}
alert(F.prototype instanceof Object) //true

構造函數，也即構造對象。首先了解下通過構造函數實例化對象的過程。

以下為引用的內容：

function A(x){
　　this.x=x;
}
var obj=new A(1);

實例化obj對象有三步：

1. 創建obj對象：obj=new Object();

2. 將obj的內部__proto__指向構造他的函數A的prototype，同時，obj.constructor===A.prototype.constructor(這個是永遠成立的，即使A.prototype不再指向原來的A原型，也就是說：類的實例對象的constructor屬性永遠指向"構造函數"的prototype.constructor)，從而使得obj.constructor.prototype指向A.prototype（obj.constructor.prototype===A.prototype，當A.prototype改變時則不成立，下文有遇到）。obj.constructor.prototype與的內部_proto_是兩碼事，實例化對象時用的是_proto_，obj是沒有prototype屬性的，但是有內部的__proto__，通過__proto__來取得原型鏈上的原型屬性和原型方法，FireFox公開了__proto__，可以在FireFox中alert（obj.__proto__）；

3. 將obj作為this去調用構造函數A，從而設置成員（即對象屬性和對象方法）並初始化。

當這3步完成，這個obj對象就與構造函數A再無聯系，這個時候即使構造函數A再加任何成員，都不再影響已經實例化的obj對象了。此時，obj對象具有了x屬性，同時具有了構造函數A的原型對象的所有成員，當然，此時該原型對象是沒有成員的。

原型對象初始是空的，也就是沒有一個成員（即原型屬性和原型方法）。可以通過如下方法驗證原型對象具有多少成員。

以下為引用的內容：

var num=0;
for(o in A.prototype) {
　　alert(o);//alert出原型屬性名字
　　num++;
}
alert("member: " + num);//alert出原型所有成員個數。

但是，一旦定義了原型屬性或原型方法，則所有通過該構造函數實例化出來的所有對象，都繼承了這些原型屬性和原型方法，這是通過內部的_proto_鏈來實現的。

譬如

A.prototype.say=function(){alert("Hi")};

那所有的A的對象都具有了say方法，這個原型對象的say方法是唯一的副本給大家共享的，而不是每一個對象都有關於say方法的一個副本。

二. 原型與繼承

首先，看個簡單的繼承實現。

以下為引用的內容：

1 function A(x){
2 　　this.x=x;
3 } 

4  function B(x,y){
5 　　this.tmpObj=A;
6 　　this.tmpObj(x);
7 　　delete this.tmpObj;
8 　　this.y=y;
9 }

第5、6、7行：創建臨時屬性tmpObj引用構造函數A，然後在B內部執行，執行完後刪除。當在B內部執行了this.x=x後（這裡的this是B的對象），B當然就擁有了x屬性，當然B的x屬性和A的x屬性兩者是獨立，所以並不能算嚴格的繼承。第5、6、7行有更簡單的實現，就是通過call(apply)方法：A.call(this,x);
這兩種方法都有將this傳遞到A的執行裡，this指向的是B的對象，這就是為什麼不直接A(x)的原因。這種繼承方式即是類繼承（js沒有類，這裡只是指構造函數），雖然繼承了A構造對象的所有屬性方法，但是不能繼承A的原型對象的成員。而要實現這個目的，就是在此基礎上再添加原型繼承。

通過下面的例子，就能很深入地了解原型，以及原型參與實現的完美繼承。（本文核心在此）

以下為引用的內容：

 1 function A(x){
2 　　this.x = x;
3 }
4 A.prototype.a = "a";
5 function B(x,y){
6 　　this.y = y;
7 　　A.call(this,x);
8 }
9 B.prototype.b1 = function(){
10 　　alert("b1");
11 }
12 B.prototype = new A();
13 B.prototype.b2 = function(){
14 　　alert("b2");
15 }
16 B.prototype.constructor = B;
17 var obj = new B(1,3);

這個例子講的就是B繼承A。第7行類繼承：A.call(this.x);上面已講過。實現原型繼承的是第12行：B.prototype = new A();

就是說把B的原型指向了A的1個實例對象，這個實例對象具有x屬性，為undefined，還具有a屬性，值為"a"。所以B原型也具有了這2個屬性（或者說，B和A建立了原型鏈，B是A的下級）。而因為方才的類繼承，B的實例對象也具有了x屬性，也就是說obj對象有2個同名的x屬性，此時原型屬性x要讓位於實例對象屬性x，所以obj.x是1，而非undefined。第13行又定義了原型方法b2，所以B原型也具有了b2。雖然第9~11行設置了原型方法b1，但是你會發現第12行執行後，B原型不再具有b1方法，也就是obj.b1是undefined。因為第12行使得B原型指向改變，原來具有b1的原型對象被拋棄，自然就沒有b1了。

第12行執行完後，B原型（B.prototype）指向了A的實例對象，而A的實例對象的構造器是構造函數A，所以B.prototype.constructor就是構造對象A了（換句話說，A構造了B的原型）。

alert(B.prototype.constructor)出來後就是"function A(x){...}" 。同樣地，obj.constructor也是A構造對象，alert(obj.constructor)出來後就是"function A(x){...}" ，也就是說B.prototype.constructor===obj.constructor（true），但是B.prototype===obj.constructor.prototype（false），因為前者是B的原型，具有成員：x,a,b2，後者是A的原型，具有成員：a。如何修正這個問題呢，就在第16行，將B原型的構造器重新指向了B構造函數，那麼