JSON 数据类型的输入/输出语法遵循 RFC 7159。

以下都是有效的 json（或 jsonb）表达式：

-- 简单的标量/基本值
-- 基本值可以是数字、加引号的字符串、true、false 或 null
SELECT '5'::json;

-- 包含零个或多个元素的数组（元素不必是同一类型）
SELECT '[1, 2, "foo", null]'::json;

-- 包含键值对的对象
-- 注意，对象的键必须始终是加引号的字符串
SELECT '{"bar": "baz", "balance": 7.77, "active": false}'::json;

-- 数组和对象可以任意嵌套
SELECT '{"foo": [true, "bar"], "tags": {"a": 1, "b": null}}'::json;

如前所述，当一个 JSON 值被输入后又在不进行任何额外处理的情况下输出时， json 会输出与输入完全相同的文本，而 jsonb 不会保留诸如空白这类语义上无关紧要的细节。例如，请注意这里的差异：

SELECT '{"bar": "baz", "balance": 7.77, "active":false}'::json;
                      json
-------------------------------------------------
 {"bar": "baz", "balance": 7.77, "active":false}
(1 row)

SELECT '{"bar": "baz", "balance": 7.77, "active":false}'::jsonb;
                      jsonb
--------------------------------------------------
 {"bar": "baz", "active": false, "balance": 7.77}
(1 row)

一个值得注意的语义无关细节是，在 jsonb 中，数字会按照 底层 numeric 类型的行为输出。在实践中，这意味着使用 E 记数法输入的数字在输出时将不再使用这种写法，例如：

SELECT '{"reading": 1.230e-5}'::json, '{"reading": 1.230e-5}'::jsonb;
         json          |          jsonb
-----------------------+-------------------------
 {"reading": 1.230e-5} | {"reading": 0.00001230}
(1 row)

不过，正如这个例子所示，jsonb 会保留小数部分末尾的零， 尽管对于等值检查之类的用途来说，这些零在语义上并不重要。

以 JSON 形式表示数据，可能比传统的关系数据模型灵活得多，这在需求变化较 大的环境中尤其有吸引力。这两种方法完全可能在同一个应用中共存并互为补充。 但是，即使对于追求最大灵活性的应用，也仍然建议 JSON 文档拥有某种相对固定 的结构。这种结构通常并不受强制约束（尽管也可以用声明式方式强制某些业务规则）， 但具有可预测的结构会让编写查询更容易，从而能够有效地汇总表中一组 “文档”（数据项）。

当 JSON 数据存储在表中时，它与任何其他数据类型一样，都要面对相同的并发控 制考量。虽然存储大型文档是可行的，但要记住，任何更新都会在整行上获取一个 行级锁。应考虑将 JSON 文档限制在可管理的大小，以减少更新事务之间的锁争用。 理想情况下，每个 JSON 文档都应表示一个原子数据项，根据业务规则，无法再合理地将它细分为更小且可独立修改的数据项。

测试 包含是 jsonb 的一项重要能力。 对于 json 类型，则没有与之对应的一组功能。包含测试用于检查 一个 jsonb 文档中是否包含另一个文档。除特别说明外，下面这些 示例都返回真：

-- 简单的标量/基本值只包含相同的值：
SELECT '"foo"'::jsonb @> '"foo"'::jsonb;

-- 左侧数组包含右侧数组：
SELECT '[1, 2, 3]'::jsonb @> '[1, 3]'::jsonb;

-- 数组元素的顺序无关紧要，因此下面的结果也为真：
SELECT '[1, 2, 3]'::jsonb @> '[3, 1]'::jsonb;

-- 重复的数组元素也无关紧要：
SELECT '[1, 2, 3]'::jsonb @> '[1, 2, 2]'::jsonb;

-- 左侧对象包含右侧只有一个键值对的对象：
SELECT '{"product": "PostgreSQL", "version": 9.4, "jsonb": true}'::jsonb @> '{"version": 9.4}'::jsonb;

-- The array on the right side is not considered contained within the
-- array on the left, even though a similar array is nested within it:
SELECT '[1, 2, [1, 3]]'::jsonb @> '[1, 3]'::jsonb;  -- 结果为假

-- 但增加一层嵌套后，就构成了包含关系：
SELECT '[1, 2, [1, 3]]'::jsonb @> '[[1, 3]]'::jsonb;

-- 同样，下面也不构成包含关系：
SELECT '{"foo": {"bar": "baz"}}'::jsonb @> '{"bar": "baz"}'::jsonb;  -- 结果为假

-- 包含由顶层键和空对象构成的对象：
SELECT '{"foo": {"bar": "baz"}}'::jsonb @> '{"foo": {}}'::jsonb;

一般原则是，被包含对象在结构和数据内容上都必须与包含对象匹配；必要时， 可以从包含对象中丢弃某些不匹配的数组元素或对象键/值对后再进行这种匹配。 但要记住，在进行包含匹配时，数组元素的顺序并不重要，重复的数组元素实际 上也只会被考虑一次。

对于结构必须匹配这一一般原则，有一个特殊例外：数组可以包含一个基本值：

-- 这个数组包含该基本字符串值：
SELECT '["foo", "bar"]'::jsonb @> '"bar"'::jsonb;

-- 这个例外并不对称——下面的结果表示不包含：
SELECT '"bar"'::jsonb @> '["bar"]'::jsonb;  -- 结果为假

jsonb 还有一个 存在操作符，它可看作 包含的一种变体：它测试某个字符串（以 text 值给出） 是否在 jsonb 值的顶层作为对象键或数组元素出现。除特别说明 外，下面这些示例都返回真：

-- 字符串作为数组元素存在：
SELECT '["foo", "bar", "baz"]'::jsonb ? 'bar';

-- 字符串作为对象键存在：
SELECT '{"foo": "bar"}'::jsonb ? 'foo';

-- 不考虑对象的值：
SELECT '{"foo": "bar"}'::jsonb ? 'bar';  -- 结果为假

-- 与包含关系一样，存在性必须在顶层匹配：
SELECT '{"foo": {"bar": "baz"}}'::jsonb ? 'bar'; -- 结果为假

-- 如果字符串与一个基本 JSON 字符串匹配，则认为它存在：
SELECT '"foo"'::jsonb ? 'foo';

当涉及很多键或元素时，JSON 对象比数组更适合用于测试包含或存在，因为对象 与数组不同，内部已针对搜索做了优化，不需要进行线性搜索。

SELECT doc->'site_name' FROM websites
  WHERE doc @> '{"tags":[{"term":"paris"}, {"term":"food"}]}';

SELECT doc->'site_name' FROM websites
  WHERE doc->'tags' @> '[{"term":"paris"}, {"term":"food"}]';

各种包含和存在操作符，以及所有其他 JSON 操作符和函数，均见 第 9.15 节。

GIN 索引可用于高效搜索大量 jsonb 文档（数据项）中出现的键 或键/值对。提供了两种 GIN “操作符类”，它们在性能和灵活性 之间提供不同的权衡。

对于jsonb，默认 GIN 操作符类支持使用顶层键存在操作符?、 ?&和?|以及路径/值存在操作符@>的查询。（这些操作符所实现语义的详情，参见表 9.43。）使用此操作符类创建索引的示例如下：

CREATE INDEX idxgin ON api USING GIN (jdoc);

非默认的 GIN 操作符类jsonb_path_ops仅支持为@>操作符建立索引。使用此操作符类创建索引的示例如下：

CREATE INDEX idxginp ON api USING GIN (jdoc jsonb_path_ops);

假设有一个表，用于存储从第三方 Web 服务检索到的 JSON 文档，而且该服务的 模式定义已有文档说明。一个典型文档如下：

{
    "guid": "9c36adc1-7fb5-4d5b-83b4-90356a46061a",
    "name": "Angela Barton",
    "is_active": true,
    "company": "Magnafone",
    "address": "178 Howard Place, Gulf, Washington, 702",
    "registered": "2009-11-07T08:53:22 +08:00",
    "latitude": 19.793713,
    "longitude": 86.513373,
    "tags": [
        "enim",
        "aliquip",
        "qui"
    ]
}

我们把这些文档存储在名为 api 的表中，存放于 名为 jdoc 的 jsonb 列里。 如果在该列上创建了 GIN 索引，那么下面这样的查询就可以利用这个索引：

-- 查找键 "company" 的值为 "Magnafone" 的文档
SELECT jdoc->'guid', jdoc->'name' FROM api WHERE jdoc @> '{"company": "Magnafone"}';

但是，类似下面这样的查询就无法使用该索引，因为虽然操作符 ? 可索引，但它并未直接应用到被索引的列 jdoc 上：

-- 查找键 "tags" 包含键或数组元素 "qui" 的文档
SELECT jdoc->'guid', jdoc->'name' FROM api WHERE jdoc -> 'tags' ? 'qui';

不过，只要适当地使用表达式索引，上述查询也可以利用索引。如果经常查询 "tags" 键中的特定项，那么定义如下索引可能是值得的：

CREATE INDEX idxgintags ON api USING GIN ((jdoc -> 'tags'));

现在，WHERE 子句 jdoc -> 'tags' ? 'qui' 会被识别为把可索引操作符 ? 应用于被索引表达式 jdoc -> 'tags'。（表达式索引的更多信息见 第 11.7 节。）

另一种查询方法是利用包含，例如：

-- 查找键 "tags" 包含数组元素 "qui" 的文档
SELECT jdoc->'guid', jdoc->'name' FROM api WHERE jdoc @> '{"tags": ["qui"]}';

jdoc 列上的简单 GIN 索引可以支持这个查询。 但要注意，这样的索引会存储 jdoc 列中每个键和 值的副本，而前一个例子中的表达式索引只存储 tags 键下 出现的数据。虽然简单索引方法灵活得多（因为它支持对任意键的查询），但有针 对性的表达式索引通常会比简单索引更小，搜索起来也更快。

虽然 jsonb_path_ops 操作符类只支持使用 @> 操作符的查询，但与默认操作符类 jsonb_ops 相比，它具有显著的性能优势。对于相同数据，jsonb_path_ops 索引通常比 jsonb_ops 索引小得多，搜索的针对性也更强，特别是当查询包含数据中频繁出现的键时。因此，搜索操作的性能通常优于默认操作符类。

jsonb_ops 与 jsonb_path_ops GIN 索引之间的技术差异在于，前者会为数据中的每个键和值分别创建独立的 索引项，而后者只会为数据中的每个值创建索引项。 ^[6] 基本上，每个 jsonb_path_ops 索引项都是该值连同 通向该值的键一起计算出的 hash。例如，要索引 {"foo": {"bar": "baz"}}，会创建一个单独的索引项， 其 hash 值中同时纳入 foo、bar 和 baz 这三者。因此，查找这一结构的包含查询会得到一次 非常精确的索引搜索；但完全没有办法据此找出 foo 是否 作为键出现。另一方面，jsonb_ops 索引会分别创建三个 索引项来表示 foo、bar 和 baz；然后为了执行包含查询，它会查找包含这三个项的行。 尽管 GIN 索引可以相当高效地执行这种 AND 搜索，但它仍然会比等效的 jsonb_path_ops 搜索更不精确、也更慢，尤其是在包含这 三个索引项中任意一个的行数非常多时。

jsonb_path_ops 方法的一个缺点是，它不会为不包含任何值 的 JSON 结构产生索引项，例如 {"a": {}}。如果请求查 找包含此类结构的文档，就需要执行一次全索引扫描，这会相当慢。因此， jsonb_path_ops 并不适合经常执行此类搜索的应用。

jsonb也支持btree和hash索引。通常只有在需要检查完整 JSON 文档是否相等时，这些索引才有用。对于btree排序，jsonb数据的顺序很少值得关注，但为求完整，列出如下：

对象 > 数组 > 布尔值 > 数字 > 字符串 > Null

包含 n 个键值对的对象 > 包含 n - 1 个键值对的对象

包含 n 个元素的数组 > 包含 n - 1 个元素的数组

键值对数量相等的对象按以下顺序比较：

键-1, 值-1, 键-2 ...

注意，对象键按其存储顺序比较；尤其是，较短的键存储在较长的键之前，因此可能产生不直观的结果，例如：

{ "aa": 1, "c": 1} > {"b": 1, "d": 1}

类似地，元素数量相等的数组按以下顺序比较：

元素-1, 元素-2 ...

JSON 基本值使用与其底层PostgreSQL数据类型相同的规则进行比较。字符串使用数据库的默认排序规则进行比较。