JSON数值是否始终为双精度浮点数？两种观点辨析

观点1 #

认为JSON数值始终为双精度浮点数，因此：

• 1与1.0在语义上无差异，二者代表完全相同的数值；
• 12345678901234567890实际等价于12345678901234567000，因为前者无法被双精度浮点数精确表示。

观点2 #

认为JSON数值并非始终需被解读为双精度浮点数，JSON是独立于JavaScript的通信协议，相关误解源于对JavaScript与JSON的混淆，因此：

• 1与1.0未必相同，末尾.0的存在与否可用于编码类型信息，在Java或C#等区分整数与浮点数的语言中，约定整数序列化不带.0、浮点数带.0是合理的；
• 12345678901234567890与12345678901234567000是不同的数值，部分解析器将二者视为同一值是因为强制转换为双精度浮点数，属于解析器问题而非JSON本身的问题。

两种观点的正确性辨析 #

需要明确区分JSON规范定义的语义和具体解析器的实现限制：

1. 关于1与1.0的语义：

JSON Schema相关文档明确指出：JSON没有整数和浮点值的区分类型。因此，小数点的存在与否不足以区分整数与非整数。例如，1和1.0是JSON中表示同一值的两种方式。
这完全符合JSON官方规范（RFC 8259）的定义——JSON的数值是单一类型，不同写法的同值数值语义等价。观点2中认为二者“未必相同”属于应用层的自定义约定，而非JSON本身的语义规则。

2. 关于大数的语义：

MDN相关内容提到，使用JSON序列化和反序列化无法用双精度浮点数存储的大数时会出现精度问题。
但这是JavaScript解析器的实现限制，并非JSON规范的要求。JSON规范并没有规定数值必须用双精度浮点数存储，12345678901234567890在JSON语义上是一个精确的独立数值，和12345678901234567000语义不同。观点1中认为二者“实际等价”是混淆了规范语义和JavaScript的实现特性。

总结 #

• 从JSON规范本身出发：1和1.0语义等价；大数12345678901234567890与12345678901234567000是不同的数值。
• 从JavaScript等特定解析器的实现来看：默认会将JSON数值转为双精度浮点数，导致大数精度丢失、1与1.0无差异，但这是实现的限制，并非JSON规范的要求。
• 观点2中关于“JSON独立于JavaScript、数值不强制为双精度浮点数”的结论正确，但关于1与1.0语义不同的说法不符合JSON规范；观点1混淆了规范与实现，结论存在偏差。

内容的提问来源于stack exchange，提问作者user29873842