這篇文章主要介紹了JavaScript中原型和原型鏈詳解,本文說明了私有變數與函數、靜態變數與函數、實例變數與函數、原型與原型鏈結的基本概念,需要的朋友可以參考下
javascript中的每個物件都有一個內建的屬性prototype,Javascript中物件的prototype屬性的解釋是:傳回物件類型原型的引用。意思是prototype屬性保存著另一個JavaScript物件的引用,這個物件作為目前物件的父物件。
# 許多書籍上都會說到如何在JS 當中定義“類別”,通常來講就是使用如下程式碼:
1 function foo () {2 this.x = 1;3 this.y = 2;4 }5 var obj = new foo(); //{x:1, y:2}
其實這一個很糟糕的語言機制,我們首先要明確,在JS 當中根本沒有「類別」這種東西。在了解它之前,我們要先來了解下 JS 的發展歷史。
JavaScript 隨著網路和瀏覽器而誕生,在早年,網路還比較貧乏,上網的成本也比較高,網速非常的慢,通常需要花很長的時間才能傳輸完一個純文字的HTML 檔案。所以那時候 Netscape 就提出,需要有一個解決方案,能使一些操作在客戶端進行而不需要通過伺服器處理,比如用戶在填寫郵箱的時候少寫了一個“@”,在客戶端就可以檢查出錯誤並提示使用者而不需要在伺服器進行解析,這樣就可以極大的降低通訊操作帶來了延遲和頻寬消耗。而那時候,正巧 JAVA 問世,火的那叫個一塌糊塗,所以 Netscape 決定和 SUN 合作,在瀏覽器當中植入 JAVA 小程式(後來稱Java applet)。不過後來就這項方案產生了爭議,因為瀏覽器本來只需要很小的操作,而JAVA 語言本身太「重」了,用來處理什麼表單驗證的問題實在是大材小用,所以決定開發一門新的語言來支援客戶端的輕量級操作,而又要藉鏡JAVA 的語法。於是乎 Netscape 開發了一門新的輕量級語言,在語法方面偏向於C 和JAVA,在資料結構方面偏向於JAVA,這門語言最初叫做 Mocha,後來經過多年的演變,變成了現在的JavaScript。
故事說道這裡,好像和本文並沒有什麼關係...別急,馬上就要說道點子上了。這個語言為什麼要取名為JavaScript 呢,其實它和JAVA 沒有半毛錢的關係,只是因為在那點年代,物件導向方法問世才不久,所有的程式設計師都推崇學習物件導向方法,再加上JAVA的橫空出世和大力宣傳,只要和JAVA 沾邊的東西就像是往臉上貼了金一樣,自帶光環。所以便藉助了JAVA 的名氣來進行宣傳,不過光是嘴皮子宣傳還不行,因為物件導向方法的推崇,大家都習慣於物件導向的語法,也就是new Class() 的方法編寫代碼。不過 JavaScript 語言本身並沒有類別的概念,其是多種語言的大雜燴,為了更貼合習慣了物件導向語法的程式設計師,於是 new 運算子誕生了。
好了,說了這麼大一堆故事,就是想告訴同學們,new 操作子在JavaScript 當中本身就是一個充滿歧義的東西,它並不存在類的概念,只是貼合程式設計師習慣而已。那麼在 JavaScript 當中 new 運算子和物件究竟有什麼關係呢?思考下面這一段程式碼:
1 function foo () {2 this.x = 1;3 this.y = 2;4 return {5 z:36 }7 }8 var obj = new foo(); //{z:3}
咦?发生了什么奇怪的事情,x 和 y 哪里去了?实际上 new 操作符并不是传统面向对象语言那样,创建一个类的实例,new 操作符实际上只是在引擎内部帮我们在函数的开始创建好了一个对象,然后将函数的上下文绑定到这个对象上面,并在函数的末尾返回这个对象。这里需要注意的问题是,如果我们手动的返回了一个对象,那么按照函数执行机制,一旦返回了一个值,那么该函数也就执行结束,后面的代码将不会执行,所以说在刚才的例子中我们得到的对象只是我们手动定义的对象,并不是引擎帮我们创建的对象。 new 操作符实际上类似于以下操作:
1 function foo () {2 //新创建一个对象,将 this 绑定到该对象上3 4 //在这里编写我们想要的代码5 6 //return this;7 }
不过需要注意的是,new 操作符只接受 Object 类型的值,如果我们手动返回的是基本类型,则还是会返回 this :
1 function foo () {2 this.x = 1;3 this.y = 2;4 return 0;5 }6 var obj = new foo(); //{x:1, y:2}
现在我们现在可以将 new 操作符定义成以下方法:
1 function newOpertor (cls, ...args) { 2 var obj = {}; 3 cls.apply(obj, args); 4 return obj; 5 } 6 7 function foo (x, y) { 8 this.x = x; 9 this.y = y;10 }11 12 var obj = newOpertor(foo, 1, 2); //{x:1, y:2}
JavaScript 中存在类似继承的机制,但是又不是标准面向对象的继承,在 JS 中使用的是原型的机制。要记住,在 JS 中只有对象,没有类,对象的继承是由原型来实现,笼统的来说可以这样理解,一个对象是另一个对象的原型,那么便可以把它比作父类,子类既然也就继承了父类的属性和方法。
1 function foo () {2 this.x = 1;3 this.y = 2;4 }5 6 foo.prototype.z = 37 8 var obj = new foo();9 console.log(obj.z); //3
[[prototype]] 是函数的一个属性,这个属性的值是一个对象,该对象是所有以该函数为构造器创造的对象的原型。可以把它近似的理解为父类对象,那么相应的,子类自然会继承父类的属性和方法。不过为什么要区分原型继承和类继承的概念呢?标准的面向对象方法,类是不具有实际内存空间,只是一个事物的抽象,对象才是事物的实体,而通过继承得到的属性和方法,同属于该对象,不同的对象各自都拥有独立的继承而来的属性。不过在 JavaScript 当中,由于没有类的概念,一直都是对象,所以我们“继承”的,是一个具有实际内存空间的对象,也是实体,也就是说,所有新创建的子对象,他们共享一个父对象(后面我统称为原型),不会拥有独立的属性:
1 function foo () { 2 this.x = 1; 3 this.y = 2; 4 } 5 6 foo.prototype.z = 3 7 8 var obj1 = new foo(); 9 10 console.log(obj1.z); //311 12 foo.prototype.z = 213 14 console.log(obj1.z); //2
还记得我们之前所说的 new 操作符的原理吗?new 操作符的本质不是实例化一个类,而是引擎贴合习惯了面向对象编程方法的程序员,所以说 [[prototype]] 属性本质上也是 new 操作符的一个副产物。这个属性只在函数上面有意义,该属性定义了 new 操作符产生的对象的原型。除了 [[prototype]] 可以访问到对象原型以外,还有一个非标准的方法,在每一个对象中都有一个 __proto__ 属性,这个属性直接关联到了该对象的原型。这种方法没有写入 W3C 的标准规范,但是却得到了浏览器的广泛支持,许多浏览器都提供了该方法以供访问对象的原型。(个人觉得 __proto__ 比 [[prototype]] 更能体现原型链的本质)
1 function foo () { 2 this.x = 1; 3 this.y = 2; 4 } 5 6 foo.prototype.z = 3 7 8 var obj1 = new foo(); 9 10 console.log(obj1.__proto__); //{z:3}
除了使用 new 操作符和函数的 [[prototype]] 属性定义对象的原型之外,我们还可以直接在对象上显示的通过 __proto__ 来定义,这种定义对象原型的方式更能够体现出 JavaScript 语言的本质,更能够使初学者理解原型链继承的机制。
1 var father = {x:1};2 3 var child = {4 y:2,5 __proto__:father6 };7 8 console.log(child.x); //1
现在我们来完成之前那个自定义 new 操作(如果你还不能理解这个函数,没有关系,跳过它,这并不影响你接下来的学习):
1 function newOpertor (cls, ...args) { 2 var obj = Object.create(cls.prototype); 3 cls.apply(obj, args); 4 return obj; 5 } 6 7 function foo (x, y) { 8 this.x = x; 9 this.y = y;10 }11 12 foo.prototype.z = 313 14 var obj1 = newOpertor(foo, 1, 2)15 16 console.log(obj1.z); //3
介绍完原型之后,同学们需要明确以下几个概念:
JavaScript 采用原型的机制实现继承;
原型是一个具有实际空间的对象,所有关联的子对象共享一个原型;
那么 JavaScript 当中的原型是如何实现相互关联的呢?JS 引擎又是如何查找这些关联的属性呢?如何实现多个对象的关联形成一条原型链呢?
1 var obj1 = { 2 x:1 3 } 4 5 var obj2 = { 6 y:2, 7 __proto__:obj1 8 } 9 10 var obj3 = {11 z:3,12 __proto__:obj213 }14 15 console.log(obj3.y); //216 console.log(obj3.x); //1
在上面这段代码,我们可以看出,对象的原型可以实现多层级的关联的操作,obj1 是 obj2 的原型, obj2 同时又是 obj3 的原型,这种多层级的原型关联,就是我们常说的原型链。在访问一个处于原型链当中的对象的属性,会沿着原型链对象一直向上查找,我们可以把这种原型遍历操作看成是一个单向的链表,每一个处于原型链的对象都是链表当中的一个节点,JS 引擎会沿着这条链表一层一层的向下查找属性,如果找到了一个与之匹配的属性名,则返回该属性的值,如果在原型链的末端(也就是 Object.prototype)都没有找到与之匹配的属性,则返回 undefined。要注意这种查找方式只会返回第一个与之匹配的属性,所以会发生属性屏蔽:
1 var obj1 = { 2 x:1 3 } 4 5 var obj2 = { 6 x:2, 7 __proto__:obj1 8 } 9 10 var obj3 = {11 x:3,12 __proto__:obj213 }14 15 console.log(obj3.x); //3
若要访问原型的属性,则需要一层的一层的先向上访问原型对象:
1 console.log(obj3.__proto__.x); //22 console.log(obj3.__proto__.__proto__.x); //1
要注意的一点是,原型链的遍历只会发生在 [[getter]] 操作上,也就是取值操作,也可以称之为右查找(RHS)。相反,若是进行 [[setter]] 操作,也就是赋值操作,也可以称作左查找(LHS),则不会遍历原型链,这条原则保证了我们在对对象进行操作的时候不会影响到原型链:
1 var obj1 = { 2 x:1 3 } 4 5 var obj2 = { 6 __proto__:obj1 7 } 8 9 console.log(obj2.x); //110 11 obj2.x = 2;12 13 console.log(obj2.x); //214 console.log(obj1.x); //1(并没有发生变化)
在遍历原型链中,如果访问带有 this 引用的方法,可能会发生令你意想不到的结果:
1 var obj1 = { 2 x:1, 3 foo: function () { 4 console.log(this.x); 5 } 6 } 7 8 var obj2 = { 9 x:2,10 __proto__:obj111 }12 13 obj2.foo(); //2
在上面的内容中,我们讨论过,对象的原型相当于父类,我们可以继承它所拥有的属性和方法,所以在我们访问 foo() 函数的时候时候,实际上调用该方法的对象是 obj2 而不是 obj1。关于更详细的内容,需要了解 this 和上下文绑定,这不在本篇文章的讨论范围之内。
关于原型链的问题,大家需要理解的一点是,任何对象的原型链终点,都是 Object.prototype,可以把 Object 理解为所有对象的父类,类似于 JAVA 一样,所以说所有对象都可以调用一些 Object.prototype 上面的方法,比如 Object.prototype.valueOf() 以及 Object.prototype.toString() 等等。所有的 string 类型,其原型为 String.prototype ,String.prototype 是一个对象,所以其原型也就是 Object.prototype。这就是我们为什么能够在一个 string 类型的值上调用一些方法,比如 String.prototype.concat() 等等。同理所有数组类型的值其原型是 Array.prototype,数字类型的值其原型是 Number.prototype:
1 console.log({}.__proto__ === Object.prototype); //true2 3 console.log("hello".__proto__ === String.prototype); //true4 5 console.log(1..__proto__ === Number.prototype); //true6 //注意用字面量访问数字类型方法时,第一个点默认是小数标志7 8 console.log([].__proto__ === Array.prototype); //true
理解了原型链的遍历操作,我们现在就可以学习如何添加属于自己的方法。我们现在知道了所有字符串的原型都是 String.prototype ,那么我们可以对其进行修改来设置我们自己的内置方法:
1 String.prototype.foo = function () {2 return this + " foo";3 }4 5 console.log("bar".foo()); //bar foo
所以说,在处理一些浏览器兼容性问题的时候,我们可以直接修改内置对象来兼容一些旧浏览器不支持的方法,比如 String.prototype.trim() :
1 if (!String.prototype.trim) {2 String.prototype.trim = function() {3 return this.replace(/^[\s\uFEFF\xA0]+|[\s\uFEFF\xA0]+$/g, '');4 };5 }
不过需要注意,切忌随意修改内置对象的原型方法,一是因为这会带来额外的内存消耗,二是这可能会在系统中造成一些隐患,一般只是用来做浏览器兼容的 polyfill 。
for ... in 语句会遍历原型链上所有可枚举的属性(关于属性的可枚举性质,可以参考 《JavaScript 常量定义》),有时我们在操作的时候需要忽略掉原型链上的属性,只访问该对象上的属性,这时候我们可以使用 Object.prototype.hasOwnProperty() 方法来判断属性是否属于原型属性:
1 var obj1 = { 2 x:1, 3 } 4 5 var obj2 = { 6 y:2, 7 __proto__:obj1 8 } 9 10 for(var key in obj2){11 console.log(obj2[key]); //2, 112 }13 14 for(var key in obj2){15 if(obj2.hasOwnProperty(key)){16 console.log(obj2[key]); //217 }18 }
我们知道通过 new 操作符创建的对象可以通过 instanceof 关键字来查看对象的“类”:
1 function foo () {}2 3 var obj = new foo();4 5 console.log(obj instanceof foo); //true
实际上这个操作也是不严谨的,我们现在已经知道了 new 操作符在 JavaScript 当中本是一个具有歧义设计,instanceof 操作符本身也是一个会让人误解的操作符,它并没有实例这种说法,实际上这个操作符只是判断了对象与函数原型的关联性,也就是说其返回的是表达式 object.__proto__ === function.prototype 的值。
1 function foo () {} 2 3 var bar = { 4 x:1 5 } 6 7 foo.prototype = bar 8 9 var obj = {10 __proto__: bar11 }12 13 console.log(obj instanceof foo); //true
在这一段代码中,我们可以看出 obj 和 foo 并没有任何关系,只是 obj 的原型和 foo.prototype 关联到了同一个对象上面,所以其结果会返回 true。
不过对基本类型类型使用 instanceof 方法的话,可能会产生意外的结果:
1 console.log("1" instanceof String); //false2 3 console.log(1 instanceof Number); //false4 5 console.log(true instanceof Boolean); //false
但是我们同样可以使用使用字面量调用原型的方法,这可能会让人感到困惑,不过我们不用担心它,并不是原型链出现什么毛病,而是在对基本类型进行字面量操作的时候,会涉及到隐式转换的问题。JS 引擎会先将字面量转换成内置对象,然后在调用上面的方法,隐式转换问题不在本文的讨论范围之类,大家可以参考 Kyle Simpson — 《你不知道的 JavaScript (中卷)》。
实际对象的 Object.prototype.isPrototypeOf() 方法更能体现出对象原型链的关系,此方法判断一个对象是否是另一个对象的原型,不同于 instanceof 的是,此方法会遍历原型链上所有的节点,若有匹配项则返回 true:
1 var obj1 = { 2 } 3 4 var obj2 = { 5 __proto__:obj1 6 } 7 8 var obj3 = { 9 __proto__:obj210 }11 12 console.log(obj2.isPrototypeOf(obj3)); //true13 console.log(obj1.isPrototypeOf(obj3)); //true14 console.log(Object.prototype.isPrototypeOf(obj3)); //true
在 ES5 当中拥有标准方法 Object.getPrototypeOf() 可以供我们获得一个对象的原型,在ES6 当中拥有新的方法 Object.setPrototypeOf() 可以设置一个对象的原型,不过在使用之前请先查看浏览器兼容性。
1 var obj1 = { 2 x:1 3 } 4 5 var obj2 = { 6 y:2 7 } 8 9 Object.setPrototypeOf(obj2, obj1);10 11 console.log(Object.getPrototypeOf(obj2) === obj1); //true
我们现在知道,通过 new 操作符创建的对象,其原型会关联到函数的 [[prototype]] 上面,实际上这是一个很糟糕的写法,一味的贴合面向对象风格的编程模式,使得很多人无法领域 JavaScript 当中的精髓。许多书籍都会写到 JavaScript 中有许多奇怪的地方,然后教你如何避开这些地雷,实际上这不是一个好的做法,并不是因为 JavaScript 是一门稀奇古怪的语言,而是我们不愿意去面对它的特性,正确的理解这些特性,才能让我们写出更加高效的程序。Object.create() 方法对于对象之间的关联和原型链的机制更加清晰,比 new 操作符更加能够理解 JavaScript 的继承机制。该方法创建一个新对象,并使新对象的原型关联到参数对象当中:
1 var obj1 = {2 x:13 }4 5 var obj2 = Object.create(obj1);6 7 console.log(obj1.isPrototypeOf(obj2)); //true
不过使用的时候还需要注意浏览器的兼容性,下面给出 MDN 上面的 polyfill:
1 (function() { 2 if (typeof Object.create != 'function') { 3 Object.create = (function() { 4 function Temp() {} 5 var hasOwn = Object.prototype.hasOwnProperty; 6 return function(O) { 7 if (typeof O != 'object') { 8 throw TypeError('Object prototype may only be an Object or null'); 9 }10 Temp.prototype = O;11 var obj = new Temp();12 Temp.prototype = null;13 if (arguments.length > 1) {14 var Properties = Object(arguments[1]);15 for (var prop in Properties) {16 if (hasOwn.call(Properties, prop)) {17 obj[prop] = Properties[prop];18 }19 }20 }21 return obj;22 };23 })();24 }25 })();
关于 Object.create() 方法要注意的一点是,如果参数为 null 那么会创建一个空链接的对象,由于这个对象没有任何原型链,所以说它不具有任何原生的方法,也无法进行原型的判断操作,这种特殊的对象常被称作“字典”,它完全不会受原型链的干扰,所以说适合用来存储数据:
1 var obj = Object.create(null); 2 obj.x = 1 3 4 var bar = Object.create(obj); 5 bar.y = 2; 6 7 console.log(Object.getPrototypeOf(obj)); //null 8 9 console.log(Object.prototype.isPrototypeOf(obj)); //false10 11 console.log(obj instanceof Object); //false12 13 console.log(bar.x); //114 15 obj.isPrototypeOf(bar); //TypeError: obj.isPrototypeOf is not a function16 17 /**18 * 注意由于对象没有关联到 Object.prototype 上面,所以无法调用原生方法,但这并不影响此对象的关联操作。19 */
原型链是 JavaScript 当中非常重要的一点,同时也是比较难理解的一点,因为其与传统的面向对象语言有着非常大的区别,但这是正是 JavaScript 这门语言的精髓所在,关于原型与原型链,我们需要知道以下这几点:
JavaScript 通过原型来实现继承操作;
几乎所有对象都有原型链,其末端是 Object.prototype;
原型链上的 [[getter]] 操作会遍历整条原型链,[[setter]] 操作只会针对于当前对象;
我们可以通过修改原型链上的方法来添加我们想要的操作(最好不要这样做);
关于 JavaScript 原型链,在一开始人们都称为“继承”,其实这是一种不严谨的说法,因为这不是标准的面向对象方法,不过初期人人常常这么理解。现在我往往称之为关联和委托,关联指的是一个对象关联到另一个对象上,而委托则指的是一个对象可以调用另一个对象的方法。
以上是JavaScript 原型鍊是什麼?的詳細內容。更多資訊請關注PHP中文網其他相關文章!