Почему модуль Python json представляет числа с плавающей точкой в ​​ключах карты как строки?

Question

См. Следующий код:

>>> import json
>>> m = {}
>>> m[0.0] = 1.0
>>> json.dumps(m)
'{"0.0": 1.0}'

В значении карты у нас 1,0.Но в ключе у нас есть «0.0» (строка Json).

Эта неоднозначная обработка float просто стоила мне времени на отладку.Кто-нибудь знает, почему модуль Python JSON делает это?

Answer 1

Поскольку ключ JSON должен быть строкой. См. RFC .