PHP json_decode na 32-bitowym serwerze

Question

im napisałem usługę twitter mashup. Kiedy otrzymuję dane json, niektóre z twit id są większe niż (co jest maksymalną dozwoloną liczbą całkowitą na serwerach 32-bitowych).

Wymyśliłem rozwiązanie, które działa, konwertując liczby całkowite do ciągów; w ten sposób funkcja json_decode() nie będzie miała żadnych problemów podczas próby wygenerowania tablicy.

To co muszę osiągnąć:

wcześniej (oryginalne dane JSON)

[{"name":"john","id":5932725006},{"name":"max","id":4953467146}] 

Po (rozwiązanie stosowane)

[{"name":"john","id":"5932725006"},{"name":"max","id":"4953467146"}] 

mam na myśli Implementacja preg_match, ale nie mam pojęcia, jak to zrobić kuloodporne. Każda pomoc będzie doceniana.

Answer 1

Można użyć preg_replace do przechwytywania numerów i dodać cytaty, coś takiego:

$jsonString = '[{"name":"john","id":5932725006},{"name":"max","id":4953467146}]'; 

echo preg_replace('/("\w+"):(\d+)/', '\\1:"\\2"', $jsonString); 
//prints [{"name":"john","id":"5932725006"},{"name":"max","id":"4953467146"}] 

Spróbuj powyższy przykład here.

Answer 2

Jeśli użyjesz PHP 5.2, te długie identyfikatory będą przetwarzane na wartości zmiennoprzecinkowe, które jednak nie są idealne, co najmniej daje ci 21 bitów dokładności całkowitej, co powinno z łatwością wystarczać do przechowywania tych identyfikatorów. (Oczywiście idealnym rozwiązaniem byłby serwer 64-bitowy.)

Answer 3

Jeśli sprowadza się do tego, możesz spróbować użyć rozszerzenia PECL big_int. Dzięki temu PHP może używać liczb, które są wyjątkowo duże, jeśli zajdzie taka potrzeba. To duży skok, ale jeśli rutynowo zajmujesz się liczbami, które graniczą na granicy umysłu, prawdopodobnie uznasz to za pomocne.