摘要：隨后，它出現在公司之后的瀏覽器，以及從微軟從起發布的所有瀏覽器上。標準的第版在年月的大會上被表決接受。第版在年月底大會上被采納。

??本系列譯文的初衷旨在希望更多人能夠了解關于JS的一些基本概念，遇到原理性的問題時多去翻翻文檔，而不是在社區無休止的重復提出某些在文檔中能夠非常方便快捷就能找到的東西。

??精力和水平有限，所以暫時只打算嘗試翻譯前面幾章概括性的介紹，同時后面的章節大多都是步驟形式的偽代碼或者實現流程，按照這些步驟一步一步推敲即可。比如，要查xxx和xxx進行==比較時到底是怎么樣進行的，就可以直接看規范7.2節，個人認為，比看文章，記憶總結出來的圖表，都更直觀且有說服力。

??由于筆者水平有限，知識的深度和廣度也不是很夠，僅僅是出于上面提到的初衷才想去做這件事。翻譯過程定會存在諸多疏漏與錯誤，還望批評指正～

由于單篇文章有長度限制（最后我才知道，因為之前在本地md編輯器里面寫。。），所以分為兩篇文章來發布。另外數學公式有些語法sf并不支持，比如行類公式，但是為了表達準確沒有刪除，大家盡量理解，抱歉抱歉。

下面開始正文。

??Ecma標準定義了ECMAScript 2018語言。它是ECMAScript語言規范的第9版。自從在1997年發布第1版以來，ECMAScript已經成長為世界上最為廣泛使用的編程語言之一。因為被內嵌入web瀏覽器而被廣泛熟知，但是同樣也廣泛地適用于服務端和嵌入式應用程序。

??ECMAScript基于幾項原始的技術，其中最為熟知是Netscape的JavaScript和Microsoft的JScript。ECMAScript是Brendan Eich在Netscape公司的時候被發明的，第一次出現則是在他們公司的Navigator 2.0瀏覽器上。隨后，它出現在Netscape公司之后的瀏覽器，以及從微軟從IE 3.0起發布的所有瀏覽器上。

??而ECMAScript語言規范的發展則要追溯到1996年的那個11月。Ecma標準的第1版在1997年7月的Ecma大會上被表決接受。

??Ecma標準在"快速通道"的幫助下被提交給ISO/IEC JTC 1，并在1998年的4月底ISO/IEC 16262會議上投票通過作為國際標準。1998年6月的Ecma大會投票通過了ECMA-262的第2版，使之與ISO/IEC 16262保持一致。第1版與第2版的區別是社論性質的。

??標準的第3版介紹了強大的正則表達式，更好的字符串處理，新的控制語句，try/catch異常處理，更嚴格的錯誤定義，數字輸出格式化，以及一些其他的隨著語言的發展在未來可能出現的一些微小的變化。ECMAScript規范的第3版在1999年12月被Ecma委員會采用，并于2002年6月在ISO/IEC 16262:2002上發布。

??在發布了第3版之后，ECMAScript和萬維網得到了巨大的認可和結合，本質上它已經成為了被所有瀏覽器支持的編程語言。同時，開發ECMAScript第4版的工作也已完成。然而，那些工作的成果是不完整的，也沒有被作為ECMAScript的第4版發布。但是其中的一部分被合并進了第6版之中。

??ECMAScript的第5版（作為ECMA-262第5版發布）將那些在瀏覽器實現中已經很常見的語言規范作為事實性的解釋寫進了規范。并且增加了對那些自從第3版發布以來的新特性的支持。這樣的新特性包括，訪問器屬性（即get,set,enumerable,configurable），reflective creation and inspection of objects，對數據屬性的控制（即value,writable,enumerable,configurable），更多的可以操作數組的函數（map,reduce等），支持JSON對象編碼格式，支持提供了加強了的錯誤檢查和程序安全檢查的嚴格模式等等。第5版被2009年12月的Ecma大會所采納。

??第5版被提交給ISO/IEC JTC 1，并且在2011年的ISO/IEC 16262:2011上被作為國際標準被通過。ECMAScript標準的5.1版進行了一些小的修正，并與ISO/IEC 16262:2011保持一致。第5.1版在2011年6月底Ecma大會上被采納。

??備受關注的第6版的開發于2009年開始，當時第5版正準備發布。然而，一些重大的實驗和那些可以追溯到1999年第3版的發布時的語言增強方面的設計工作卻使得第6版領先于第5版。

??從真正意義上來講，第6版的完成將這15年來的努力推向了頂峰。增加這些東西的初衷和目標有很多，包括對大型應用提供更好的支持，庫（library）的創建，還有將ECMAScript作為其他語言的編譯結果的用法。同時，也包括一些重大的增強，如模塊系統，類（class）聲明，詞法塊級作用域，迭代器（iterator）和產生器（generator），為異步編程而生的promise，解構，以及適當的尾部調用。

??ECMAScript中內置的庫得以擴充，目的是提供更多的數據抽象功能。如，map，set，數組二進制操作（TypedArray），字符串填充（`aa ${xx}`），正則表達式改進。內置庫同樣也通過子類來擴充。第6版是增量式的語言和庫增強，于2015年6月在大會上被采納。

??ECMAScript規范是Ecam TC39的第一個發布版，新的發布策略將會每年發布一次新版本，并且公布進展過程。純文本的源文檔從ECMAScript 2015源文檔開始時在Github上建立，目的是為更進一步的發展提供一個基礎。

??在標準發展的這些年，提交了數以百計的pr和issue，它們為我們修復了很多bug，編輯錯誤以及其他方面的提升。除此之外，眾多的軟件工具被創造，幫助了我們。如Ecmarkup, Ecmarkdown, 以及Grammarkdown。規范同時也提供了對新的求冪運算符（**）的以及數組的includes方法的支持。

??代表不同組織的眾多個人也為Ecma TC39現在及之前的發展做出來很多顯著的貢獻。除此之外，也出現了一個支持TC39并為ECMAScript努力的充滿活力的社區。這個社區review了大量的草案，報告了大量的bug，并對實現進行了實驗，貢獻了測試相關的工具，使全世界的ECMAScript的開發者從中受益。原諒我們，無法對這些做出努力的貢獻者們一一感謝。

Allen Wirfs-Brock
ECMA-262第6版編輯

Brian Terlson
ECMA-262第7版編輯

譯注：除了上面提到的兩個，其實tc39的成員真的個個都非常厲害，他們來講微軟，谷歌，mozilla，facebook等等等等，如果你經常watch的話，就會發現這些人真的值得學習，你可能在whatwg，css，各種規范/協議的地方都能找到他們的身影，他們有的人gh上并沒有太多東西，但是卻絲毫掩蓋不了他們的智慧。所以，多找找差距，加油吧，不要再進行無意義的撕逼了～（最后一句其實是好幾個月前寫的。。）

??本規范定義了ECMAScript 2018通用程序語言。

??一個合法的ECMAScript標準的實現必須提供和支持所有的類型，值，對象，屬性，函數以及本規范中描述的程序語法及語義。

??一個合法的ECMAScript標準的實現必須采用最新版本的Unicode標準和ISO/IEC 10646標準統一且一致的解釋輸入的源文本（代碼）。

??一個提供了應用程序接口的合法的ECMAScript標準的實現，需要在這些接口中，支持不同自然語言和國家的人們的語言和文化傳統。同時必須實現在ECMA-402最新版中定義的與本規范兼容的接口。

??一個合法的ECMAScript標準的實現也許會提供額外的類型，值，對象，屬性以及那些超過當期規范的函數（譯注：即未來版本）。特別要注意的是，這些實現也許會提供某些在規范中有描述的對象的未在規范中描述的屬性以及這些屬性對應的值。

??一個合法的ECMAScript標準的實現也許會支持一些沒有在規范中提及的程序或者正則表達式語法。特別的來說，一個合法的ECMAScript標準的實現也許會支持一些利用未來的保留字的語法。

??一個合法的ECMAScript標準的實現絕對不能實現任何在16.2節中列出的禁止的擴展。

??下面的文檔鏈接對于本規范的應用程序是必不可少的。對于標注了日期的引用，代表只適用于標注的那個版本。對于沒有標注日期的引用，則適用于最新的版本（包括修正案）。

??ISO/IEC 10646:2003：信息技術 - 通用多八位（Multiple-Octet）編碼字符集，以及2005修正案1，2006修正案2，2008修正案3，2008修正案4，以及額外的修正案，勘誤，后續標準。

??ECMA-402，ECMAScript 2015國際化API規范

??ECMA-404，JSON數據交換格式

??這一節對ECMAScript語言進行一個不太規范的概述。

??ECMAScript是一門面向對象的程序語言，目的是在宿主環境中計算和操作那些計算的東西。這里定義的ECMAScript的意圖并不是自己給自己定下計算規則，事實上，規范中并沒有規定輸入的外部數據，以及該輸出怎樣的計算結果。

??事實上，我們期望ECMAScript的計算環境不僅能夠提供對象和其他我們描述的事物，而且能夠提供某些具體環境下的對象，關于這些對象的描述和行為已經超出了本規范的職責范圍，除非它們能提供某些可以在ECMAScript語言中被訪問的屬性和函數（譯注：如全局對象，不同瀏覽器特有的某些對象）。

??ECMAScript最初被設計用來作為一門腳本語言，但是現在已經被廣泛地作為一門通用語言使用。腳本語言是一門被用作計算，定制以及自動化處理現有系統中的各個元素的程序語言。在這樣的系統中，通過用戶接口我們已經能獲得很多有用的功能，腳本語言就是為了將這些功能暴露給程序去控制的一種機制。通過這樣的方式，現有的系統能夠為這些對象和元素提供一個宿主環境，腳本語言才能發揮自己的功能。一門腳本語言是為專業的和非專業的程序員使用的。

??ECMAScript最初是被設計為一種Web腳本語言，目的是提供一種讓Web頁面更加富有生機的機制，并且能夠在基于Web的客戶端-服務端架構（譯注：即BS架構）下做一些原本要在服務端進行的計算。ECMAScript現在被用作在各種各樣的宿主環境中提供核心腳本功能。因此，本文檔描述的是除了任何特定的宿主環境外的語言核心本身。

??ECMAScript的用法已經遠遠超過了普通的腳本語言，現在它被用作許多不同環境下的編程任務的各個方面。隨著ECMAScript用法的擴充，它也擁有越來越多的特性。現在，ECMAScript已經是一門功能完備的通用語言。

??一些ECMAScript的功能與其他我們使用的程序語言是相似的，特別是下面描述到的C，$JAVA^{TM}$，Self以及Scheme：

??ISO/IEC 9899:1996, Programming Languages – C

??Gosling, James, Bill Joy and Guy Steele. The Java? Language Specification. Addison Wesley Publishing Co., 1996.

??Ungar, David, and Smith, Randall B. Self: The Power of Simplicity. OOPSLA "87 Conference Proceedings, pp. 227-241, Orlando, FL, October 1987.

??IEEE Standard for the Scheme Programming Language. IEEE Std 1178-1990.

??Web瀏覽器為客戶端計算提供了一個ECMAScript宿主環境，這些計算包括很多，例如，代表窗口（windows），菜單，彈出框，對話框，文本域，錨點，frame，history，cookies以及輸入輸出的對象。

??進一步來說，宿主環境提供了一種方式，能夠將腳本代碼附加到諸如焦點改變，頁面和圖片加載、卸載、錯誤、中斷，選擇某個區域，表單提交，鼠標動作這樣的事件上。腳本代碼出現在HTML以及展示的頁面里，是一種與那些用戶接口元素，固定的或者計算后的文本，以及圖片的結合。腳本代碼對用戶交互進行響應，對主程序是沒有必要的。

??Web服務器則為服務端計算提供不同的宿主環境，例如，代表請求（requests），客戶端（clients），文件的對象。以及鎖住和共享數據的機制。通過瀏覽器端和服務端腳本的共同使用，我們能夠對基于Web的應用程序提供自定義的用戶接口，從而讓在客戶端和服務端上的計算達到一個平衡。

??每一個支持ECMAScript的Web瀏覽器和服務器提供了屬于它們自己的宿主環境，從而完善ECMAScript執行環境。

??以下是一個ECMAScript的非正式的概述-并不會描述語言的所有部分。這個概述不是標準的一部分。

??ECMAScript是基于對象的：語言的基礎和宿主功能都通過對象的方式提供，一個ECMAScript程序是一個互相有聯系的對象的集群。在ECMAScript中，一個對象是一個集合，這個集合包含0到多個屬性，每個屬性定義了這個屬性是用來做什么的。例如，當一個屬性的Writable屬性被設置為false的時候，任何嘗試去給這個屬性賦值為與之前不同值的ECMAScript代碼都不會成功。屬性是控制其它對象，原始值或者函數的容器。一個原始值是下列內置類型之一：Undefined, Null, Boolean, Number, String, 以及Symbol。一個對象（object）屬于Object這種內置類型。一個函數（function）是一個可調用的對象。一個函數通過一個叫做method的屬性與一個對象相關聯。

??ECMAScript定義了一系列的內置對象，用于完成對ECMAScript實體的定義。這些內置對象包括全局對象，以及語言的運行時語義基本對象，它們包括Object, Function, Boolean, Symbol,不同的Error對象（譯注：如Error，SyntaxError，TypeError等等），代表和操作數值的Math, Number，Date。處理文本的String，RegExp，建立索引來存儲對象的集合的Array，9種不同類型的Typed Arrays（譯注：Int8Array()，Uint8Array()，Uint8ClampedArray()，Int16Array()等等），有鍵值的集合Map和Set，支持結構化數據的JSON，ArrayBuffer, SharedArrayBuffer, DataView，支持控制抽象的generator函數，Promise，最后是反射對象Proxy，Reflect。

??同時ECMAScript也定義了一系列的內置操作符。ECMAScript操作符包括一元操作符，乘法操作符，加法操作符，位運算操作符（譯注：即<<，>>，>>>），關系操作符（譯注：即>，>=，<，<=，instanceof，in），相等操作符，二進制位操作符（譯注：即^，&，|），二進制邏輯操作符(譯注：即&&，||)，賦值操作符，逗號操作符。

??大型的ECMAScript程序需要模塊的支持，它允許一個程序被劃分為多個語句和聲明的序列。每個模塊顯式地識別它用到的由其它模塊提供的聲明，同時它自己內部的聲明也能被其他模塊所用。（譯注：這里的聲明是指import，export這種，而不是變量聲明）

??ECMAScript語法有意地模仿了Java語法（譯注：這一句和后面的應該沒有聯系，是多帶帶的兩句話）。ECMAScript語法是寬松的，可以激活它作為一門易于使用的腳步語言。例如，一個變量不需要進行類型聲明，它的屬性也與類型不相關聯（譯注：應該是指一個可以先后將不同類型的值賦值給同一個變量），函數聲明不必出現在函數調用之前。

4.2.1 對象（Objects）

??盡管ECMAScript包含了定義一個類的語法，但是ECMAScript對象從根本上來說并不是像C++，Smalltalk，Java那樣基于類的。對象可以通過多種方式創建，如通過字面量或者構造函數創建，然后執行初始化所有或者部分屬性的代碼。構造函數是一個擁有"prototype"屬性的函數，"prototype"被用作實現基于原型的繼承以及共享屬性。對象通過構造函數在new表達式中創建，new Date(2009,11)創建一個Date對象。不通過new的方式調用一個構造函數會產生一些后果，這些后果由那個構造函數決定。例如，直接調用Date()會產生一個表示當前日期的字符串，而不是一個對象。

                           圖1 Object/Prototype 關系

??每個通過構造函數創建的對象都有一個隱式的引用（被叫做對象的原型）指向構造函數的"prototype"屬性。除此之外，一個原型也許有一個非null的隱式引用指向它自己的原型，這樣的層層傳遞，被稱作原型鏈。當一個引用指向一個對象中的某個屬性的時候，那個引用就指向在原型鏈中第一個含有這個引用名的對象。換句話說，首先會檢查這個對象本身是否含有那個屬性，如果有，那么這個引用就指向那個屬性，如果沒有，就去這個對象的原型中檢查，然后重復這些步驟。

??通常，在一個基于類的面向對象語言中，狀態被實例所持有，方法被類所持有，繼承只是結構和行為。在ECMAScript中，狀態和方法都被對象所持有，結構，行為，狀態都被繼承。

??所有非對象自身的屬性，都通過對象的原型來共享屬性以及屬性的值，圖1解釋了這一切：

??CF是一個構造函數（同時也是一個對象）。這里通過new操作符已經創建了5個對象（譯注：即new CF()）：cf1，cf2，cf3，cf4，以及cf5。這5個對象中的每一個都包含了q1和q2屬性（譯注：即執行了cf1.q1=xxx,cf2.q1=xxx）。虛線展示了隱式的原型關系。所以，例如，cf3的隱式原型是CFp（譯注：即cf3.__proto__或者Object.getPrototypeOf(cf3)都等于CFp）。構造函數CF有兩個它本身的屬性P1和P2，對于CFp，cf1，cf2，cf3，cf4，以及cf5來說都是不可見的（譯注：即無法通過CFP.p1,cf1.p2這樣的方式訪問，這里的P1和P2是指的CF.P1=xxx和CF.P2=xxx，即靜態/static屬性，不要理解成在CF這個構造函數里寫this.P1=xxx和this.P2=xxx，那樣叫做實例屬性）。原型（即CFp）上的CFP1屬性被cf1，cf2，cf3，cf4，以及cf5共享（但是不被CF共享，（譯注：即無法通過CF.CFP1訪問）），任何在CFp的隱式原型鏈中的屬性也遵循這樣的規則，注意在這里CF和CFp之間沒有隱式的原型引用（譯注：正因為如此，所以CF.CFP1才為undefined，CF的隱式原型是Function.prototype）。

??不同于大多數基于類的語言，ECMAScript通過給對象的某個屬性賦值，可以動態的給對象添加屬性。也就是說，構造函數并不是唯一的可以給構造出來的對象添加屬性的方式。在上圖中，我們可以通過給CFP添加一個新的屬性，從而達到給cf1，cf2，cf3，cf4，以及cf5新增一個共享的屬性。

??盡管ECMAScript對象本質上不是基于類的，我們還是可以基于一個常見的模式，即構造函數，原型對象以及類方法來很方便的定義"模擬類"（class-like，譯注：即類似于類這種結構，與類數組概念相仿，這里的"模擬類"是筆者自己想的，如果有更好的表述，歡迎指正）抽象。那些ECMAScript內置對象也遵循這樣的"模擬類"模式（譯注：即也是通過構造函數，原型對象以及類方法來定義的）。從ECMAScript 2015開始，ECMAScript語言包含了類定義語法，允許程序員簡潔的定義符合"模擬類"抽象模式的對象，內置對象也采取了這種方式來定義。

??ECMAScript語言意識到也許有些ECMAScript語言的用戶會希望能夠在語言中約束某些特性的用法。他們這么做也許是出于安全考慮，避免讓他們考慮那些容易出錯的特性，從而加強錯誤檢查，或者是由于其它原因它們想這么做。為了支持這樣的選擇，ECMAScript定義了一個語言的嚴格變體。這個語言的嚴格變體除去了某些常規的ECMAScript語言擁有的特定的語法和語義特性，并且修改了某些特性的具體語義。嚴格變體也指定了額外的錯誤條件，它們必須通過拋出錯誤異常來報告，在語言的非嚴格模式下是沒有指定的這些錯誤的。

??ECMAScript的嚴格變體通常被稱為語言的嚴格模式。嚴格模式的選擇，以及嚴格模式語法和語義的使用，是以單個的ECMAScript源文本作為單位的。因為嚴格模式是在語法源文本單元這個層級上選擇，嚴格模式只會給在這樣的源文本單元內有局部影響的文本加上限制。嚴格模式并不限制或者修改任何ECMAScript語義方面的東西，語義必須在多個源文本之間都是一致的。一個完整的ECMAScript程序也許即存在嚴格模式又存在非嚴格模式的ECMAScript源文本單元。在這樣的情況下，嚴格模式只適用于執行定義在嚴格模式內的源代碼文本單元。（譯注：如

function foo(){
  function bar1(){
    "use strict"
     console.log(this);
  }
  bar1();
  
  function bar2() {
    console.log(this);
  }
  bar2();
}

只有bar1才會輸出undefined）。

??為了遵循這個規范，一個ECMAScript實現必須即實現完整的非嚴格模式的ECMAScript語言，同時也實現本規范定義的ECMAScript語言的嚴格變體。除此之外，一個實現必須支持非嚴格模式和嚴格模式的源代碼文本單元的混合，把它們變成一個單一的復合程序。

??出于本文檔的需要，規定了以下術語和定義。

??指定義在本規范的條款6中的數據值的集合

??指定義在條款6中的Undefined, Null, Boolean, Number, Symbol,以及String的其中之一的成員

注：一個原始值是直接代表本語言實現的最低層級的基準

譯注：從這里開始，會出現“注”，這是規范里本身所含有的，并不是筆者添加的注，筆者添加到注會寫明“譯注”二字，請注意區分。原文為NOTE，這里翻譯為了“注”，

??指Object類型的成員

注：一個對象是一個屬性的集合，并且只有一個唯一原型對象。原型對象可能為null。

??指創建和初始化對象的函數對象

注：構造函數的prototype屬性是一個被用來實現實現繼承和共享屬性的原型對象

??指一個為其它對象提供共享屬性的對象

注：當一個構造函數創建一個對象時，出于解析屬性引用的目的（譯注：即讓obj.foo和obj["foo"]能夠工作），那個對象將隱式的引用構造函數的prototype屬性。構造函數的prototype屬性能夠通過表達式constructor.prototype被引用，并且添加到原型上的屬性能夠被共享，通過繼承，所有對象共享原型。再者，通過使用使用內置的Object.create函數，一個對象可以被顯式地指定某個原型來創建。

??指擁有必須被所有對象支持的至關重要的內部方法的默認行為的對象。

??指那些沒有一個或多個至關重要的內部方法的默認行為的對象。

注：任何對象不是普通對象就是外來對象

??指那些語義是由本規范定義的對象。

??指那些由ECMAScript的實現指定和提供的對象。

注：標準的內置對象被定義在本規范中。一個ECMAScript實現也許會指定和提供額外的某些內置對象。一個內置構造函數是一個內置對象，同時也是一個構造函數。

??是一個原始值（primitive value），代表當一個變量還未被賦值。

??是一個類型，它的唯一值是undefined。

??是一個原始值,代表任何對象值的有意缺省。

??是一個類型，它的唯一值是null。

??指Boolean類型的成員之一

注：Boolean類型只有兩種值，true和false。

??指包含原始值true和false的類型。

??是Object類型的成員之一，是標準的內置Boolean構造函數的實例。

一個Boolean對象通過使用Boolean構造函數在new表達式中創建，接收一個Boolean值作為參數。返回的結果對象有一個內部的slot（slot在第六章會解釋），它的值是一個Boolean值。一個Boolean對象能夠被轉換為一個Boolean值。（譯注：即拆箱）

??是一個原始值，是一個由0至多個16bit的無符號數字值組成的有限的有序序列。（譯注：即每個字符都由2個字節組成，當然，存在由4個字節組成的字符，這里說的只是js內部的字符串的表示）

一個String值是一個String類型的成員。在上面提到的序列中的每個整數（0-65535）通常代表UTF-16文本中一個單一的16bit單元。

??所有可能的String值的集合。

??是Object類型的成員之一，是標準的內置String構造函數的實例。

一個String對象通過使用String構造函數在new表達式中創建，接收一個String值作為參數。返回的結果對象有一個內部的slot，它的值是一個String值。一個String對象能夠通過調用String構造函數（String(xxx)而不是new String(xxx)）轉換為一個String值。

??是一個原始值，與IEEE-754-2008規范的雙精度64bit二進制格式相對應。

一個Number值是一個Number類型的成員，是一個數字的直接表示。

??是一個所有可能的Number值的集合，包括NaN，正的Infinity以及負的Infinity。

??是Object類型的成員之一，是標準的內置Number構造函數的實例。

一個Number對象通過使用Number構造函數在new表達式中創建，接收一個Number值作為參數。返回的結果對象有一個內部的slot，它的值是一個Number值。一個Number對象能夠通過調用Number構造函數（Number(xxx)而不是new Number(xxx)）轉換為一個Number值。

??是一個Number值，指正的Infinity。

??是一個Number值，指IEEE 754-2008中的“Not-a-Number”值。

??是一個原始值，代表一個唯一的，非字符串的對象的屬性的鍵（key）。

??所有可能的Symbol值的集合

??是Object類型的成員之一，是標準的內置Symbol構造函數的實例。

??是Object類型的成員之一，也許會作為一個子例程被調用。

除了它的屬性外，一個函數包含可執行的代碼和決定當被調用時的行為的狀態。一個函數的代碼可能會也可能不會是ECMAScript書寫的。

??指那些是函數的內置對象。

這樣的例子包括parseInt，Math.exp。一個ECMAScript的實現也許會提供沒有在本規范中描述的依賴于實現的內置函數。

??是對象的一部分，關聯鍵（要么是一個字符串，要么是一個Symbol值）和值

取決于屬性的格式，屬性的值可能作為一個數據值（一個原始值，一個對象，或者一個函數是對象）直接被展示，或者間接地通過一對訪問器函數展示。

??是一個函數，指某個屬性的值。（譯注：即method是function的真子集）

當一個函數被作為一個對象的方法調用時，這個對象將作為這個函數里的this值被傳遞到這個函數中。

??是一個內置函數的方法

標準的內置方法被定義在本規范中，并且ECMAScript實現也許會指定和提供其它的額外的內置方法。

??指定義某些屬性（property）的特征的內部值

??指被對象直接所有的屬性（property）

??指對象的屬性但非自有屬性，是對象的原型的屬性（即原型上的自有屬性或者繼承屬性）。

??本規范剩余部分的組織如下:

??第5章定義了在本規范中使用的一些符號或者語法的約定。

??第6-9章定義了ECMAScript程序操作包含的執行環境。

??第10-16章定義了實際的ECMAScript語言，包括它的語法編碼以及語言特性的執行語義。

??第17-26章定義了ECMAScript標準庫。它們包括所有當ECMAScript程序執行時可用的標準對象的定義。

??一個上下文無關文法由一系列的產生式（productions）組成。每個產生式包含一個稱作非終結符的抽象的符號作為它的左值，以及一系列的0個或多個非終結符和終結符作為它的右值。對于每一個文法，終結符都來自一個具體的字符表（譯注：即符號表）。

??一個文法鏈是一個只含有一個非終結符以及0個或多個終結符作為它的右值的文法。

??從一個包含一個單一的被稱作目標符號的非終結符開始，給出一個指定語言的上下文無關文法。換句話說，所有可能的能由重復地用非終結符在左值的產生式的右值替換這個序列中的任意非終結符推導出的終結符序列。

??一個ECMAScript的詞法文法在條款11中給出。這個文法有它的符號定義在10.1節中的SourceCharacter規則的終結符的Unicode碼點。它定義了一系列的終結符，從目標符號InputElementDiv,InputElementTemplateTail,或者InputElementRegExp,InputElementRegExpOrTemplateTail,它們描述了像這樣的碼點的序列是如何被翻譯成一系列的輸入元素的。

??除了空白符和注釋之外的輸入元素構成了ECMAScript語法文法的終結符，它們被稱作ECMAScript tokens。這些token是ECMAScript語言的保留字，標識符，字面量以及標點符號。此外，盡管行終結符不被當作是token，但是它也是輸入元素流中的一部分，并且引導著自動分號插入機制。簡單的空白符以及單行注釋都被丟棄并且不會出現在語法文法的輸入元素流中。一個多行注釋（也就是說，形如/*…*/，不管占據一行還是多行）也同樣地被丟棄，如果它沒有包含行總結符的話。但是如果一個多行注釋包含了一個或者多個行終結符，那么它就會被替換成一個單一的行終結符，從而成為語法文法輸入元素流中的一部分。

??一個ECMAScript的正則文法在21.2.1中給出。這個文法也包含它的定義在SourceCharacter的碼點的終結符。它定義了一系列的產生式，從目標符號的Pattern開始，描述了這樣的碼點的序列是如何被翻譯成正則表達式的pattern的。

??詞法和正則文法的產生式被用兩個冒號作為分割符（即::）來區分。詞法和正則文法共享一些產生式。

??這是另一個被用作翻譯字符串為數字值的文法（譯注：即將字符串轉換為數字）。這個文法與詞法文法中的一些部分是相似的，都需要與數字字面量相協作，并且有它的終結符SourceCharacter。這個文法出現在7.1.3.1中。

??ECMAScript的語法詞法在條款11，12，13，14以及15中給出。這個文法包含在詞法文法中定義的ECMAScript tokens作為它的終結符。它定義了一系列的產生式，從兩個可選的目標符號Script以及Module開始，描述了形成ECMAScript程序語法上正常的獨立的組件的token是怎樣的序列。

??當一個碼點流將要被解析成一個ECMAScript的Script或者Module時，它首先通過重復的與詞法文法有關的應用程序被轉換成一個輸入元素流。然后這個輸入元素流被解析成一個單一的語法文法的應用程序。如果在這個輸入元素流中的token不能被解析成一個單一的目標非終結符（Script或者Module）的話，這個輸入流在語法上就是錯誤，將不會留下任何的token。

??當一個解析成功的時候，它會構造一顆解析樹（parse tree），一顆有根的樹的結構是它的每個節點（Node）都是一個Parse節點。每個Parse節點是一個文法中的符號的實例。它代表了一個對于那些能從這樣的符號中派生出來的源代碼文本的跨度。解析樹的根節點代表著整個的源代碼文本，是一個解析的目標符號的實例。當一個Parse節點是一個非終結符的實例的時候，它也是一個某些將這個非終結符作為左值的產生式的實例。此外，它有0個或多個children，產生式右值中的每個符號：每個child都是一個是相應符號的實例的Parse節點。

??語法文法的產生式被用一個冒號作為分割符（即:）來區分

??語法文法在條款12，13，14以及15中提出。但是對于哪些token序列是正確的被ECMAScript Script或者Module接受的解釋得并不完整。一些額外的token序列也能被接受，換句話說，那些序列將會被文法描述，只要分號被加入到序列中的某些地方（比如在行終結符之前）。此外，某些通過文法描述的token序列不會被接受，如果一個行終結符出現在某些“尷尬”的地方。

??在某些案例中，為了避免歧義，語法文法使用廣義的產生式，允許token序列不形成一個合法的ECMAScript Script或者Module。例如，這項技術
被用作對象字面量和對象解構模式中。在這樣的場景中，更多的限制性的補充的文法被提供，進一步限制了可接受的token序列。在某些上下文中，當顯式地指定時，輸入元素類似于一個用補充的語法的目標符號進行再次解析的產生式。如果被解析的輸入元素流中的token通過一個覆蓋的不能被作為一個多帶帶的與之對應的補充的目標符號的實例去解析，輸入流就是語法上錯誤的，將不再保留token。

??詞法，正則以及數字字符串文法的終結符用固定寬度的字體展示，不管是在文法的產生式，還是在本規范中，無論何時，只要文本直接地指向了這樣的終結符。這些都會出現在我們的寫的腳本中。所有通過這種方式指定的終結符碼點都被當作合適的Unicode碼點理解，從基本的Latin范圍，與之相對的是任意類似的Unicode范圍的碼點。

??非終結符用斜體展示。一個非終結符的定義（也叫做產生式）通過下面定義的一個或多個冒號的非終結符的名稱的方式來介紹。（冒號的數量暗示了這個產生式屬于哪種文法）。一個或者多個可選的非終結符的右值跟在succeeding線后面。例如，語法定義如下：

WhileStatement:
    while(Expression)Statement

??非終結符WhileStatement的狀態表示了while這個token，隨后是一個左括號token，然后是一個表達式（Expression），然后是一個右括號token，然后是一個語句（Statement）。這些表達式和語句的出現也是非終結符。另一個例子，語法定義如下：

ArgumentList:
    AssignmentExpression
    ArgumentList,AssignmentExpression

??一個ArgumentList也許代表了一個單一的AssignmentExpression或者一個ArgumentList，然后是一個逗號，然后是一個AssignmentExpression。這個ArgumentList的定義是遞歸的，也就是說，它是根據它本身來定義的。這樣的結果就是，一個ArgumentList也許會包含任意數量逗號分隔的arguments，其中的每個argument表達式是一個AssignmentExpression。這樣的非終結符的遞歸定義是非常常見的。

??下面的下標后綴“opt”（譯注：由于在代碼塊中無法使用標簽，所以opt沒有展示成下標的形式，但是實際上它是下標），也許會出現在一個終結符或者非終結符后，作為一個可選的標志。這個可供選擇的包含一個可選符號的符號，實際上指定2個右值，一個省略了這個可選元素，一個包含了這個可選元素。這意外著：

VariableDeclaration:
    BindingIdentifier Initializer opt

??是下面的縮寫：

VariableDeclaration:
    BindingIdentifier
    BindingIdentifier Initializer

??還有比如：

IterationStatement:
    for(LexicalDeclaration Expression opt ; Expression opt)Statement

??是下面的縮寫：

IterationStatement:
    for(LexicalDeclaration ; Expression opt)Statement
    for(LexicalDeclaration Expression ; Expression opt)Statement

??它們依次是下面的縮寫：

IterationStatement:
    for(LexicalDeclaration ;)Statement
    for(LexicalDeclaration ; Expression)Statement
    for(LexicalDeclaration Expression ;)Statement
    for(LexicalDeclaration Expression ; Expression)Statement

??所以，在這個例子中，非終結符IterationStatement實際上有4個可選的右值。

??一個產生式也許會通過形如“[parameters]”這樣的下標注釋被參數化，它們也許會作為后綴出現在產生式定義的非終結符中。“parameters”也許是多帶帶的名稱，或者一個逗號分隔的名稱列表。一個被參數化的產生式是一系列定義參數名稱的所有組合的產生式的縮寫，以下劃線開頭，被追加到參數化的非終結符后面。這就意味著：

StatementList[Return]: （注意這里的[Return]是下標）
    ReturnStatement
    ExpressionStatement

??是下面的縮寫：

StatementList:
    ReturnStatement
    ExpressionStatement
    
StatementList_Return:
    ReturnStatement
    ExpressionStatement

??再比如：

StatementList[Return, In]:
    ReturnStatement
    ExpressionStatement

??是下面的縮寫：

StatementList:
    ReturnStatement
    ExpressionStatement
    
StatementList_Return:
    ReturnStatement
    ExpressionStatement

StatementList_In:
    ReturnStatement
    ExpressionStatement

StatementList_Return_In:
    ReturnStatement
    ExpressionStatement

??多個參數產生一個組合后的產生式，但是在一個復雜的語法中，并不一定需要引用它們中的全部內容。

??在一個產生式的右值中引用非終結符也能被參數化，例如：

StatementList:
    ReturnStatement
    ExpressionStatement[+In]

??是下面的縮寫：

StatementList:
    ReturnStatement
    ExpressionStatement_In

??再比如：

StatementList:
    ReturnStatement
    ExpressionStatement[~In]

??是下面的縮寫：

StatementList:
    ReturnStatement
    ExpressionStatement

??一個非終結符引用也許既有一個參數列表，又有一個“opt”后綴，例如：

VariableDeclaration:
    BindingIdentifier Initializer[+In]opt  （注意[+In]和opt都是下標）

??是下面的縮寫：

VariableDeclaration:
    BindingIdentifier
    BindingIdentifier Initializer_In

??給一個參數在右值的非終結符引用加上前綴“?”使得那個參數依賴于引用當前產生式左值符合的參數名，例如：

VariableDeclaration[In]:
    BindingIdentifier Initializer[?In]

??是下面的縮寫：

VariableDeclaration:
    BindingIdentifier Initializer

VariableDeclaration_In:
    BindingIdentifier Initializer_In

??如果一個右值以“[+parameter]”作為前綴，那么那個可選的只有在命名的參數在引用產生式的非終結符時被使用時才可用。如果一個可選的右值以“[~parameter]”作為前綴，那么那個可選的只有在命名的參數在引用產生式的非終結符時沒有被使用時才可用。（譯注：即+表示上下的[]必須同時出現，～表示不能同時出現）這意味著：

StatementList[Return]:
    [+Return]ReturnStatement
    ExpressionStatement

是下面的縮寫：

StatementList:
    ExpressionStatement
    
StatementList_Return:
    ReturnStatement
    ExpressionStatement

再比如：

StatementList[Return]:
    [~Return]ReturnStatement
    ExpressionStatement

是下面的縮寫：

StatementList:
    ReturnStatement
    ExpressionStatement
    
StatementList_Return:
    ExpressionStatement

??在一個文法定義中，當單詞“one of”跟隨在一個或多個分號后的時候，表示隨后的一行或多行的終結符是一個可選的定義。例如，ECMAScript的詞法文法包含下列的產生式：

NonZeroDigit :: one of
    123456789

??它僅僅是下面的縮寫：

NonZeroDigit::
    1
    2
    3
    4
    5
    6
    7
    8
    9

??如果短語“[empty]” 出現在一個產生式的右值，它暗示著這個產生式的右值不包含終結符或者非終結符。

??如果短語“[lookahead ? set]” 出現在一個產生式的右值，它暗示著如果隨后立即的輸入的token序列是給出的集合中的成員，那么這個產生式也許不會被使用。這個集合可以用一個逗號分割的由一到兩個被花括號包裹的元素終結序列的列表表示。為了方便，這個集合也可以用非終結符表示，在這種情況下，它代表所有能由非終結符展開得到的終結符的集合。如果這個集合包含一個多帶帶的終結符，那么短語“[lookahead ≠ terminal]” 也許會被使用。

??如果短語“[no LineTerminator here]” 出現在一個語義文法的產生式的右值中，意味著這個產生式是一個受限的/嚴格的（restricted）產生式：如果一個行終結符（LineTerminator）在輸入流中出現在指定的位置，它也許不會被使用。例如，產生式：

ThrowStatement:
    throw [no LineTerminator here] Expression;

??如果一個行終結符出現在腳本的throw token和表達式（Expression）之間的時候，暗示著這個產生式也許不會被使用。（譯注：通過測試，如果之間插入一個行終結符，會拋出Illegal newline after throw異常）

??除非通過一個受限的產生式禁止一個行終結符的出現，否則任意數量行終結符的出現也許會發生在輸入元素流中任意兩個連續的token之間，并且不影響腳本的語義可接受性。

??當一個詞法文法或者數字字符串文法的產生式中可選部分出現多碼點的token時，意味著碼點序列將會組成一個token。

??一個產生式的右值也許會通過短語“but not”指定某些不被允許的擴展，然后暗示這個擴展將是被排除在外的。例如，產生式：

Identifier ::
    IdentifierName but not ReservedWord

??

??意味著非終結符Identifier也許會被任意的碼點序列替換，這些碼點能夠替換提供的IdentifierName，但是相同序列的碼點不能替換ReservedWord。（譯注：即Identifier可以是除了ReservedWord（保留字）之外的其它任意的IdentifierName）

??最后，一些非終結符通過sans-serif字體書寫的描述性的短語來描述，在這樣的案例中，列出所有的可選部分是不切實際的。（譯注：例如下方的SourceCharacter是一個統稱，實際來說指的太多了，所以不可能一一列出）

SourceCharacter :: （譯注：這里的SourceCharacter就是sans-serif字體）
    any Unicode code point