Bir jitter_decode bir 32bit sunucuda

Question

bir twitter mashup hizmeti im im. Json verilerini aldığımda, bazı twit ids, 'dan daha büyüktür (32bit sunucularda izin verilen maksimum sayıdır).

Tamsayıları dizelere dönüştüren bir çözüm buldum; Bu şekilde json_decode() işlevi diziyi oluşturmaya çalışırken herhangi bir sorun yaşamayacak.

Bu

i elde etmek gerekenler:

önce (çözüm uygulamalı)

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

sonra (orijinal JSON verileri) Ben düşünüyorum

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

Bir preg_match uygulaması, ama nasıl kurşun geçirmez yapmak için hiçbir fikrim yok. Herhangi bir yardım çok takdir edilecektir.

Answer 1

Rakamları yakalamak için preg_replace kullanmak ve böyle bir şey tırnak ekleyebilirsiniz:

$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"}] 

yukarıdaki örneği here deneyin.

Answer 2

PHP 5.2 kullanırsanız, bu uzun kimlikler bir floatta ayrıştırılır; bu, ideal olmayan en az 21 bitlik bir tamsayı kesinliği verir, bu da bu kimlikleri depolamak için kolayca yeterli olmalıdır. (Bir 64-bit sunucu elbette idealdir.)

Answer 3

Aşağıya doğru geliyorsa, big_int PECL uzantısını kullanmayı deneyebilirsiniz. Bu, PHP'nin ihtiyacınız olan durumlarda, olağanüstü derecede büyük sayıları kullanmasına izin verir. Bu büyük bir adımdır, ancak rutin olarak zihin tutkunluğunun sınırını aşan sayılarla uğraşıyorsanız, muhtemelen yardımcı olabilirsiniz.