不得不看之JavaScript構造函數及new運算符

JS中的函數即可以是構造函數又可以當作普通函數來調用，當使用new來創建對象時，對應的函數就是構造函數，通過對象來調用時就是普通函數。

普通函數的創建有：顯式聲明、匿名定義、new Function() 等三種方式。

當通過new來創建一個新對象時，JS底層將新對象的原型鏈指向了構造函數的原型對象，于是就在新對象和函數對象之間建立了一條原型鏈，通過新對象可以訪問到函數對象原型prototype中的方法和屬性。

和其他高級語言一樣 Javascript 中也有構造函數和 new 運算符，我們知道 new 是用來實例化一個類，從而在內存中分配一個實例對象。 但在 Javascript 中，萬物皆對象，為什么還要通過 new 來產生對象？ 本文將帶你一起來探索 Javascript 中 new 的奧秘…

1、認識new運算符

function Animal(name){
this.name = name;
}
 Animal.color = "black";
 Animal.prototype.say = function(){
console.log("I'm " + this.name);
 };
 var cat = new Animal("cat");

 console.log(
 cat.name, //cat
 cat.color //undefined
 );
 cat.say(); //I'm cat

 console.log(
 Animal.name, //Animal
 Animal.color //back
 );
 Animal.say(); //Animal.say is not a function

2、代碼解讀

1-3行創建了一個函數Animal,并在其this上定義了屬性:name,name的值是函數被執行時的形參。

第4行在Animal對象（Animal本身是一個函數對象）上定義了一個靜態屬性:color,并賦值“black”

5-7行在Animal函數的原型對象prototype上定義了一個say()方法，say方法輸出了this的name值。

第8行通過new關鍵字創建了一個新對象cat

10-14行cat對象嘗試訪問name和color屬性，并調用say方法。

16-20行Animal對象嘗試訪問name和color屬性，并調用say方法。

3、重點解析

第8行代碼是關鍵：

var cat = new Animal("cat");

Animal 本身是一個普通函數，但當通過new來創建對象時，Animal就是構造函數。

JS引擎執行這句代碼時，在內部做了很多工作，用偽代碼模擬其工作流程如下：

new Animal("cat") = {

var obj = {};

obj.__proto__ = Animal.prototype;

var result = Animal.call(obj,"cat");

return typeof result === 'object'? result : obj;
}

（1）創建一個空對象obj;

（2）把obj的proto指向構造函數Animal的原型對象prototype，此時便建立了obj對象的原型鏈：obj->Animal.prototype->Object.prototype->null

（3）在obj對象的執行環境調用Animal 函數并傳遞參數“cat”。 相當于var result = obj.Animal(“cat”)。

（4）考察第3步返回的返回值，如果無返回值或者返回一個非對象值，則將obj返回作為新對象；否則會將返回值作為新對象返回。

理解了其運行機制以后，我們知道cat其實就是過程（4）的返回值，因此我們對cat對象的認知就多了一些：

cat的原型鏈是：cat->Animal.prototype->Object.prototype->null


cat上新增了一個屬性：name

分析完了cat的產生過程，我們再看看輸出結果：

cat.name -> 在過程（3）中，obj對象就產生了name屬性。因此cat.name就是這里的obj.name

cat.color -> cat會先查找自身的color，沒有找到便會沿著原型鏈查找，在上述例子中，我們僅在Animal對象上定義了color,并沒有在其原型鏈上定義，因此找不到。

cat.say -> cat會先查找自身的say方法，沒有找到便會沿著原型鏈查找，在上述例子中，我們在Animal的prototype上定義了say,因此在原型鏈上找到了say方法。

另外，在say方法中還訪問this.name，這里的this指的是其調用者obj,因此輸出的是obj.name的值。

對于Animal來說，它本身也是一個對象，因此，它在訪問屬性和方法時也遵守上述查找規則，所以：

Animal.color -> “black”

Animal.name -> “Animal” , Animal先查找自身的name,找到了name, 但這個name不是我們定義的name,而是函數對象內置的屬性。

一般情況下，函數對象在產生時會內置name屬性并將函數名作為賦值（僅函數對象）。

Animal.say -> Animal在自身沒有找到say方法，也會沿著其原型鏈查找，話說Animal的原型鏈是什么呢？

從測試結果看：Animal的原型鏈是這樣的：

Animal->Function.prototype->Object.prototype->null

因此Animal的原型鏈上沒有定義say方法！

4、new存在的意義

認識了new運算符之后，我們再回到開篇提到的問題：JS中萬物皆對象，為什么還要通過new來產生對象？

要弄明白這個問題，我們首先要搞清楚cat和Animal的關系：

通過上面的分析，我們發現cat繼承了Animal中的部分屬性，因此我們可以簡單的理解：Animal和cat是繼承關系。

另一方面，cat是通過new產生的對象，那么cat到底是不是Animal的實例對象？ 我們先來了解一下JS是如何來定義“實例對象”的？

A instanceof B
如果上述表達式為true,JS認為A是B的實例對象，我們用這個方法來判斷一下cat和Animal

cat instanceof Animal; //true
從執行結果看：cat確實是Animal實例，要想證實這個結果，我們再來了解一下JS中instanceof的判斷規則：

var L = A.__proto__;
var R = B.prototype;
if(L === R)
return true;

如果A的proto 等價于 B的prototype，就返回true

在new的執行過程（2）中，cat的proto指向了Animal的prototype，所以cat和Animal符合instanceof的判斷結果。

因此，我們認為：cat 是Animal的實例對象。

5、總結

在Javascript中, 通過new可以產生原對象的一個實例對象，而這個實例對象繼承了原對象的屬性和方法。因此，new存在的意義在于它實現了Javascript中的繼承，而不僅僅是實例化了一個對象！

以上就是這篇文章的全部內容了，希望本文的內容對大家的學習或者工作能帶來一定的幫助~如果有疑問大家可以留言交流，謝謝大家對億速云的支持!