摘要：除非在本規(guī)范中其它指定的文法產(chǎn)生式可選部分隱式地包含一個叫做的接收一個值為包含相關(guān)產(chǎn)生式的文法的終結(jié)符或者非終結(jié)符的參數(shù)靜態(tài)語義規(guī)則的定義。

??規(guī)范常常使用一個帶編號的列表來顯示算法中的步驟。這個小算法被用作準(zhǔn)確地表達(dá)ECMAScript語言構(gòu)造需要的語義。這些算法并不是打算暗示任何具體實(shí)現(xiàn)的使用。事實(shí)上，這里也許有更高效的算法去實(shí)現(xiàn)指定的特性。

??算法也許被顯式的參數(shù)化，在這些案例中參數(shù)的名稱和用法必須作為算法定義的一部分提高。

??算法步驟也許被細(xì)分成多個連續(xù)的子步驟。子步驟需要用縮進(jìn)表示，并且也許會進(jìn)一步被劃分成更小的縮進(jìn)的子步驟。大綱編號約定被用作標(biāo)識有小寫字母字符標(biāo)簽的一級子步驟以及有小寫羅馬數(shù)字標(biāo)簽的二級子步驟。如果超過步驟3級，那么這些規(guī)則從第四級開始用數(shù)字標(biāo)簽進(jìn)行重復(fù)。例如：

1.Top-level step
    a.Substep.
    b.Substep.
        i.Subsubstep.
            1.Subsubsubstep
                a.Subsubsubsubstep
                    i.Subsubsubsubsubstep

??一個步驟或者子步驟也許會使用“if”去斷言它的子步驟的條件。在這樣的案例中，這些子步驟只能適用于“if”斷言為true的情況。如果一個步驟或者子步驟以單詞“else”開始，那么表示這是之前的“if”斷言的同一級的否定斷言。

??一個步驟也許會指定它的子步驟的迭代程序。

??一個以“Assert:”開頭的步驟斷言一個它的算法里不變的條件。這樣的斷言被用作使算法不變量顯式地展示，否則它將是隱式的。這樣的斷言不增加額外的語義需求，因此在實(shí)現(xiàn)中不需要被檢查。它們被使用只是為了使算法更清晰。

??對于任意形如“Let x be someValue”的值，算法步驟也許會聲明命名別名。這些別名即可能通過x也可能通過someValue引用，它們指向同一個潛在的數(shù)據(jù)，并且修改其中任意一個對另一個都是可見的。那些想避免這樣的類似引用的算法步驟需要顯式地復(fù)制一份右值：即“Let x be a copy of someValue”創(chuàng)建了一個someValue的淺復(fù)制。

??一旦聲明完畢，別名也許會在隨后的任意步驟或者子步驟中被引用，但是它們也許不會在最高級步驟中被引用。別名也許會通過形如“Set x to someOtherValue”這樣的形式被修改。

??為了促進(jìn)它們在本規(guī)范的多個地方使用，一些算法，我們稱之為抽象操作，在參數(shù)化的函數(shù)形式中中命名和書寫，以便它們能夠在其它算法中通過名稱來引用。抽象操作通常是被通過一個功能化的應(yīng)用風(fēng)格引用，如OperationName(arg1, arg2)。一些抽象操作被當(dāng)作像類規(guī)范里抽象的多態(tài)發(fā)送一樣。這樣的類似類的方法抽象操作通常通過一個方法應(yīng)用風(fēng)格被引用，如someValue.OperationName(arg1, arg2)。

??一個特定的語法操作是一個具有名稱的操作，它的定義包含了一系列算法，每個算法與一個或者多個ECMAScript文法的產(chǎn)生式相關(guān)聯(lián)。一個有多個可選定義的產(chǎn)生式通常對于每個可選部分都有一個獨(dú)立的算法。當(dāng)一個算法與一個文法產(chǎn)生式相關(guān)聯(lián)的時候，它也許會引用這個產(chǎn)生式可選部分的終結(jié)符或者非終結(jié)符，就好像它們是這個算法的參數(shù)一樣。當(dāng)出現(xiàn)這種情況時，非終結(jié)符指向?qū)嶋H的源代碼中與之匹配的可選部分的定義。

??當(dāng)一個算法與一個產(chǎn)生式的可選部分關(guān)聯(lián)的時候，這個可選部分通常不會帶上“[ ]” 文法注釋。這樣的注釋只應(yīng)該影響可選部分的語法識別，不應(yīng)該對相關(guān)的可選部分的語義有影響。
Syntax-directed operations are invoked with a parse node and, optionally, other parameters by using the conventions on steps 1, 3, and 4 in the following algorithm:
??特定語法操作同一個解析節(jié)點(diǎn)一起被調(diào)用，還可以在步驟1，3，4中使用這個約定的其它參數(shù)。

1. Let `status` be the result of performing SyntaxDirectedOperation of SomeNonTerminal.

2. Let `someParseNode` be the parse of some source text.

3. Perform SyntaxDirectedOperation of `someParseNode`.

4. Perform SyntaxDirectedOperation of `someParseNode` passing
"value" as the argument.

??除非顯式地指定，否則，所有相關(guān)聯(lián)的產(chǎn)生式對于每個也許會被應(yīng)用到這個產(chǎn)生式左值的非終結(jié)符的操作都有一個隱式的定義。如果存在的話，這個隱式的定義簡單地再次對同樣的參數(shù)運(yùn)用這個相同的定義，對于這些相關(guān)聯(lián)的產(chǎn)生式唯一的右值非終結(jié)符，隨后返回處理結(jié)果。例如，假設(shè)一些算法有如下形式的步驟：“返回被解析的塊的結(jié)果（Return the result of evaluating Block）”，并且這里有一個產(chǎn)生式：
??

Block :
    { StatementList }

??但是解析操作并沒有關(guān)聯(lián)這個產(chǎn)生式的算法。那么在這樣的案例中，解析操作隱式地包含了下面形式的關(guān)聯(lián)：
運(yùn)行時語義: 解析（Runtime Semantics: Evaluation）

Block : { StatementList }

  1. Return the result of evaluating StatementList.

??必須在運(yùn)行時被調(diào)用的指定語義的算法就叫運(yùn)行時語義。運(yùn)行時語義通過抽象操作或者指定語法操作來定義。這樣的算法必須返回一個完成記錄。

5.2.3.1 隱式完成值（Implicit Completion Values）

表8：完成記錄字段（Completion Record Fields）

??完成類型是一個記錄，用于解釋某些執(zhí)行非外部控制轉(zhuǎn)移語句（例如break, continue, return, throw）運(yùn)行時值和控制流的傳播。

??完成類型的值是記錄值，它們的字段定義在表8中。這樣的值被稱為完成記錄。

??本規(guī)范的算法常常隱式地返回一個[[Type]]值為normal的完成記錄（見表8，譯注：由于很多解釋位于較后的章節(jié)，如這個定義就位于第6章，而且比較重要，所有對于某些這樣的情況會把它提到前面來）。除非它是上下文中另外非常明顯的部分，一個返回一個值的算法語句，那么這個值將不是一個完成值。例如：
1. Return "Infinity".
??與下面的是同一個含義：
1. Return NormalCompletion("Infinity").

??然而，如果一個“return”語句的值表達(dá)式是一個完成記錄構(gòu)造的字面量，那么完成記錄的結(jié)果將被返回。如果這個值表達(dá)式是一個對抽象操作的調(diào)用，那么“return”語句簡單地返回這個抽象操作產(chǎn)生的完成記錄。

??抽象操作完成（完成記錄）被用作強(qiáng)調(diào)之前計算的完成記錄被返回。完成（Completion）這個抽象操作接收一個參數(shù)，即完成記錄（completionRecord），然后執(zhí)行下面的步驟：

1. Assert: completionRecord is a Completion Record.
2. Return completionRecord as the Completion Record of this abstract operation.

??一個在算法步驟中沒有值的“return”語句與下面的是同樣的意思：
1. Return NormalCompletion(undefined).

??對于任意的在一個上下文中沒有顯示地需要一個完整的完成記錄值的引用，等價于一個顯式地對完成記錄的[[Value]]字段的引用，除非完成記錄是一個打斷/中斷（abrupt）完成。

5.2.3.2 拋出一個異常（Throw an Exception）

??描述拋出一個異常的算法步驟，例如：
1. Throw a TypeError exception.

??意思就是：
1. Return Completion{[[Type]]: throw, [[Value]]: a newly created TypeError object, [[Target]]: empty}.

5.2.3.3 如果被打斷則返回（ReturnIfAbrupt）

??算法步驟說明或者等同于：
1. ReturnIfAbrupt(argument).

??意思就是（譯注：abrupt completion就是上面提到的改變控制流如break之類的語句，除了這些之外的就是普通的Completion Record）：

1. If argument is an abrupt completion, return argument.
2. Else if argument is a Completion Record, let argument be argument.[[Value]].

??算法步驟說明或者等同于：
1. ReturnIfAbrupt(AbstractOperation()).

??意思就是：

1. Let hygienicTemp be AbstractOperation().
2. If hygienicTemp is an abrupt completion, return hygienicTemp.
3. Else if hygienicTemp is a Completion Record, let hygienicTemp be hygienicTemp.[[Value]].

??這里的hygienicTemp是短暫的（臨時的），并且只在ReturnIfAbrupt有關(guān)的步驟中中可見。

??算法步驟說明或者等同于：
1. Let result be AbstractOperation(ReturnIfAbrupt(argument)).

??意思就是：

1. If argument is an abrupt completion, return argument.
2. If argument is a Completion Record, let argument be argument.[[Value]].
3. Let result be AbstractOperation(argument).

??對抽象操作和以?為前綴的指定語法操作的調(diào)用暗示著ReturnIfAbrupt需要被應(yīng)用到結(jié)果的完成記錄中。例如，步驟：
1. ? OperationName().

??等價于下面的步驟：
1. ReturnIfAbrupt(OperationName()).

??相似的，對于程序方法的風(fēng)格，步驟：
1. ? someValue.OperationName().

??等價于
1. ReturnIfAbrupt(someValue.OperationName()).

??相似的，前綴！被用作暗示下列的對于抽象或者指定語法操作的調(diào)用將不會返回一個打斷的（abrupt）完成值，并且作為結(jié)果的完成記錄的[[Value]]字段應(yīng)該被用作替換操作的返回值，例如，步驟：
1. Let val be ! OperationName().

??等價于下面的步驟：

1. Let val be OperationName().
2. Assert: val is never an abrupt completion.
3. If val is a Completion Record, set val to val.[[Value]].

??對于運(yùn)行時語義的指定語法的操作通過在調(diào)用操作前替換！或者？來利用這個縮寫。
1. Perform ! SyntaxDirectedOperation of NonTerminal.

??上下文無關(guān)文法不能足夠好的去表達(dá)所有定義的規(guī)則，不管是一個輸入元素的流形成的一個合法的將被解析的ECMAScript腳本（Script）還是模塊（Module）。在一些情況中，需要額外的規(guī)則通過使用ECMAScript算法約定或者散文要求（prose requirements）來展示。這樣的規(guī)則總是與一個文法的產(chǎn)生式相關(guān)聯(lián)，被稱作產(chǎn)生式的靜態(tài)語義。

??靜態(tài)語義規(guī)則擁有名稱，并且通常用一個算法來定義。具有名稱的靜態(tài)語義規(guī)則與文法產(chǎn)生式相關(guān)聯(lián)，對于每個可采用的具有名稱的靜態(tài)語義規(guī)則，一個包含多個可選部分定義的產(chǎn)生式通常會對每個可選部分定義一個獨(dú)有的算法。

??除非在本規(guī)范中其它指定的文法產(chǎn)生式可選部分隱式地包含一個叫做Contains的接收一個值為包含相關(guān)產(chǎn)生式的文法的終結(jié)符或者非終結(jié)符的symbol參數(shù)靜態(tài)語義規(guī)則的定義。默認(rèn)的包含定義為：

1. For each child node child of this Parse Node, do
    a. If child is an instance of symbol, return true.
    b. If child is an instance of a nonterminal, then
        i. Let contained be the result of child Contains symbol.
        ii. If contained is true, return true.
2. Return false.

??上面的定義是顯式地重寫了規(guī)范的產(chǎn)生式。

??一個特殊的靜態(tài)語義規(guī)則是早期（提前）錯誤規(guī)則（Early Error Rule）。早期錯誤規(guī)則定了早期錯誤條件（參見條款16），它們與具體的文法產(chǎn)生式相關(guān)聯(lián)。大多數(shù)早期錯誤規(guī)則的解析不是在本規(guī)范的算法中顯式地被調(diào)用。一個符合規(guī)范的實(shí)現(xiàn)必須在第一次解析腳本或者模塊之前，驗(yàn)證所有被用作解析腳本或者模塊的產(chǎn)生式的早期錯誤規(guī)則。如果違反了任意的早期錯誤規(guī)則，那么腳本或者模塊就是不合法的，并且不能被解析執(zhí)行。

??除非其它地方特別注明不包括無限并且不包括負(fù)0（為了與正0區(qū)分），數(shù)學(xué)操作，例如加，減，否定（邏輯非），乘，除以及隨后在條款中定義的數(shù)學(xué)函數(shù)應(yīng)總是被當(dāng)作是對于數(shù)學(xué)中所有真實(shí)數(shù)字計算出來的準(zhǔn)確的結(jié)果。本規(guī)范算法中的浮點(diǎn)運(yùn)算包含顯式地的步驟，它們對于處理無窮，有符號的0，以及舍入是必要的。如果一個數(shù)學(xué)操作或者函數(shù)被應(yīng)用在一個浮點(diǎn)數(shù)上，那么它必須被當(dāng)作應(yīng)用到用浮點(diǎn)數(shù)表示的具體的數(shù)學(xué)值；這樣的浮點(diǎn)數(shù)必須是有限的，并且如果它是+0或者-0的話，那么相應(yīng)的數(shù)學(xué)值就是簡簡單單的0。

??數(shù)學(xué)函數(shù)abx(x)用來計算x的絕對值，如果x是負(fù)數(shù)（小于0），那么結(jié)果就是-x，否則結(jié)果就是x本身。

??數(shù)學(xué)函數(shù)min(x1, x2, ..., xN)計算從x到xN的最小值。數(shù)學(xué)函數(shù)max(x1, x2, ..., xN)計算從x到xN的最大值。這些數(shù)學(xué)函數(shù)的域（譯注：即定義域和值域）以及范圍包括+∞和-∞。

??符號“x modulo y”（譯注：即x模y）（y必須是有限的且是非0的）計算出一個值k，它的符號與y一致（或者是0），這樣的k滿足abs(k) < abs(y)，以及能找到某個整數(shù)y，使得x-k = q * y。
The mathematical function floor(x) produces the largest integer (closest to positive infinity) that is not larger than x.
??

注意 floor(x) = x-(x modulo 1). （譯注：即模運(yùn)算是向0方向舍入）

??本規(guī)范的算法操作的值每一個都有其相應(yīng)的類型。最可能的值類型恰恰是那些定義在這個條款中的類型。類型又進(jìn)一步分為ECMAScript語言類型（language types）以及規(guī)范類型（specification types）。

??在本規(guī)范總，符號“Type(x)”用來作為“the type of x”的簡寫，這里的“type”指向定義在本條款中的ECMAScript語言以及規(guī)范類型。當(dāng)術(shù)語“empty”被使用時，就好像它正在命名一個值，這和說“no value of any type”是相等的（譯注：即任何類型都沒有這個值）。

??一個ECMAScript語言類型對應(yīng)那些被使用ECMAScript語言的ECMAScript程序員直接操作的值。ECMAScript語言類型是Undefined, Null, Boolean, String, Symbol, Number, and Object。一個ECMAScript語言值是一個具有ECMAScript語言類型特征的值。

??Undefined類型僅僅只有一個值，被稱為undefined。任何沒有被分配一個值的變量的值就是undefined。

??Null類型僅僅只有一個值，被稱為null。

??Boolean類型代表一個擁有兩個值的邏輯的實(shí)體，它們被稱為true和false。

??String類型是所有0或者16bit無符號整數(shù)值(“elements”)的有順序的序列的集合，最大的長度是2^53 - 1個元素的長度。String類型通常被用作在一個正在運(yùn)行的ECMAScript程序上展示文本數(shù)據(jù)，在這樣的案例中，String中的每個元素都被當(dāng)作一個UTF-16碼元（code unit）。每個元素都被當(dāng)作這個序列中的一個占位。這些位置使用非負(fù)整數(shù)來進(jìn)行索引。第一個元素（如果存在的話）在索引（index）0的位置，下一個元素（如果存在的話）在索引1的位置，以此類推。一個字符串的長度是它內(nèi)部的元素（即16-bit值）的個數(shù)。空字符串的長度為0，因此沒有元素。

??ECMAScript操作解釋String值的地方，每個元素被解釋成單個的UTF-16碼元。然而，ECMAScript不會對這個字符串的碼元序列施加任何的限制或者需求，所以當(dāng)按照UTF-16碼元解釋的時候，它們也許是不合規(guī)范的。不解釋字符串內(nèi)容的操作把它們當(dāng)作沒有任何差別的16-bit無符號整數(shù)。函數(shù)String.prototype.normalize可以被用來顯式地規(guī)范化一個字符串值。函數(shù)String.prototype.localeCompare內(nèi)部對字符串進(jìn)行了規(guī)范化，但是除此之外的其它操作都沒有隱式地規(guī)范化字符串。只有那些被顯式地指定用來處理語言或者對語言環(huán)境敏感的操作才會產(chǎn)生語言敏感的結(jié)果。

注意 這個設(shè)計背后的基本原理是保證Strings的實(shí)現(xiàn)盡可能是簡單和高效的。如果ECMAScript源文本在規(guī)范化的形式C內(nèi)，那么字符串字面量也應(yīng)當(dāng)被認(rèn)為是規(guī)范化的，只要它們不包含任何Unicode轉(zhuǎn)移序列。

??一些操作把字符串內(nèi)容解釋為UTF-16編碼的Unicode碼元。在這樣的案例中，解釋的過程是：

一個范圍在0到0xD7FF的碼元或者范圍在0xE000到0xFFFF的碼元被解釋成一個相同值的碼點(diǎn)（code point）。

一個兩個碼元的序列，第一個碼元c1在范圍0XD800到0XDBFF，第二個碼元c2在范圍0xDC00到0xDFFF，這樣的稱為代理對，它們被解釋為一個值為（c1 - 0xD800） * 0x400 + （c2 - 0xDC00） + 0x10000的碼點(diǎn)（See 10.1.2）。

一個范圍在0xD800到0xDFFF但是不屬于代理對的碼元，被解釋為一個相同值的碼點(diǎn)。

譯注，如果對于Unicode不是很了解的話，推薦閱讀每個JavaScript開發(fā)者都該懂的Unicode

??Symbol類型是所有非字符串的也許被用作作為對象的屬性的值的集合。

??每個可能的Symbol值都是唯一的和不可變的。

??每個Symbol值永遠(yuǎn)地保持一個與之關(guān)聯(lián)的叫做[[Description]]的值，它要么是undefined要么是一個字符串值。

??著名的symbols就是我們說的那些被本規(guī)范的算法顯式地引用的內(nèi)置Symbol值。它們通常被用作屬性（propertied）的key，這些key的值為規(guī)范的算法提供了一種擴(kuò)展。除非其它地方顯式地說明，著名的symbol的值被所有域（realm）共享。

??在本規(guī)范內(nèi)，一個著名的symbol通過形如@@name的形式被引用，這里的name是表1中的某一個：

表 1 著名的Symbol

??Number類型剛好有18437736874454810627個（即$2^{64}$ - $2^{53}$ + 3）值，表示雙精度64位格式的在IEEE標(biāo)準(zhǔn)中關(guān)于二進(jìn)制浮點(diǎn)類型運(yùn)算的IEEE 754-2008規(guī)范的值，除了9007199254740990 （即$2^{53}$ - 2）是一個IEEE規(guī)范中截然不同的“Not-a-Number”值（譯注：可參考規(guī)范中的2.1.35，6.2節(jié)等等），被作為一個多帶帶的NaN值在ECMAScript中展示。（注意NaN由程序表達(dá)式NaN產(chǎn)生。）

注意：在一個Number值已經(jīng)被存儲后，位模式（bit pattern）也許可以通過一個ArrayBuffer或者SharedArrayBuffer觀察到，但是這和Number值的內(nèi)部表示一樣，不是ECMAScript的實(shí)現(xiàn)所必須的。

??這里有兩種其它的特殊值，叫做正無窮和負(fù)無窮。為了簡潔和說明目的，這些值也分別用符號+∞和-∞表示。（注意這兩個無窮數(shù)由程序表達(dá)式+Infinity（或者簡單的Infinity）和-Infinity產(chǎn)生）

??其它的18437736874454810624個值（即，$2^{64}$ - $2^{53}$）被稱作有限數(shù)（finite numbers）。其中一半是正數(shù)，一半是負(fù)數(shù)；對于每個有限正數(shù)值，這里都有一個相應(yīng)量級的負(fù)數(shù)值。

??注意這里既有正0也有負(fù)0。為了簡潔和說明的目的，這些值也分別用符號+0和-0表示。（注意這兩個不同的零數(shù)字值由程序表達(dá)式+0（或者簡單的0）和-0產(chǎn)生。）

??18437736874454810622（即$2^{64}$ - $2^{53}$ - 2）個有限非0值有下面兩種類型：

18428729675200069632 (that is, 264-254) of them are normalized, having the form
??其中的18428729675200069632（即$2^{64}$ - $2^{54}$）個值是被范式化/規(guī)范化（normalized）了的，它們是下面的形式：

$s × m × 2^e$

??這里的s是+1或者-1，m是一個小于$2^{53}$但是不小于$2^{52}$的正數(shù)，e是一個正數(shù)，范圍從-1074到971，前后都包含。

??剩下的9007199254740990（即$2^{53} - 2$）個值是沒有被范式化的，它們是下面的形式：

$s × m × 2^e$

??這里的s是+1或者-1，m是一個小于$2^{52}$的正數(shù)，e是-1074。

??注意Number類型能表示的所有的正數(shù)和負(fù)數(shù)它們的量級/指數(shù)都不超過$2^{53}$。（事實(shí)上，整數(shù)0有兩種表示，+0和-0）

??如果是非0的話，一個有限數(shù)有一個奇數(shù)的尾數(shù)那么它就是奇數(shù)，整數(shù)m用來表示這個尾數(shù)（即上面提到的兩種形式之一）。否則，它就有一個偶數(shù)的尾數(shù)。

??在本規(guī)范中，短語“the Number value for x”里的x剛好代表一個非0值的真實(shí)的數(shù)學(xué)量（也有可能是如π之類的無理數(shù)），也意味著一個Number值按照下面的方式被選擇出來。首先考慮Number類型中所有的有限數(shù)的集合，除去-0，加上兩個Number類型無法表示的值，被稱為$2^{1024}$（即1 × $2^{53}$ $2^{1024}$）以及$-2^{1024}$(即-1 × $2^{53}$ $2^{1024}$)。然后選擇這個集合中離x最近的元素。如果有兩個值一樣接近，那么選擇有偶數(shù)尾數(shù)的那一個。處于為此目的考慮，兩個額外的值$2^{1024}$和$-2^{1024}$被認(rèn)為是擁有相同的偶數(shù)尾數(shù)。最后，如果選擇的是$2^{1024}$，用+∞替換它。如果選擇的是$-2^{1024}$，用-∞替換它。如果選擇的是+0，只在x小于0時才用-0替換它。除了上面提到的這些，任意其它的選擇值是不會發(fā)生變化的。最后的結(jié)果就是x的Number值。（這樣就能剛好產(chǎn)生與IEEE 754-2008的“round to nearest, ties to even”行為模式相對應(yīng)的值。）

??一些ECMAScript操作符僅僅處理指定范圍的整數(shù)，例如前后都包含的$-2^{31}$到$2^{31} - 1$。或者是0到$2^{16} - 1$的范圍。這些操作符接收任意Number類型的值，但是首先會將它們轉(zhuǎn)換成像上面提到的這些范圍內(nèi)的值。可以參考7.1節(jié)的數(shù)字轉(zhuǎn)換操作。

??一個對象邏輯上是一個屬性的集合。每個屬性要么是一個數(shù)據(jù)屬性（data property），要么是一個訪問器屬性（accessor property）：

一個數(shù)據(jù)屬性關(guān)聯(lián)一個ECMAScript語言值的key值以及一個Boolean屬性的集合。

一個訪問器屬性關(guān)聯(lián)一個或兩個訪問器函數(shù)的key值，一級一個Boolean屬性的集合。訪問器函數(shù)被用來存儲或者檢索與這個屬性相關(guān)的ECMAScript語言值。

??屬性是用key值來識別的。一個屬性的key值要么是一個ECMAScript String值，要么是一個Symbol值。所有的String和Symbol值，包括空字符串，都是合法的屬性key值。當(dāng)一個屬性的key是String值的時候，這個屬性的name是這個屬性的key。

??一個整數(shù)索引是一個字符串值的屬性key，它是一個規(guī)范的數(shù)字String(canonical numeric String)（參考7.1.16）。它的數(shù)字值要么是+0，要么是一個小于等于$2^{53}$-1的正數(shù)。一個數(shù)組索引是一個整數(shù)索引，它的數(shù)字值i的范圍是+0 ≤ i < $2^{32}-1$。（譯注：即Array(2**32)會報錯：Uncaught RangeError: Invalid array length，而Array(2**32 - 1)不會）

??屬性的key被用來訪問屬性以及它們的值。這里有兩種對屬性的訪問：get和set。分別對應(yīng)值的檢索和賦值。通過get和set來進(jìn)行屬性訪問既包括直接屬于自己的屬性，也包括通過屬性繼承關(guān)系從其它相關(guān)對象繼承來的屬性。繼承的屬性也可能是另一個對象的自身屬性或者繼承來的屬性。一個對象的每個自身屬性必須有一個key值來區(qū)分它和這個對象的其它的自身屬性。

??所有的對象都是邏輯上的屬性集合，但是對象卻有多種形式用來區(qū)分訪問以及變化它們的屬性的語義。普通的對象是對象的最常見形式，擁有默認(rèn)的對象語義。一個外來對象是這樣的對象形式，它的屬性語義與默認(rèn)語義的各個方面都有區(qū)別。

??本規(guī)范中的屬性（Attributes）被用作定義和解釋對象屬性（Object properties）的狀態(tài)。一個數(shù)據(jù)屬性（data property）與表2中列出的屬性的key值相關(guān)聯(lián)。

表2 Attributes of a Data Property

??一個訪問器屬性accessor property）與表3中列出的屬性的key值相關(guān)聯(lián)。

表3 Attributes of an Accessor Property

??如果一個屬性的attributes的初始值沒有被本規(guī)范顯式地指定的時候，那么使用在表4中定義的默認(rèn)值：

表4 Default Attribute Values

??在ECMAScript中，對象的實(shí)際語義是通過算法來調(diào)用內(nèi)置方法指定的。在ECMAScript引擎中的每個對象都與一系列的定義它的運(yùn)行時行為的內(nèi)置方法相關(guān)聯(lián)。這些內(nèi)置方法不屬于ECMAScript語言的一部分。通過本規(guī)范定義它們的部分僅僅是為了解釋和說明的目的。然而，在ECMAScript具體實(shí)現(xiàn)中的每個對象必須表現(xiàn)得像這些內(nèi)置方法與它關(guān)聯(lián)了一樣。其中的準(zhǔn)確的行為由實(shí)現(xiàn)來決定。

??內(nèi)置方法（Internal method）的名稱是多種多樣的。這意味著當(dāng)一個常見的內(nèi)置方法被調(diào)用的時候，不同的對象值也許會運(yùn)行不同的算法。內(nèi)置方法被調(diào)用時實(shí)際的對象成為這個調(diào)用的“目標(biāo)”（“target”）。如果在運(yùn)行時一個算法的實(shí)現(xiàn)嘗試去使用一個對象不支持的內(nèi)置方法，一個TypeError將會被拋出。

??內(nèi)置槽（Internal slots）對應(yīng)相關(guān)聯(lián)對象的內(nèi)部狀態(tài)，被ECMAScript規(guī)范中不同的算法使用。內(nèi)置槽不是對象的屬性，也不會被繼承。根據(jù)規(guī)范中具體的內(nèi)置槽，這樣的內(nèi)部狀態(tài)也許包含任意ECMAScript語言類型的值或者指定的ECMAScript規(guī)范類型的值。除非顯式地指定，否則內(nèi)置槽作為創(chuàng)建一個對象的一部分過程被分配，并且也許不能被動態(tài)地添加到對象上。除非顯式地指定，否則一個內(nèi)置槽的初始值是undefined。本規(guī)范內(nèi)不同的算法都會創(chuàng)建有內(nèi)置槽的對象。然而，ECMAScript語言不提供直接的方法去訪問一個對象的內(nèi)置槽。

??本規(guī)范內(nèi)的內(nèi)置方法和內(nèi)置槽使用閉合的雙方括號[[]]來標(biāo)識。

??下方的表5總結(jié)了被規(guī)范使用的適用于所有對象的創(chuàng)建或者被ECMAScript代碼操作的至關(guān)重要的內(nèi)置方法。每個對象對于所有至關(guān)重要的算法都必須有相應(yīng)的算法。然而，所有的對象沒有必要對那些方法使用相同的算法。

??下面的表5中的 “Signature”列以及其它相似的表格描述了每個內(nèi)置方法的調(diào)用模式。調(diào)用模式總是包含一個括起來的描述參數(shù)名的列表。如果一個參數(shù)名與ECMAScript類型的名字一樣，那么代表描述的是參數(shù)值需要的類型。如果一個內(nèi)置方法顯式地返回了一個值，它的參數(shù)列表隨后就會跟著一個“→”符合，以及返回值的類型。在signature中使用的類型的名字指向在條款6中定義的類型，另外還增加了一些下面的名稱。“any”代表這個值也許是任意的ECMAScript語言值。一個內(nèi)置方法會隱式地返回一個完成記錄。除了它的參數(shù)，一個內(nèi)置方法還總是會訪問這個方法調(diào)用的對象的目標(biāo)（即前面提到的target）。

表5 Essential Internal Methods

??下方的表6總結(jié)了也許會被當(dāng)作函數(shù)來調(diào)用的對象的額外的至關(guān)重要的內(nèi)置方法。一個函數(shù)對象是一個支持[[Call]]內(nèi)置方法的對象。一個構(gòu)造器（也被稱為構(gòu)造函數(shù)）是一個支持[[Construct]]內(nèi)置方法的函數(shù)對象。

表6 Additional Essential Internal Methods of Function Objects

??這些普通對象的至關(guān)重要的內(nèi)置方法的語義和標(biāo)準(zhǔn)的外來對象在條款9中指出。如果一個外來對象的任何內(nèi)置方法的使用不被實(shí)現(xiàn)所支持，那么嘗試使用這個用法時必須拋出一個TypeError異常。

??ECMAScript引擎中的對象的內(nèi)置方法必須符合下方指定的不變量列表。普通的ECMAScript對象以及本規(guī)范中標(biāo)準(zhǔn)的外來對象維護(hù)這些不變量。ECMAScript代理（Proxy）對象通過對[[ProxyHandler]]對象被調(diào)用的結(jié)果的運(yùn)行時檢查來維護(hù)這些不變量。

??任何提供外來對象的實(shí)現(xiàn)也必須維護(hù)這些對象的不變量。違反這些不變量也許會造成ECMAScript代碼出現(xiàn)不可預(yù)測的行為以及發(fā)生安全問題。然而，一個實(shí)現(xiàn)對于違反不變量的行為在內(nèi)存安全問題上絕對不能妥協(xié)。

??一個實(shí)現(xiàn)必須不允許這些不變量在任何例如提供實(shí)現(xiàn)了至關(guān)重要的內(nèi)置方法的功能但是沒有執(zhí)行它們的不變量的可選接口的行為中被規(guī)避。

定義:

一個內(nèi)置方法的target是一個對象，這個對象的對應(yīng)的內(nèi)置方法會被調(diào)用。

如果一個target被觀察到它的[[IsExtensible]]內(nèi)置方法返回false或者[[PreventExtensions]]返回true，那么它是不可擴(kuò)展的。

一個不存在的屬性是指那些在不可擴(kuò)展的target的自身屬性上不存在的屬性。

所有引用SameValue（譯注：即判斷兩個值是否相等）的地方都根據(jù)SameValue算法。

[[GetPrototypeOf]] ( )

返回值的類型必須是Object或者Null。

如果target是不可擴(kuò)展的，并且[[GetPrototypeOf]]返回了一個值v，那么任何將來的對[[GetPrototypeOf]]的調(diào)用都應(yīng)該返回v的SameValue。

注意1： 一個對象的原型鏈的長度應(yīng)該是有限的（也就是說，從任意對象開始，遞歸地對結(jié)果應(yīng)用[[GetPrototypeOf]]內(nèi)置方法最終應(yīng)該得到null）。然而，如果這個原型鏈包含任意的不使用普通對象的[[GetPrototypeOf]]定義的外來對象，那么作為一個對象的不變量水平，這個要求不是強(qiáng)制的。當(dāng)訪問對象屬性的時候，這樣的一個環(huán)形的原型鏈也許最終會導(dǎo)致無限循環(huán)。

[[SetPrototypeOf]] (V)

返回值的類型必須是Boolean。

如果target是不可擴(kuò)展的，[[SetPrototypeOf]]必須返回false，除非V是target觀察到的[[GetPrototypeOf]]值的SameValue。

[[IsExtensible]] ( )

返回值的類型必須是Boolean。

如果[[IsExtensible]]返回false，所有將來的在target上的對[[IsExtensible]]的調(diào)用都必須返回false。

[[PreventExtensions]] ( )

返回值的類型必須是Boolean。

如果[[PreventExtensions]]返回false，所有將來的在target上的對[[IsExtensible]]的調(diào)用都必須返回false，并且現(xiàn)在開始target被認(rèn)為是不可擴(kuò)展的。

[[GetOwnProperty]] ( )

返回值的類型必須是Property Descriptor或者Undefined。

If the Type of the return value is Property Descriptor, the return value must be a complete property descriptor (see 6.2.5.6).

如果返回值的類型是Property Descriptor，那么返回值必須是一個完整的property descriptor（參考6.2.5.6）。

如果一個屬性P被描述為一個含有Desc的數(shù)據(jù)屬性。訪問器 的[[Value]]等于v，訪問器的[[Writable]]以及[[Configurable]]為false，那么對于訪問器的[[Value]]屬性，必須返回SameValue。將來對這個屬性的[[Value]]屬性的調(diào)用變成[[GetOwnProperty]] ( P )。

如果P的除了[[Writable]]之外的屬性隨著時間發(fā)生了變化或者這個屬性消失了，那么P的[[Configurable]]屬性必須變成true。

如果[[Writable]]屬性從false變成了true，那么[[Configurable]]屬性必須變成true。

如果target是不可擴(kuò)展的，并且P是不存在的，那么所有將來在target上對[[GetOwnProperty]] (P)的調(diào)用必須把P描述為不存在的（即[[GetOwnProperty]] (P)必須返回undefined）。

注意2： 作為第三個不變量的結(jié)論，如果一個屬性被描述為一個數(shù)據(jù)屬性并且隨著時間它返回不同的值，那么訪問器的[[Writable]]和[[Configurable]]屬性必須是true，即使沒有機(jī)制去改變通過其它內(nèi)置方法暴露出來的值。

[[DefineOwnProperty]] ( P, Desc)

返回值的類型必須是Boolean。

如果P之前已經(jīng)被觀察為target的一個不可配置的自身屬性，[[DefineOwnProperty]]必須返回false，除非：

P是一個不可配置的可寫的自身數(shù)據(jù)屬性。一個不可配置的可寫數(shù)據(jù)屬性能被改變?yōu)橐粋€不可配置的不可寫的數(shù)據(jù)屬性。

所有在訪問器中的屬性都是P的屬性的SameValue。

如果target是不可擴(kuò)展的并且P是一個不存在的自身屬性，[[DefineOwnProperty]] (P, Desc)必須返回false。也就是說，一個不可擴(kuò)展的對象不能擴(kuò)展新的屬性。

[[HasProperty]] ( P )

返回值的類型必須是Boolean。

如果P之前被觀察到是target的一個不可配置的數(shù)據(jù)或者訪問器自身屬性，[[HasProperty]]必須返回true。

[[Get]] (P, Receiver)

如果P之前被觀察到是target的一個value為v的不可配置且不可寫的自身數(shù)據(jù)屬性，那么[[Get]]必須返回SameValue。

如果P之前被觀察到是[[Get]]屬性是undefined的target的一個不可配置的自身訪問器屬性，那么[[Get]]操作必須返回undefined。

[[Set]] ( P, V, Receiver)

返回值的類型必須是Boolean。

如果P之前被觀察到是target的一個value為v的不可配置且不可寫的自身數(shù)據(jù)屬性，那么[[Set]]必須返回false，除非V是P的[[Value]]屬性的SameValue。

如果P之前被觀察到[[Set]]屬性是undefined 的target的是一個不可配置的自身訪問器屬性，那么[[Set]]操作必須返回undefined。

[[Delete]] ( P )

返回值的類型必須是Boolean。

如果P之前被觀察到是target的一個不可配置的自身數(shù)據(jù)屬性或者訪問器屬性，[[Delete]]必須返回false。

[[OwnPropertyKeys]] ( )

返回值必須是一個List。

返回的List中的每個元素的類型要么是String，要么是Symbol。

返回的List必須至少包含之前觀察到的所有的不可配置的自身屬性。

如果這個對象是不可擴(kuò)展的，那么返回的List必須只能包含這個對象的所有通過[[GetOwnProperty]]觀察到的自身屬性的key。

[[Construct]] ( )

返回值的類型必須是Object。

??著名的內(nèi)部函數(shù)是那些被本規(guī)范的算法顯式地引用的內(nèi)置對象，在這些函數(shù)中通常擁有基于特定域（realm-specific）下的特性。除非另有說明，否則每個內(nèi)部對象在每個域中都實(shí)際對應(yīng)一個相似對象的集合。

??在本規(guī)范中，一個像%name%這樣的引用就表示關(guān)聯(lián)到當(dāng)前域的內(nèi)部對象的對應(yīng)的name。當(dāng)前域的確定以及它的內(nèi)部情況在8.3節(jié)中描述。著名/常見的內(nèi)部對象在下面的表7中列出。

表7 Well-known Intrinsic Objects

Intrinsic Name	Global Name	ECMAScript Language Association
%Array%	Array	Array構(gòu)造函數(shù)（參考22.1.1）
%ArrayBuffer%	ArrayBuffer	ArrayBuffer構(gòu)造函數(shù)（參考24.1.2）
%ArrayBufferPrototype%	ArrayBuffer.prototype	%ArrayBuffer%的prototype數(shù)據(jù)屬性的初始值
%ArrayIteratorPrototype%		Array迭代器的prototype對象（參考22.1.5）
%ArrayPrototype%	Array.prototype	%Array%的prototype數(shù)據(jù)屬性的初始值（參考22.1.3）
%ArrayProto_values%	Array.prototype.values	%ArrayPrototype%的prototype數(shù)據(jù)屬性的初始值（參考22.1.3.30）
%AsyncFunction%		異步的函數(shù)對象（async function ）的構(gòu)造器（參考25.5.1）
%AsyncFunctionPrototype%		%AsyncFunction%的prototype數(shù)據(jù)屬性的初始值
%Atomics%	Atomics	Atomic對象（參考24.4）
%Boolean%	Boolean	Boolean構(gòu)造函數(shù)（參考19.3.1）
%BooleanPrototype%	Boolean.prototype	%Boolean%的prototype數(shù)據(jù)屬性的初始值（參考19.3.3）
%DataView%	DataView	DataView構(gòu)造函數(shù)（參考24.3.2）
%DataViewPrototype%	DataView.prototype	%DataView%的prototype數(shù)據(jù)屬性的初始值
%Date%	Date	Date構(gòu)造函數(shù)（參考20.3.2）
%DatePrototype%	Date.prototype	%Date%的prototype數(shù)據(jù)屬性的初始值
%decodeURI%	decodeURI	decodeURI函數(shù)（參考18.2.6.2）
%decodeURIComponent%	decodeURIComponent	decodeURIComponent函數(shù)（參考18.2.6.3）
%encodeURI%	encodeURI	encodeURI函數(shù)（參考18.2.6.4）
%encodeURIComponent%	encodeURIComponent	encodeURIComponent函數(shù)（參考18.2.6.5）
%Error%	Error	Error構(gòu)造函數(shù)（參考19.5.1）
%ErrorPrototype%	Error.prototype	%DataView%的prototype數(shù)據(jù)屬性的初始值
%eval%	eval	eval函數(shù)（參考18.2.1）
%EvalError%	EvalError	EvalError構(gòu)造函數(shù)（參考19.5.5.1）
%EvalErrorPrototype%	EvalError.prototype	%EvalError%的prototype數(shù)據(jù)屬性的初始值
%Float32Array%	Float32Array	Float32Array構(gòu)造函數(shù)（參考22.2）
%Float32ArrayPrototype%	Float32Array.prototype	%Float32Array%的prototype數(shù)據(jù)屬性的初始值
%Float64Array%	Float64Array	Float64Array構(gòu)造函數(shù)（參考22.2）
%Float64ArrayPrototype%	Float64Array.prototype	%Float64Array%的prototype數(shù)據(jù)屬性的初始值
%Function%	Function	Function構(gòu)造函數(shù)（參考19.2.1）
%FunctionPrototype%	Function.prototype	%Function%的prototype數(shù)據(jù)屬性的初始值
%Generator%		%Generator%的prototype數(shù)據(jù)屬性的初始值
%GeneratorFunction%		generator對象的構(gòu)造函數(shù)（參考25.2.1）
%GeneratorPrototype%		%Generator%的prototype數(shù)據(jù)屬性的初始值
%Int8Array%	Int8Array	Int8Array構(gòu)造函數(shù)（參考22.2）
%Int8ArrayPrototype%	Int8Array.prototype	%Int8Array%的prototype數(shù)據(jù)屬性的初始值
%Int16Array%	Int16Array	Int16Array構(gòu)造函數(shù)（參考22.2）
%Int16ArrayPrototype%	Int16Array.prototype	%Int16Array%的prototype數(shù)據(jù)屬性的初始值
%Int32Array%	Int32Array	Int32Array構(gòu)造函數(shù)（參考22.2）
%Int32ArrayPrototype%	Int32Array.prototype	%Int32Array%的prototype數(shù)據(jù)屬性的初始值
%isFinite%	isFinite	isFinite函數(shù)（參考18.2.2）
%isNaN%	isNaN	isNaN函數(shù)（參考18.2.3）
%IteratorPrototype%		一個對象，所有的內(nèi)置對象的迭代器對象間接地都從這個對象繼承而來。
%JSON%	JSON	JSON對象（參考24.5）
%Map%	Map	Map構(gòu)造函數(shù)（參考23.1.1）
%MapIteratorPrototype%		Map迭代器對象的原型（參考23.1.5）
%MapPrototype%	Map.prototype	%Map%的prototype數(shù)據(jù)屬性的初始值
%Math%	Math	JSON對象（參考20.2）
%Number%	Number	Number構(gòu)造函數(shù)（參考20.1.1）
%NumberPrototype%	Number.prototype	%Number%的prototype數(shù)據(jù)屬性的初始值
%Object%	Object	Object構(gòu)造函數(shù)（參考19.1.1）
%ObjectPrototype%	Object.prototype	%Object%的prototype數(shù)據(jù)屬性的初始值（參考19.1.3）
%ObjProto_toString%	Object.prototype.toString	%Object%的toString數(shù)據(jù)屬性的初始值（參考19.1.3.6）
%ObjProto_valueOf%	Object.prototype.valueOf	%Object%的valueOf數(shù)據(jù)屬性的初始值（參考19.1.3.7）
%parseFloat%	parseFloat	parseFloat函數(shù)（參考18.2.4）
%parseInt%	parseInt	parseInt函數(shù)（參考18.2.5）
%Promise%	Promise	Promise構(gòu)造函數(shù)（參考25.4.3）
%PromisePrototype%	Promise.prototype	%Promise%的prototype數(shù)據(jù)屬性的初始值
%Proxy%	Proxy	Proxy構(gòu)造函數(shù)（參考26.2.1）
%RangeError%	RangeError	RangeError構(gòu)造函數(shù)（參考19.5.2.2）
%RangeErrorPrototype%	RangeError.prototype	%RangeError%的prototype數(shù)據(jù)屬性的初始值
%ReferenceError%	ReferenceError	ReferenceError構(gòu)造函數(shù)（參考19.5.5.3）
%ReferenceErrorPrototype%	ReferenceError.prototype	%ReferenceError%的prototype數(shù)據(jù)屬性的初始值
%Reflect%	Reflect	Reflect對象（參考26.1）
%RegExp%	RegExp	RegExp構(gòu)造函數(shù)（參考21.2.3）
%RegExpPrototype%	RegExp.prototype	%RegExp%的prototype數(shù)據(jù)屬性的初始值
%Set%	Set	Set構(gòu)造函數(shù)（參考23.2.1）
%SetIteratorPrototype%		Set迭代器對象的prototype（參考23.2.5）
%SetPrototype%	Set.prototype	%Set%的prototype數(shù)據(jù)屬性的初始值
%SharedArrayBuffer%	SharedArrayBuffer	SharedArrayBuffer構(gòu)造函數(shù)（參考24.2.2）
%SharedArrayBufferPrototype%	SharedArrayBuffer.prototype	%SharedArrayBuffer%的prototype數(shù)據(jù)屬性的初始值
%String%	String	String構(gòu)造函數(shù)（參考21.1.1）
%StringIteratorPrototype%		String迭代器對象的prototype（參考21.1.5）
%StringPrototype%	String.prototype	%String%的prototype數(shù)據(jù)屬性的初始值
%Symbol%	Symbol	Symbol構(gòu)造函數(shù)（參考19.4.1）
%SymbolPrototype%	Symbol.prototype	%Symbol%的prototype數(shù)據(jù)屬性的初始值（參考19.4.3）
%SyntaxError%	SyntaxError	SyntaxError構(gòu)造函數(shù)（參考19.5.5.4）
%SyntaxErrorPrototype%	SyntaxError.prototype	%SyntaxError%的prototype數(shù)據(jù)屬性的初始值
%ThrowTypeError%		一個函數(shù)對象，無條件的拋出一個%TypeError%的實(shí)例
%TypedArray%		所有的typed Array構(gòu)造函數(shù)的父類（參考22.2.1）
%TypedArrayPrototype%		%TypedArray%的prototype數(shù)據(jù)屬性的初始值
%TypeError%	TypeError	T GPU云服務(wù)器 云服務(wù)器 linux下幫助文檔 ECMAScript ECMAScript 6 明解c語言第9章 文章版權(quán)歸作者所有，未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。 轉(zhuǎn)載請注明本文地址：http://m.specialneedsforspecialkids.com/yun/84689.html 上一篇：JS類與類繼承 下一篇：【EASYDOM系列教程】之替換節(jié)點(diǎn) 相關(guān)文章 【譯】ECMAScript文檔---序言及1-6章（上） 摘要：隨后，它出現(xiàn)在公司之后的瀏覽器，以及從微軟從起發(fā)布的所有瀏覽器上。標(biāo)準(zhǔn)的第版在年月的大會上被表決接受。第版在年月底大會上被采納。 前言 ??本系列譯文的初衷旨在希望更多人能夠了解關(guān)于JS的一些基本概念，遇到原理性的問題時多去翻翻文檔，而不是在社區(qū)無休止的重復(fù)提出某些在文檔中能夠非常方便快捷就能找到的東西。 ??精力和水平有限，所以暫時只打算嘗試翻譯前面幾章概括性的介紹，同時后面的章節(jié)大... wind3110991 2019-08-20 18:32 評論0 收藏0 2017-08-06 前端日報 摘要：前端日報精選前端實(shí)現(xiàn)文件的斷點(diǎn)續(xù)傳精讀最佳前端面試題及面試官技巧渲染機(jī)制解析十日談第一日繪制隨機(jī)不規(guī)則三角彩條小談個人主頁的實(shí)現(xiàn)發(fā)布中文譯使用被認(rèn)為是有害的了解的命令掘金譯文檔序言及章上北歐小鎮(zhèn)的前端小船譯文檔 2017-08-06 前端日報 精選 前端實(shí)現(xiàn)文件的斷點(diǎn)續(xù)傳精讀《最佳前端面試題》及面試官技巧React 渲染機(jī)制解析【React Native十日談】第一日繪制隨機(jī)不規(guī)則三角... z2xy 2019-08-20 18:33 評論0 收藏0 Taro 簡介 摘要：讓人又愛又恨的微信小程序自微信小程序以下簡稱小程序誕生以來，就伴隨著贊譽(yù)與爭議不斷。同時于開發(fā)者來說，小程序的生態(tài)不斷在完善，許多的坑已被踩平，雖然還是存在一些令人詬病的問題，但已經(jīng)足見微信的誠意了。 Taro 介紹 在互聯(lián)網(wǎng)不斷發(fā)展的今天，前端程序員們也不斷面臨著新的挑戰(zhàn)，在這個變化多端、不斷革新自己的領(lǐng)域，每一年都有新的美好事物在發(fā)生。從去年微信小程序的誕生，到今年的逐漸火熱，以及... sixgo 2019-08-23 16:18 評論0 收藏0 Tasks, microtasks, queues and schedules（譯） 摘要：事件循環(huán)持續(xù)運(yùn)行，直到清空列隊(duì)的任務(wù)。在執(zhí)行期間，瀏覽器可能更新渲染。線索可能會發(fā)生多次。由于冒泡，函數(shù)再一次執(zhí)行。這意味著隊(duì)列不會在事件回調(diào)之間處理，而是在它們之后處理。當(dāng)觸發(fā)成功事件時，相關(guān)的對象在事件之后轉(zhuǎn)為非激活狀態(tài)第四步。 一 前言 一直想對異步處理做一個研究，在查閱資料時發(fā)現(xiàn)了這篇文章，非常深入的解釋了事件循環(huán)中重的任務(wù)隊(duì)列。原文中有代碼執(zhí)行工具，強(qiáng)烈建議自己執(zhí)行一下查看結(jié)... tianyu 2019-08-22 17:07 評論0 收藏0 [譯] TC39，ECMAScript 和 JavaScript 的未來（Part 1） 摘要：由很多令人興奮的功能，如對象的解析與剩余，異步迭代器，方法和更好的正則表達(dá)式支持。迭代可以是任何遵循迭代器協(xié)議的對象。迭代器方法應(yīng)該返回一個具有方法的對象。 原文：TC39, ECMAScript, and the Future of JavaScript作者：Nicolás Bevacqua 譯者序 很榮幸能夠和 Nicolás Bevacqua 同臺分享。Nicolás Beva... ziwenxie 2019-08-20 17:40 評論0 收藏0 發(fā)表評論 登陸后可評論 0條評論 xiaokai 男|高級講師 我要關(guān)注 我要私信 TA的文章 閱讀更多 tensorflow 閱讀 2501·2023-04-25 19:24 關(guān)于Matlab小波工具箱打開.mat文件為一條遞增斜線問題的解決辦法 閱讀 1719·2021-11-11 16:54 hostEONS：雙11促銷，美國VPS年付$21起，新購給雙倍流量、雙倍硬盤，1Gbps帶寬自帶1 閱讀 2845·2021-11-08 13:19 ZJI：雙十一自營服務(wù)器55折起,香港葵灣E5服務(wù)器522元/月起 閱讀 3558·2021-10-25 09:45 CloudCone：KVM月付1.99美元起,洛杉磯機(jī)房,支持PayPal/支付寶 閱讀 2566·2021-09-13 10:24 阿里云金秋上云季活動：超強(qiáng)算力企業(yè)級云服務(wù)器首次特供僅4折起! 閱讀 3295·2021-09-07 10:15 阿帕云引擎(原zkeys系統(tǒng))出售：idc管理系統(tǒng)源碼,云服務(wù)器管理系統(tǒng) 閱讀 4055·2021-09-07 10:14 Dom 事件詳解 閱讀 2965·2019-08-30 15:56 最新活動 閱讀需要支付1元查看 支付并查看