php json décode numéro numéro

Question

J'ai rencontré quelques problèmes dans le numéro de décodage php json.

$json = '[{"num":123456789011121314},{"num":1516171819202122232425}]'; 
$number = json_decode($json); 
foreach($number as $num){ 
    echo $num->num.'<br />'; 
    //echo (int)$num->num.'<br />'; 
} 

cela se:

1.23456789011E+17 
1.5161718192E+21 

également (int) faire un rappel mal. Et comment obtenir le nombre orignal? Merci.

J'ai besoin

123456789011121314  
1516171819202122232425 

Answer 1

Si vous utilisez PHP 5.4 ou version ultérieure, vous pouvez le faire:

$number = json_decode($json, true, 512, JSON_BIGINT_AS_STRING);

qui représentera les grands nombres sous forme de chaînes au lieu de ints. Si vous avez accès au code générant le fichier json, vous pouvez également encoder les numéros sous forme de chaînes.

Answer 2

Utilisez un système 128 bits?

Ce deuxième nombre est plus grand que même une machine 64 bits peut contenir un nombre entier, donc il est converti en flottant. Indiquez la perte de précision et les parties de l'exposant.

Autre solution: utilisez des nombres plus petits.

Si vous devez absolument avoir ces numéros, examinez les API telles que BC-Math ou GMP.

Answer 3

Puisque la structure de json n'est pas compliquée, nous pouvons la réparer avec une simple expression régulière. L'idée est d'inclure des nombres dans des doubles quotes.

$json = '[{"num":123456789011121314},{"num":1516171819202122232425}]'; 
$sanitized = preg_replace('/:(\w*\d+)/', ':"$1"', $json); 
$number = json_decode($sanitized); 

Ceci devrait fonctionner correctement pour vous comme pour moi.

Le motif correspond à un signe deux-points suivi d'un espace optionnel suivi d'un nombre.