JSON залишив безмежність і NaN; Статус JSON в ECMAScript?

Будь-яка ідея, чому JSON залишив NaN та +/- нескінченність? Це ставить Javascript у дивну ситуацію, коли об’єкти, які б інакше були серіалізуються, не є, якщо вони містять значення NaN або +/- нескінченності.

Схоже, це було відлито з каменю: див. RFC4627 та ECMA-262 (розділ 24.5.2, JSON.stringify, ПРИМІТКА 4, стор. 683 pdf ECMA-262 останнього редагування):

Кінцеві номери піддаються розбитковій формі, ніби за викликом ToString(number). NaN і Нескінченність незалежно від знака представлені як String null.

Infinityі NaNне є ключовими словами чи чимось особливим, вони є лише властивостями глобального об'єкта (як є undefined) і тому можуть бути змінені. З цієї причини JSON не включає їх у специфікацію - по суті, будь-яка справжня рядок JSON повинна мати такий самий результат у EcmaScript, якщо ви це зробите eval(jsonString)або JSON.parse(jsonString).

Якби це було дозволено, то хтось може ввести код, схожий на

NaN={valueOf:function(){ do evil }};
Infinity={valueOf:function(){ do evil }};

на форум (або що завгодно), і тоді будь-яке використання json на цьому веб-сайті може бути порушено.

Що стосується оригінального запитання: я погоджуюся з користувачем "cbare" в тому, що це невдалий пропуск у JSON. IEEE754 визначає їх як три особливих значення числа з плаваючою точкою. Отже, JSON не може повністю представляти числа з плаваючою точкою IEEE754. Насправді це ще гірше, оскільки JSON, визначений у ECMA262 5.1, навіть не визначає, чи базуються його номери на IEEE754. Оскільки проектний потік, описаний для функції stringify () в ECMA262, згадує три особливих значення IEEE, можна підозрювати, що наміром насправді була підтримка чисел з плаваючою точкою IEEE754.

Як ще одна точка даних, не пов’язана з питанням: XML-типи даних xs: float і xs: double do заявляють, що вони засновані на номерах плаваючої точки IEEE754, і вони підтримують представлення цих трьох спеціальних значень (Див. W3C XSD 1.0, частина 2 , Типи даних).

Чи можете ви адаптувати нульовий шаблон об'єкта, а у своєму JSON представляти такі значення як

"myNum" : {
   "isNaN" :false,
   "isInfinity" :true
}

Потім при перевірці ви можете перевірити тип

if (typeof(myObj.myNum) == 'number') {/* do this */}
else if (myObj.myNum.isNaN) {/* do that*/}
else if (myObj.myNum.isInfinity) {/* Do another thing */}

Я знаю, що на Яві ви можете перекрити методи серіалізації, щоб реалізувати таке. Не впевнений, звідки ваша серіалізація, тому я не можу надати детальну інформацію про те, як її реалізувати в методах серіалізації.

Рядки "Нескінченність", "Нескінченність" і "NaN" прирівнюються до очікуваних значень у JS. Тому я б стверджував, що правильний спосіб представити ці значення в JSON - це рядки.

> +"Infinity"
Infinity

> +"-Infinity"
-Infinity

> +"NaN"
NaN

Це просто прикро, що JSON.stringify не робить цього за замовчуванням. Але є спосіб:

> JSON.stringify({ x: Infinity }, function (k,v) { return v === Infinity ? "Infinity" : v; })
"{"x":"Infinity"}"

Якщо у вас є доступ до коду серіалізації, ви можете представляти Infinity як 1.0e + 1024. Експонент занадто великий, щоб представляти в подвійному, а при десеріалізації це представляється як Нескінченність. Працює над webkit, не впевнений у інших json-аналізаторах!

Поточний IEEE Std 754-2008 включає визначення для двох різних 64-розрядних представлень з плаваючою комою: десяткового 64-бітного типу з плаваючою комою та двійкового 64-бітного типу з плаваючою комою.

Після округлення рядок .99999990000000006такий самий, як .9999999у бінарному 64-бітному поданні IEEE, але це так НЕ такий, як .9999999у десятковому 64-бітному поданні IEEE. У 64-розрядних десяткових IEEE з плаваючою комою .99999990000000006обводиться значення, .9999999000000001яке не збігається з десятковим .9999999значенням.

Оскільки JSON просто розглядає числові значення як числові рядки десяткових цифр, немає можливості для системи, яка підтримує як двійкові, так і десяткові представлення з плаваючою комою IEEE (наприклад, IBM Power), щоб визначити, яке з двох можливих числових значень IEEE з плаваючою комою є за призначенням.

Потенційний обхід для таких випадків, як {"key": Infinity}:

JSON.parse(theString.replace(/":(Infinity|-IsNaN)/g, '":"{{$1}}"'), function(k, v) {
   if (v === '{{Infinity}}') return Infinity;
   else if (v === '{{-Infinity}}') return -Infinity;
   else if (v === '{{NaN}}') return NaN;
   return v;
   });

Загальна ідея полягає в тому, щоб замінити виникнення недійсних значень рядком, який ми будемо розпізнавати під час розбору та замінити його на відповідне представлення JavaScript.

Причина вказана на сторінці ii у Стандартному ECMA-404 Синтаксис обміну даними JSON, 1-е видання

JSON сприймає цифри. У будь-якій мові програмування може бути безліч типів чисел різних ємностей та доповнень, фіксованих або плаваючих, двійкових чи десяткових. Це може ускладнити обмін між різними мовами програмування. Натомість JSON пропонує лише представлення чисел, якими користуються люди: послідовність цифр. Усі мови програмування знають, як зрозуміти послідовності цифр, навіть якщо вони не погоджуються щодо внутрішніх уявлень. Цього достатньо, щоб дозволити обмін.

Причина не в тому, як багато хто стверджує, в представленнях сценарію NaNта InfinityECMA. Простота - це основний принцип дизайну JSON.

Оскільки це так просто, не очікується, що граматика JSON колись зміниться. Це дає JSON, як основоположне позначення, величезну стабільність

Якщо ви, як я, у вас немає контролю над кодом серіалізації, ви можете мати справу з значеннями NaN, замінюючи їх на нулеве або будь-яке інше значення як біт хак, як описано нижче:

$.get("file.json", theCallback)
.fail(function(data) {
  theCallback(JSON.parse(data.responseText.replace(/NaN/g,'null'))); 
} );

По суті, .fail буде викликано, коли оригінальний аналізатор json виявить недійсний маркер. Тоді заміна рядка використовується для заміни недійсних маркерів. У моєму випадку серіалізатор повертає значення NaN, тому цей метод є найкращим підходом. Якщо результати зазвичай містять недійсний маркер, вам краще не використовувати $ .get, а замість цього вручну отримати результат JSON і завжди запустити заміну рядка.