JavaScript執行原理
知其然,也要知其所以然,這裡主要談一談對JavaScript執行原理的理解。
JAVA虛擬機器
首先我們從JAVA虛擬機器說起。
首先說一下為什麼要做成虛擬機器,因為機器不同,如果沒有虛擬機器我們就相當於需要針對每一種機器都要進行程式碼編譯,這樣肯定是不合理的。所以為了解決這樣的問題,Java引入虛擬機器(VM)的概念,讓編譯後的程式碼直接跑在一臺虛擬的機器上,無論最終的目標平臺是什麼,都在上面構建出一個虛擬的一致的虛擬機器出來,就可以達到一次編譯到處執行的效果了。
而從根本上來說Java和C#不是Native語言,編譯的結果不是機器指令,而是某種自有的指令格式,自己執行不了,需要專門的程式去解釋執行,這個程式就是我們所說的“虛擬機器”。
反之,C、C++、Go、Rust這種語言是Native語言,編譯出來的結果是機器指令,可以自己直接執行,不存在“虛擬機器”的概念。
JavaScript引擎
而JavaScript引擎所做的工作和JAVA虛擬機器很相似
做了什麼
JS引擎主要是對JS程式碼進行詞法、語法等分析,通過編譯器將程式碼編譯成可執行的機器碼讓計算機去執行。
簡單來說它的唯一的目的就是讀取和編譯JavaScript程式碼,也就是說可以分析、解釋、優化、垃圾回收javascript程式碼。
執行過程
JavaScript引擎會載入原始碼,把它分解成字串(又叫做分詞),再把這些字串轉換成編譯器可以理解的位元組碼,然後執行這些位元組碼。
Google的V8引擎是用C++ 編寫的,它也能夠編譯並執行JavaScript原始碼、處理記憶體分配和垃圾回收。它被設計成由兩個編譯器組成,可以把原始碼直接編譯成機器碼,具體的執行過程可以看成以下幾步:
- 它進行詞法分析,就是將原始碼分解成一系列具有明確含義的符號或字串。
- 然後用語法分析器分析這些符號,將其構建成語法樹。
- 接著四個 JIT(Just-In-Time)程式開始參與進來,分析和執行解析器所生成的位元組碼。
與ECMAScript的關係
準確地講,每個JavaScript引擎都實現了一個版本的ECMAScript,JavaScript是它的一個分支。隨著ECMAScript的不斷髮展,JavaScript引擎也不斷改進。之所以有這麼多不同的引擎,是因為它們每個都被設計執行在不同的web瀏覽器、headless瀏覽器、或者像Node.js那樣的執行時環境中。
JavaScript引擎是一段程式,我們寫的JavaScript程式碼也是程式,如何讓程式去讀懂程式呢?這就需要定義規則。比如:
var a = 1 + 1
左邊var代表了這是申明(declaration),它申明瞭a這個變數
右邊的+表示要將1和1做加法
中間的等號表示了這是個賦值語句
最後的分號表示這句語句結束了
上述這些就是規則,有了它就等於有了衡量的標準,JavaScript引擎就可以根據這個標準去解析JavaScript程式碼了。那麼這裡的ECMAScript就是定義了這些規則。其中ECMAScript 62這份文件,就是對JavaScript這門語言定義了一整套完整的標準。其中包括:
var,if,else,break,continue等是JavaScript的關鍵詞
abstract,int,long等是JavaScript保留詞
怎麼樣算是數字、怎麼樣算是字串等等
定義了操作符(+,-,>,<等)
定義了JavaScript的語法
定義了對錶達式,語句等標準的處理演算法,比如遇到==該如何處理
標準的JavaScript引擎就會根據這套文件去實現,注意這裡強調了標準,因為也有不按照標準來實現的,比如IE的JS引擎。這也是為什麼JavaScript會有相容性的問題。至於為什麼IE的JS引擎不按照標準來實現,就要說到瀏覽器大戰了,這裡就不贅述了,自行Google之。
所以,簡單的說,ECMAScript定義了語言的標準,JavaScript引擎根據它來實現,這就是兩者的關係。
RunTime
執行時可以簡單理解為當前的執行環境,不同的環境提供了不同的api呼叫,如web瀏覽器中的window物件,DOM相關API等,這些介面可以提供相關的JS呼叫,