JSONはプレーンテキストとしてデータを保存します。その文法は、JavaScript式の文法のサブセットです。例：

{
    "first": "Jane",
    "last": "Porter",
    "married": true,
    "born": 1890,
    "friends": [ "Tarzan", "Cheeta" ]
}

JSONは、JavaScript式から次の構成要素を使用します。

以下のルールに従います。

ダグラス・クロックフォードは2001年にJSONを発見しました。彼はJSONに名前を付け、仕様をhttp://json.orgに掲載しました。

当初、クロックフォードはJSONをJavaScript Markup Languageと名付けたいと考えていましたが、JSMLという頭字語はすでにJSpeech Markup Languageで使用されていました。

JSON仕様は多くの言語に翻訳されており、現在ではJSONのパースと生成をサポートする多くのプログラミング言語のライブラリが存在します。

ダグラス・クロックフォードは、表面にロゴのあるJSONの名刺を作成しました（図22-1参照）裏面には完全な文法が記載されています（図22-2参照）。これにより、JSONがいかにシンプルであるかが視覚的に明らかになります。

図22-1. JSON名刺の表面にはロゴが表示されています（出典：Eric Miraglia）。

図22-2. JSON名刺の裏面には完全な文法が記載されています（出典：Eric Miraglia）。

文法は次のように書き起こすことができます。

グローバル変数JSONは、JSONデータを含む文字列を作成および解析する関数の名前空間として機能します。

オブジェクトでは、JSON.stringify()は列挙可能な独自の属性のみを考慮します（プロパティ属性とプロパティ記述子参照）。次の例は、列挙不可能な独自の属性obj.fooが無視されることを示しています。

> var obj = Object.defineProperty({}, 'foo', { enumerable: false, value: 7 });
> Object.getOwnPropertyNames(obj)
[ 'foo' ]
> obj.foo
7
> JSON.stringify(obj)
'{}'

JSON.stringify()がJSONでサポートされていない値（関数やundefinedなど）をどのように処理するかは、それが値に出会う場所によって異なります。サポートされていない値自体が原因で、stringify()は文字列ではなくundefinedを返します。

> JSON.stringify(function () {})
undefined

値がサポートされていないプロパティは単純に無視されます。

> JSON.stringify({ foo: function () {} })
'{}'

配列内のサポートされていない値はnullとして文字列化されます。

> JSON.stringify([ function () {} ])
'[null]'

JSON.stringify()がtoJSONメソッドを持つオブジェクトに遭遇した場合、そのメソッドを使用して文字列化する値を取得します。例：

> JSON.stringify({ toJSON: function () { return 'Cool' } })
'"Cool"'

日付にはすでにtoJSONメソッドがあり、ISO 8601日付文字列を生成します。

> JSON.stringify(new Date('2011-07-29'))
'"2011-07-28T22:00:00.000Z"'

toJSONメソッドの完全なシグネチャは次のとおりです。

function (key)

keyパラメータを使用すると、コンテキストに応じて異なる方法で文字列化できます。これは常に文字列であり、親オブジェクト内でオブジェクトがどこに見つかったかを示します。

次のオブジェクトを使用してtoJSON()を示します。

var obj = {
    toJSON: function (key) {
        // Use JSON.stringify for nicer-looking output
        console.log(JSON.stringify(key));
        return 0;
    }
};

JSON.stringify()を使用すると、objの各出現箇所が0に置き換えられます。toJSON()メソッドは、objがプロパティキー'foo'と配列インデックス0で見つかったことを通知されます。

> JSON.stringify({ foo: obj, bar: [ obj ]})
"foo"
"0"
'{"foo":0,"bar":[0]}'

組み込みのtoJSON()メソッドは次のとおりです。

特殊なルートノードは、プレフィックス反復（親が子より前）で最初に来ます。最初に訪問されるノードは常に擬似ルートです。stringify()によって返される文字列は、各呼び出し後に最後に表示される行です。

> JSON.stringify(['a','b'], nodeVisitor)
{"":["a","b"]} # "" # ["a","b"]
["a","b"] # "0" # "a"
["a","b"] # "1" # "b"
'["a","b"]'

> JSON.stringify({a:1, b:2}, nodeVisitor)
{"":{"a":1,"b":2}} # "" # {"a":1,"b":2}
{"a":1,"b":2} # "a" # 1
{"a":1,"b":2} # "b" # 2
'{"a":1,"b":2}'

> JSON.stringify('abc', nodeVisitor)
{"":"abc"} # "" # "abc"
'"abc"'

リーフはポストフィックス反復（子が親より前）で最初に来ます。最後に訪問されるノードは常に擬似ルートです。parse()によって返されるJavaScriptの値は、各呼び出し後に最後に表示される行です。

> JSON.parse('["a","b"]', nodeVisitor)
["a","b"] # "0" # "a"
["a","b"] # "1" # "b"
{"":["a","b"]} # "" # ["a","b"]
[ 'a', 'b' ]

> JSON.parse('{"a":1, "b":2}', nodeVisitor)
{"a":1,"b":2} # "a" # 1
{"a":1,"b":2} # "b" # 2
{"":{"a":1,"b":2}} # "" # {"a":1,"b":2}
{ a: 1, b: 2 }

> JSON.parse('"hello"', nodeVisitor)
{"":"hello"} # "" # "hello"
'hello'