JSONとは

2つのコンテナ：オブジェクトと配列

JSONのすべては2つの構造から組み立てられます。オブジェクトは、波括弧に包まれたキーと値のペアの集合で、順序は保証されません。キーは常に文字列、値にはどんなJSON値でも入れられ、ペアはカンマで区切ります。配列は、角括弧に包まれた値の順序付きリストで、値はどんな型の組み合わせでも構いません。

{
  "name": "Ada Lovelace",
  "born": 1815,
  "mathematician": true
}

[
  "analytical engine",
  1843,
  null
]

6つのデータ型

スカラーが4つ――string、number、boolean、null――で、残る2つは上で出したコンテナです。初心者が面食らうルールは少ないながら、厳格です。文字列は常にダブルクォートで囲む（シングルクォートは無効）。数値にクォートは不要で、16進では書けない。booleanは小文字のトークンtrueとfalseそのもの。nullは「意図的に空である」ことを意味する、独立した値です。

エスケープ：文字列の中に住めるもの

文字列の中で、どこに現れても必ずエスケープしなければならない文字が2つあります。ダブルクォート（\"と書く）とバックスラッシュ（\\と書く）です。さらに制御文字用のエスケープが6つあります――\n改行、\tタブ、\r復帰、\bバックスペース、\fフォームフィード、そして\/がスラッシュ用。スラッシュのエスケープは有効ですが任意です。その他の文字は、UTF-8のままそのまま書けるほか、Unicodeコードポイントを\uXXXXエスケープで書くこともできます――どちらの表記も、パーサーにとってはまったく同じ文字列を意味します。

"path": "C:\\Users\\ada"
"quote": "she said \"hi\""
"emoji": "\ud83d\ude00"

path:   C:\Users\ada
quote:  she said "hi"
emoji:  😀

空白文字と整形、そして整形が存在する理由

構造を成す記号の間には、JSONが許す空白文字が厳密に4種類あります。スペース、タブ、改行、復帰です。この許容があるからこそ整形が可能になります。同じドキュメントが、通信路上では読めない1行になり、エディターの中ではインデントされたツリーになり、どちらもパーサーにはバイト単位でまったく同じデータです。整形は意味を何も変えません。だからこそフォーマッターツールはどんなペイロードにも安全に使え、転送には最小化したJSONが標準の選択になるのです。

• コメントはない：RFC 8259は、現実のパーサー間の実装の揺れを経て、コメントを意図的に削除しました。JSONCは、一部のツールが受け入れる非公式な拡張です。
• 末尾カンマはない：[1, 2, 3,] は、いかにも正しそうに見えても無効です。
• 重複キー：パーサーは最初か最後のどちらか一方を保持します――RFC 8259はこれを実装に委ねており、だからこそ、パースできたとしても重複キーはバグです。
• トップレベルは自由：どんな値でもドキュメント全体になり得ます――数値の配列だけで完全なJSONです。

JSONが使われる場所――使われない場所

JSONが治める領土は3つあります。APIのリクエスト・レスポンスのボディ、コメントがなくても困らない構造化設定、そしてドキュメントデータベースの中に置かれたデータです。通信路上では、2つの隣人と渋々同居しています。protobufのようなバイナリ形式――両端がスキーマを共有するときはサイズと速度で勝ります――と、運用設定の手編集で勝るYAMLです。したがってJSONを深く理解することは、数あるスキルのひとつではありません。あの2つの隣人を読むための前提条件です。YAML 1.2はJSONをパースでき、ほとんどのバイナリスキーマはJSONの例で自分自身を文書化しているのですから。