以下符号的详细说明

• 非终结符号生产用全部大写字母书写，不加引号，例如 VALUE
• 生产定义用:=表示，例如 BOOL := 'true' | 'false'
• 文本字面量用单引号括起来，例如 'null'
• 无序选择用|表示，例如 foo | bar
• 圆括号用于分组，例如 (VALUE)
• Kleene 运算符 ?、* 和 + 分别表示可选（0或1次重复）、任意（0或多次重复）和多次（1或多次重复）的项目，例如：(KEY ':' VALUE ',')*
• Unicode 代码点的范围使用 PCRE 表示法书写，例如：[0-9]
• 连续字符范围内的固定次数重复也用 PCRE 表示法书写，例如：[0-9a-fA-F]{2}
• Unicode 概念和其他可读性强的简化描述用尖括号给出，例如：<XID_continue>

VALUE := NULL | OPT | BOOL | INT | UINT | FLOAT | STRING | BLOB | ARRAY | MAP

NULL := 'null' WB
OPT := '?' VALUE

BOOL := ('true' | 'false') WB

INT := ('+' | '-') [0-9]+ WB
UINT := [0-9]+ WB
FLOAT := ('+' | '-')? (([0-9]* '.' [0-9]+) | ([0-9]+ '.' [0-9]*) | 'inf') WB

STRING := '"' ( UNESCAPED | ESCAPED )* '"'
UNESCAPED := <any Unicode codepoint except '"' and '\'>
ESCAPED := '\n' | '\r' | '\t' | '\\' | '\'' | '\"' | '\u{[0-9a-fA-F]+}'

BLOB := '#' ([0-9a-fA-F]{2})* '#'

ARRAY := '[' ( VALUE ( ',' VALUE )* ','? )? ']'
MAP := '{' ( PAIR ( ',' PAIR )* ','? )? '}'
PAIR := VALUE ':' VALUE

WB := <Unicode word boundary or ASCII punctuation>

注意

• 可读性格式是区分大小写的。所有内置字面量词都是用 小写 写的。（字符串的大小写当然被保留。）

• 所有数字都写成十进制。可读性格式不允许使用除了10以外的基数。

• 数字和单词（例如字面量 null、true、false 和 inf）必须由 Unicode 词边界或 ASCII 标点符号与其周围隔开。这种约束的目的是不允许对人类读者难以解析的字符串，例如 123null 不应被接受为两个有效标记 123 和 null，因为它们在视觉上没有分开。

• 有符号整数和无符号整数之间有区别，即 +42 与 42 不相同。这意味着文本格式可以保留正有符号整数的类型，它不同于无符号整数。

• 浮点数必须在至少一个十进制点的一侧有数字。规范地，它们至少在十进制点两侧都打印至少一个数字，即使那个数字碰巧是零，例如 -0.3 或 +12.0。浮点数的符号是可选的，但在规范表示法中始终打印。

• 浮点数能够表示正负无穷大，并保留零的符号，但禁止使用 NaN。Neodyn 交换格式的三种表示法中都将 NaN 值转换为 null。但是，这意味着 NaN 在序列化然后反序列化时不会往返，因为尝试将 null 反序列化为浮点数被视为错误。

• 所有三种数字类型都允许并忽略前导零，但浮点数中的 inf 除外。浮点数小数部分中的尾随零也允许并忽略。

  规范表示法是不打印任何前导或尾随零，除非数字（对于整数）或其整数或小数部分（对于浮点数）等于零。在这些情况下，每个需要的地方打印一个确切的零位数字。

• 数组和映射中的尾随逗号允许并忽略。规范格式是始终打印尾随逗号。

• 在 blob 字面量中的十六进制数字对之间允许并忽略空白。但十六进制数字对（即表示同一字节的最高和最低四位）内的十六进制数字 必须不 被空白分隔。

• 在 blob 字面量和 Unicode 转义序列中的十六进制数字 不区分大小写，小写和大写字符 a...f 和 A...F 是成对等价的。规范表示法是使用小写。

• 字符串字面量可以包含“原始”换行符和制表符。这些被解释为原样。规范表示法是始终转义换行符和制表符。

• 转义序列的解释遵循 Rust 的规则。这意味着大多数情况下采用通常的解释（例如，\n 表示换行，\t 是制表符等），并增加了 \u{...} 的解释，其中 ... 表示一系列连续的十六进制数字（不区分大小写），它被解析为一个 Unicode 代码点。允许前导零，并且规范表示法是不打印任何前导零。

文本表示示例

[
  {
    +39: -.354,
    -1.: true,
    +3.142: -6.283,
    0: null,
    1: ?"an optional string",
    2: ??"two levels of optionals; even an optional null is allowed, e.g.:",
    null: ?null,
    "as you can see": "null is allowed to be a key as well",
    "escaped\nnewline": "unescaped
newline",
    ["arrays","and","maps"]:{"can":"be","keys":"too"},
    "this is a map": "with a trailing comma",
  },
  {
    "optional array": ?[
      "first",
      "second",
    ],
    "empty map": {},
    "array without a trailing comma": [1, 2, 3],
    "this is a map": "also without a trailing comma"
  },
]

二进制表示

二进制格式试图将值压缩到尽可能小的空间。然而，它是一个严格按字节对齐的格式，即它操作的是至少 8 位的单位，并假定 8 位字节。它采用诸如可变宽度整数编码和字符串内联等技术，以实现小的序列化对象大小。因此，虽然概念上的类型系统描述了 64 位整数和浮点数，但足够低阶的值和/或足够少的有效数字实际上在编码时可能使用更少的空间。

类型标记和可变宽度编码

每个值都以一个包含至少类型信息的一个字节标记开始，但通常还包含其他数据，如长度或内联小值。

类型是有层次组织的。有三个级别的类型

1. 每个值都有一个 主要类型。
2. 对于某些主要类型，有一个或多个 次要类型。
3. 对于某些主要和次要类型的组合，有一个 值标记。

类型注解和这些附加信息在字节中占据定义良好的位置

• 主要类型存储在 3 个最高有效位（#5-#7）。
• 如果有，次要类型存储在之前的 3 个位，即位 #2-#4。
• 如果有，值标记占用 2 个最低有效位，#0-#1。
• 某些主要-次要组合在较低的两个位中存储一个 2 位的 对数长度 信息，而不是值标记。这表示后续有 2⁰=1、2¹=2、2²=4 或 2³=8 字节的其他数据。这通常是整数或浮点数，始终以小端字节顺序。
• 还有一些其他主要类型省略了次要类型以及值标记，并在较低 5 位（#0-#4）中存储一个 小整数有效负载。

总之，类型/值标记的可能格式是

• 主要、次要、值标记：XXX YYY ZZ，(X = 主要位，Y = 次要位，Z = 值标记位)
• 主版本，次版本，日志长度：XXX YYY NN（X = 主版本位，Y = 次版本位，N = 数据长度2的日志的位数）
• 主版本，小有效载荷：XXX VVV VV（X = 主版本位，V = 有效载荷数据位）

序列化值的结构。符号表。

序列化的镱交换值在二进制格式中由两部分组成

1. 头部或“符号表”
2. 主体

字符串和二进制数据块以压缩方式存储：每个相同的字节数组只写一次。这些唯一的字节数组按照序列化数据的开始顺序排列成一个“符号表”。如果一个值中没有内联字符串或数据块，则可以省略此头部（并且由参考实现省略）。

注意，如果一个字符串和一个数据块具有完全相同的数据有效载荷，它们将唯一地放置在符号表的同一个槽位中。此外，注意空字符串和数据块永远不会内联，并且在值主体中分别用特殊的内联“空字符串”和“空数据块”标记表示。

此外，每个符号表条目声明相应的数据有效载荷是否可以（并将）用作字符串，或者只能作为数据块。这有助于反序列化器避免尝试将任意二进制数据解析为UTF-8。

如果一个符号表条目被多次引用，则会存储引用次数，所谓的“使用计数”与有效载荷一起。这使得反序列化器在符号的最后一次引用时能够将拥有的缓冲区交给消费者，从而节省了一次复制和分配。（这种优化仅在反序列化器与拥有缓冲区一起工作时才有意义。）

在符号表之后，所有其他数据都存储在值主体中。它包含原子值（例如布尔值、数字等）以及内联的数组映射。字符串和数据块通过它们在符号表中的索引进行引用。

在主体中存在多个值的唯一情况是当存在一个复杂类型（数组或映射），递归包含其他值时。数组中的值依次跟随。映射的键值交错：第一个条目是第一个键，然后是第一个值，接着是第二个键和第二个值，依此类推。

头部和主体中的类型标记

在头部/符号表中找到的类型标记的数值可能因它们是在头部/符号表中还是在实际值主体中而具有不同的解释。

以下列出了所有可能的主版本和次版本以及值标记。如前所述，NN 表示日志长度位，VVV VV 表示内联小整数位。

首先，头部和主体之间共享的类型标记

其次，头部/符号表中的类型标记

第三，值主体中的类型标记

二进制格式的位级细节

首先，关于可变宽度数字编码的一些一般性说明：

• 大小、计数、有效载荷长度和索引始终使用小端字节序的无符号整数进行编码。
• 一些类型标记使用与适当的无符号整数相同的可变宽度编码结构来编码关联的长度/索引数据，只是它们可能使用不同的主/次类型标记。
• 这种统一的可变宽度整数编码如下。

  • 如果类型标记的主类型表示“小”值，则5个最低有效位（#0-#4）包含整数值内联，无论是无符号还是2的补码有符号位序列。

    因此，内联小整数的范围是

    • -16...+15（有符号）
    • 0...31（无符号）

  • 如果类型标记的主类型表示“大”值，则次类型标记确定值的实际（子）类型，并且两个最低有效位使用上述对数长度编码来引用下一个整数或浮点数的大小。因此，最低两位可能是以下之一00、01、10、11，分别表示随后的数字大小为1、2、4或8字节。2、4和8字节的数字存储为小端。

  • 因此，编码后的数字可能占用1、2、3、5或9个字节，具体取决于其大小。

+---------------+-------------+-------------+
|  000 000 01   |  0000 0000  |  0000 0010  |
+---------------+-------------+-------------+
| Symtab start, |  count,     |  count,     |
| 2^1 = 2 bytes |  low byte   |  high byte  |
| of length     |             |             |
| follow        |             |             |
+---------------+-------------+-------------+

+--------------+-----------+------------------------+
|  111 100 00  | 0100 0000 | 64 bytes of UTF-8 data |
+--------------+-----------+------------------------+
| long string, | length,   | actual string payload  |
| single-use,  | 64 bytes  |                        |
| 2^0 = 1 byte |           |                        |
| of length    |           |                        |
| follow       |           |                        |
+--------------+-----------+------------------------+

+--------------+------------+-----------+---------------------+
|  011 100 01  | 111 010 00 | 1000 0010 | 17 arbitrary bytes  |
+--------------+------------+-----------+---------------------+
| short blob,  | use count: |    130    | actual blob payload |
| multi-use,   | unsigned   |           |                     |
| 17 bytes     | integer,   |           |                     |
| long         | 2^0 = 1    |           |                     |
|              | byte wide  |           |                     |
+--------------+------------+-----------+---------------------+

{"compact": true, "schema": 0}