JSON 對(duì)象是一個(gè)單一的對(duì)象，它包含兩個(gè)函數(shù)，parse 和 stringify，是用于解析和構(gòu)造 JSON 文本的。JSON 數(shù)據(jù)的交換格式在 RFC4627 里進(jìn)行了描述。 <http://www.ietf.org/rfc/rfc4627.txt>。本規(guī)范里面的 JSON 交換格式會(huì)使用 RFC4627 里所描述的，以下兩點(diǎn)除外：

• ECMAScript JSON 文法中的頂級(jí) JSONText 產(chǎn)生式是由 JSONValue 構(gòu)成，而不是 RFC4627 中限制成的 JSONObject 或者 JSONArray。
• 確認(rèn) JSON.parse 和 JSON.stringify 的實(shí)現(xiàn)，它們必須準(zhǔn)確的支持本規(guī)范描述的交換格式，而不允許對(duì)格式進(jìn)行刪除或擴(kuò)展。這一點(diǎn)要區(qū)別于 RFC4627，它允許 JSON 解析器接受 non-JSON 的格式和擴(kuò)展。

 JSON 對(duì)象內(nèi)部屬性 [[Prototype]] 的值是標(biāo)準(zhǔn)內(nèi)建的 Object 原型對(duì)象（15.2.4）。內(nèi)部屬性 [[Class]] 的值是“JSON”。內(nèi)部屬性 [[Extensible]] 的值設(shè)置為 true。

 JSON 對(duì)象沒有內(nèi)部屬性 [[Construct]]；不能把 JSON 對(duì)象當(dāng)作構(gòu)造器來使用 new 操作符。

 JSON 對(duì)象沒有內(nèi)部屬性 [[Call]]; 不能把 JSON 對(duì)象當(dāng)作函數(shù)來調(diào)用。

JSON 語法

 JSON.stringify 會(huì)產(chǎn)生一個(gè)符合 JSON 語法的字符串。JSON.parse 接受的是一個(gè)符合 JSON 語法的字符串。

JSON 詞法

 類似于 ECMAScript 源文本，JSON 是由一系列符合 SourceCharacter 規(guī)則的字符構(gòu)成的。JSON 詞法定義的 tokens 使得 JSON 文本類似于 ECMAScript 詞法定義的 tokens 得到的 ECMAScript 源文本。JSON 詞法僅能識(shí)別由 JSONWhiteSpace 產(chǎn)生式得到的空白字符。在語法上，所有非終止符均不是由“JSON”字符開始，而是由 ECMAScript 詞法產(chǎn)生式定義的。

 語法

JSON 語法

 根據(jù) JSON 詞法定義的 tokens，JSON 語法定義了一個(gè)合法的 JSON 文本。語法的目標(biāo)符號(hào)是 JSONText。

 語法

parse ( text [ , reviver ] )

 parse函數(shù)解析一段JSON文本（JSON格式字符串），生成一個(gè)ECMAScript值。JSON格式是ECMAScript直接量 的受限模式。JSON對(duì)象可以被理解為ECMAScript對(duì)象。JSON數(shù)組可以被理解為ECMAScript數(shù)組。JSON字符串、數(shù)字、布爾值以及null可以被認(rèn)為是ECMAScript字符串、數(shù)字、布爾值以及null。JSON使用受限更多的空白字符集合，并且允許Unicode碼點(diǎn)U+2028和U+2029直接出現(xiàn)在JSONString直接量當(dāng)中而無需使用轉(zhuǎn)義序列。解析流程與11.1.4和11.1.5一樣，但是由JSON語法限定。

 可選參數(shù)reviver是一個(gè)接受兩個(gè)參數(shù)的函數(shù)（key和value）。它可以過濾和轉(zhuǎn)換結(jié)果。它在每個(gè)key/value對(duì)產(chǎn)生時(shí)被調(diào)用，它的返回值可以用于替代原本的值。如果它原樣返回接收到的，那么結(jié)構(gòu)不會(huì)被改變。如果它返回undefined，那么屬性會(huì)被從結(jié)果中刪除。

1. 令JText為ToString(text)
2. 以15.12.1所述語法解析JText。如果JText不能以JSON grammar解析成JSONText，則拋出SyntaxError異常。
3. 令unfiltered為按ECMAScript程序（但是用JSONString替換StringLiteral）解析和執(zhí)行JText的結(jié)果。注因JText符合JSON語法，這個(gè)結(jié)果要么是原始值類型要么是ArrayLiteral或者ObjectLiteral所定義的對(duì)象。
4. 若IsCallable(reviver)為true則令root為由表達(dá)式new Object()創(chuàng)建的新對(duì)象，其中Object是以O(shè)bject為名的標(biāo)準(zhǔn)內(nèi)置的構(gòu)造器。以空字符串和屬性描述{Value: unfiltered, Writable: true, Enumerable: true, Configurable: true}以及false為參數(shù)調(diào)用root的DefineOwnProperty內(nèi)置方法。返回傳入root和空字符串為參數(shù)調(diào)用抽象操作Walk的結(jié)果，抽象操作Walk如下文所定義。
5. 否則，返回unfiltered。

 抽象操作Walk是一個(gè)遞歸的抽象操作，它接受兩個(gè)參數(shù)：一個(gè)持有對(duì)象和表示一個(gè)該對(duì)象的屬性名的String。Walk使用最開始被傳入parse函數(shù)的reviver的值。

1. 令val為以參數(shù)name調(diào)用hold的get內(nèi)部方法的結(jié)果。
2. 若val為對(duì)象，則若val的Class內(nèi)部屬性為"Array"設(shè)I為0令len為以參數(shù)"length"調(diào)用val的get內(nèi)部方法的結(jié)果當(dāng)I<len時(shí)重復(fù)令newElement為調(diào)用抽象操作Walk的結(jié)果，傳入val和ToString(I)為參數(shù)。若newElement為undefined，則以ToString(I)和false做參數(shù)，調(diào)用val的內(nèi)部方法Delete否則，以ToString(I)，屬性描述{Value: newElement, Writable: true, Enumerable: true, Configurable: true}以及false做參數(shù)調(diào)用調(diào)用val的內(nèi)部方法DefineOwnProperty對(duì)I加1否則令keys為包含val所有的具有Enumerable特性的屬性名String值的內(nèi)部類型List。字符串的順序應(yīng)當(dāng)與內(nèi)置函數(shù)Object.keys一致。對(duì)于keys中的每個(gè)字符串P做一下令newElement為調(diào)用抽象操作Walk的結(jié)果，傳入val和P為參數(shù)。若newElement為undefined，則以P和false做參數(shù)，調(diào)用val的內(nèi)部方法Delete否則，以P，屬性描述{Value: newElement, Writable: true, Enumerable: true, Configurable: true}以及false做參數(shù)調(diào)用調(diào)用val的內(nèi)部方法DefineOwnProperty
3. 返回傳入holder作為this值以及以name和val構(gòu)成的參數(shù)列表調(diào)用reviver的Call內(nèi)部屬性的結(jié)果。

 實(shí)現(xiàn)不允許更改JSON.parse的實(shí)現(xiàn)以擴(kuò)展JSON語法。如果一個(gè)實(shí)現(xiàn)想要支持更改或者擴(kuò)展過的JSON交換格式它必須以定義一個(gè)不同的parse函數(shù)的方式做這件事。

 在對(duì)象中存在同名字符串的情況下，同一key的值會(huì)被按照文本順序覆蓋掉。

stringify ( value [ , replacer [ , space ] ] )

 stringify函數(shù)返回一個(gè)JSON格式的字符串，用以表示一個(gè)ECMAScript值。它可以接受三個(gè)參數(shù)。第一個(gè)參數(shù)是必選的。value參數(shù)是一個(gè)ECMAScript值，它通常是對(duì)象或者數(shù)組，盡管它也可以是String, Boolean, Number 或者是 null?？蛇x的replacer參數(shù)要么是個(gè)可以修改對(duì)象和數(shù)組字符串化的方式的函數(shù)，要么是個(gè)扮演選擇對(duì)象字符串化的屬性的白名單這樣的角色的String和Number組成的數(shù)組?？蛇x的space參數(shù)是一個(gè)String或者Number，可以允許結(jié)果中插入空白符以改善人類可讀性。

 以下為字符串化一對(duì)象的步驟：

1. 令stack為空List
2. 令indent為空String
3. 令PropertyList和ReplacerFunction為undefined
4. 若Type(replacer)為Object,則若IsCallable(replacer)為true,則令ReplacerFunction為replacer否則若replacer的內(nèi)部屬性Class為"Array",則令PropertyList為一空內(nèi)部類型List對(duì)于所有名是數(shù)組下標(biāo)的replacer的屬性v.以數(shù)組下標(biāo)遞增順序枚舉屬性令item為undefined若Type(v)為String則 令item為v.否則若Type(v)為Number則 令item為ToString(v).否則若Type(v)為Object則,若v的Class內(nèi)部屬性為"String" or "Number"則 令item為ToString(v).若item is not undefined and item為not currently an element of PropertyList則,Append item to the end of PropertyList.
5. 若Type(space)為Object則,若space的Class內(nèi)部屬性為"Number"則,令space為ToNumber(space)否則若space的Class內(nèi)部屬性為"String"則,令space為ToString(space)
6. 若Type(space)為Number 令space為min(10, ToInteger(space)) 設(shè)gap為一包含space個(gè)空格的String. 這將會(huì)是空String加入space小于1.
7. 否則若Type(space)為String若space中字符個(gè)數(shù)為10或者更小, 設(shè)gap為space，否則設(shè)gap為包含前10個(gè)space中字符的字符串
8. 否則 設(shè)gap為空String.
9. 令wrapper為一個(gè)如同以表達(dá)式new Object()創(chuàng)建的新對(duì)象,其中Object是這個(gè)名字的標(biāo)準(zhǔn)內(nèi)置構(gòu)造器。
10. 以參數(shù)空String, 屬性描述{Value: value, Writable: true, Enumerable: true, Configurable: true}, 和false調(diào)用wrapper的DefineOwnProperty內(nèi)部方法。
11. 返回以空String和wrapper調(diào)用抽象方法Str的結(jié)果。

 抽象操作Str(key, holder)可以訪問調(diào)用它的stringify方法中的ReplacerFunction。其算法如下：

1. 令value為以key為參數(shù)調(diào)用holder的內(nèi)部方法Get
2. 若Type(value)為Object,則令toJSON為以"toJSON"為參數(shù)調(diào)用value的內(nèi)部方法GetIf IsCallable(toJSON) is true令value為以調(diào)用toJSON的內(nèi)部方法Call的結(jié)果，傳入value為this值以及由key構(gòu)成的參數(shù)列表
3. 若ReplacerFunction為not undefined,則令value為以調(diào)用ReplacerFunction的內(nèi)部方法Call的結(jié)果，傳入holder為this值以及由key and value構(gòu)成的參數(shù)列表
4. 若Type(value)為Object則,若value的Class內(nèi)部屬性為"Number"則,令value為ToNumber(value)否則若value的Class內(nèi)部屬性為"String"則,令value為ToString(value)否則若value的Class內(nèi)部屬性為"Boolean"則,令value為value的value of the PrimitiveValue內(nèi)部屬性
5. 若value為null則 返回 "null".
6. 若value為true則 返回 "true".
7. 若value為false則 返回 "false".
8. 若Type(value)為String,則返回以value調(diào)用Quote抽象操作的結(jié)果。
9. 若Type(value)為Number若value為finite則 返回 ToString(value).否則, 返回"null".
10. 若Type(value)為Object,且IsCallable(value)為false若value的Class內(nèi)部屬性為"Array"則返回以value為參數(shù)調(diào)用抽象操作JA的結(jié)果否則, 返回以value.為參數(shù)調(diào)用抽象操作value的結(jié)果
11. 返回undefined.

 抽象操作Quote(value)將一個(gè)String值封裝在雙引號(hào)中，并且對(duì)其中的字符轉(zhuǎn)義。

1. 令product為雙引號(hào)字符
2. 對(duì)value中的每一個(gè)字符C若C為雙引號(hào)字符或者反斜杠字符令product為product和反斜杠連接的結(jié)果令product為product與C的連接否則若C為退格，formfeed換行回車揮著tab令product為product與反斜杠字符的連接令abbrev為如下表所示C對(duì)應(yīng)的字符: backspace "b" formfeed "f" newline "n" carriage return "r" tab "t"令product為product與abbrev的連接否則若C為代碼值小于space的控制字符令product為product與反斜杠字符的連接令product為product與"u"的連接令hex為轉(zhuǎn)換C代碼值按十六進(jìn)制轉(zhuǎn)換到四位字符串的結(jié)果令product為product與hex的連接否則令product為product與C的連接
3. 令product為product與雙引號(hào)字符的連接
4. 返回 product.

 抽象操作JO(value)序列化一個(gè)對(duì)象，它可以訪問調(diào)用它的方法中的stack, indent, gap, PropertyList,ReplacerFunction以及space

1. 若stack包含value，則拋出一個(gè)TypeError，因?yàn)閷?duì)象結(jié)構(gòu)中存在循環(huán)。
2. 將value添加到stack.
3. 令stepback為indent
4. 令indent為indent與gap的連接
5. 若PropertyList沒有被定義,則令K為PropertyList
6. 否則令K為以由所有Enumerable特性為true的自身屬性名構(gòu)成的內(nèi)部String列表類型.
7. 令partial為空List
8. 對(duì)于K的每一個(gè)元素P令strP為以P和value為參數(shù)調(diào)用抽象操作Str的結(jié)果若strP沒有被定義令member為以P為參數(shù)調(diào)用抽象操作P的結(jié)果令member為member與冒號(hào)字符的連接若gap不為空String令member為member與空格字符的連接令member為member與strP的連接將member添加到partial.
9. 若partial為empty,則令final為"{}"
10. 否則若gap為空String令properties為一個(gè)連接所有partial中的字符串而成的字符串，鍵值對(duì)之間用逗號(hào)分隔。第一個(gè)字符串之前和最后一個(gè)字符串之后沒有逗號(hào)。令final為連接 "{", properties, 和"}"的結(jié)果否則 gap 不是空String令separator為連接 逗號(hào)字符，換行字符以及indent而成的字符串。令properties為一個(gè)連接所有partial中的字符串而成的字符串，鍵值對(duì)之間用separator分隔。第一個(gè)字符串之前和最后一個(gè)字符串之后沒有separator。令final為連接"{", 換行符, indent, properties, 換行符, stepback, 和"}"的結(jié)果。
11. 移除stack中的最后一個(gè)元素。
12. 令indent為stepback
13. 返回final.

 抽象操作JA(value)序列化一個(gè)數(shù)組。它可以訪問調(diào)用它的stringify方法中的stack, indent, gap, PropertyList,ReplacerFunction以及space。數(shù)組的表示中僅包擴(kuò)零到array.length-1的區(qū)間。命名的屬性將會(huì)被從字符串化操作中排除。數(shù)組字符串化成開頭的左方括號(hào)，逗號(hào)分隔的元素，以及結(jié)束的右方括號(hào)。

1. 若stack包含value，則拋出一個(gè)TypeError，因?yàn)閷?duì)象結(jié)構(gòu)中存在循環(huán)。
2. 將value添加到stack.
3. 令stepback為indent
4. 令indent為indent與gap的連接
5. 令partial為空List
6. 令len為以"length"為參數(shù)調(diào)用value的內(nèi)部方法Get
7. 令index為0
8. 當(dāng)index < len時(shí)重復(fù)以下令strP為the result of calling the abstract operation Str with arguments ToString(index) and value若strP沒有被定義添加null到 partial.否則添加strP到 partial.使index增加1.
9. 若partial為空,則令final為"[]"
10. 否則若gap為空String令properties為為一個(gè)連接所有partial中的字符串而成的字符串，鍵值對(duì)之間用逗號(hào)分隔。第一個(gè)字符串之前和最后一個(gè)字符串之后沒有逗號(hào)。令final為連接 "[", properties, 和"]"的結(jié)果否則令separator為逗號(hào)字符，換行字符以及indent而成的字符串。令properties為一個(gè)連接所有partial中的字符串而成的字符串，鍵值對(duì)之間用separator分隔。第一個(gè)字符串之前和最后一個(gè)字符串之后沒有separator。令final為連接"[", 換行符, indent, properties, 換行符, stepback, 和"]"的結(jié)果。
11. 移除stack中的最后一個(gè)元素。
12. 令indent為stepback
13. 返回final.

 JSON結(jié)構(gòu)允許任何深度的嵌套，但是不能夠循環(huán)引用。若value是或者包含了一個(gè)循環(huán)結(jié)構(gòu)，則stringify函數(shù)必須拋出一個(gè)TypeError異常。以下是一個(gè)不能夠被字符串化的值的例子：

 符號(hào)式簡單值按以下方式表示：

1. null值在JSON文本中表示為字符串null
2. undefined 值不出現(xiàn)
3. true值在JSON文本中表示為字符串true
4. false值在JSON文本中表示為字符串false

 字符串值用雙引號(hào)括起。字符"和\會(huì)被轉(zhuǎn)義成帶\前綴的?？刂谱址棉D(zhuǎn)義序列\(zhòng)uHHHH替換，或者使用簡略形式 \b(backspace), \f (formfeed), \n (newline), \r (carriage return), \t (tab)

 有窮的數(shù)字按照調(diào)用ToString(number)字符串化。NaN和不論正負(fù)的Infinity都表示為字符串null

 沒有JSON表示的值（如undefined和函數(shù)）不會(huì)產(chǎn)生字符串。而是會(huì)產(chǎn)生undefined值。在數(shù)組中這些值表示為字符串null。在對(duì)象中不能表示的值會(huì)導(dǎo)致屬性被排除在字符串化過程之外。

 對(duì)象表示為開頭的左大括號(hào)跟著零個(gè)或者多個(gè)屬性，以逗號(hào)分隔，以右大括號(hào)結(jié)束。屬性是用用來表示key或者屬性名的引號(hào)引起的字符串，冒號(hào)然后是字符串化的屬性值。數(shù)組表示為開頭的左方括號(hào)，后跟零個(gè)或者多個(gè)值，以逗號(hào)分隔，以右方括號(hào)結(jié)束。