PHP json_decode trên máy chủ 32 bit

Question

im ghi dịch vụ kết hợp twitter. Khi tôi nhận được dữ liệu json, một số id twit lớn hơn (là số nguyên tối đa cho phép trên các máy chủ 32 bit).

Tôi đã đưa ra giải pháp hoạt động, chuyển đổi số nguyên thành chuỗi; theo cách đó hàm json_decode() sẽ không có bất kỳ vấn đề nào khi cố gắng tạo mảng.

Đây là những gì tôi cần phải đạt được:

Trước (dữ liệu JSON gốc)

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

Sau (giải pháp áp dụng)

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

Tôi đang nghĩ đến việc một triển khai preg_match, nhưng tôi không biết làm thế nào để làm nó chống đạn. Bất kỳ trợ giúp sẽ được nhiều đánh giá cao.

Answer 1

Bạn có thể sử dụng preg_replace để nắm bắt những con số và thêm dấu ngoặc kép, một cái gì đó như thế này:

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

Hãy thử ví dụ trên here.

Answer 2

Nếu bạn sử dụng PHP 5.2, các id dài sẽ được phân tích thành một phao, mặc dù không lý tưởng ít nhất cung cấp cho bạn 21 bit chính xác nguyên khác, dễ dàng đủ để lưu trữ các id đó. (Một máy chủ 64 bit sẽ là lý tưởng của khóa học.)

Answer 3

Nếu nó xuống đến nó, bạn có thể cố gắng sử dụng phần mở rộng P232 của big_int. Điều này cho phép PHP sử dụng các con số cực kỳ lớn, nếu bạn cần. Đó là một bước nhảy vọt lớn, nhưng nếu bạn thường xuyên đối phó với những con số có biên giới trên các cạnh của mindnumbingness, bạn sẽ có thể tìm thấy nó hữu ích.