PHP json_encode : encodage des nombres sous forme de chaînes de caractères

Question

J'ai un problème avec la fonction PHP json_encode. Elle encode les nombres comme des chaînes de caractères, par ex.

array('id' => 3)

devient

"{ ["id": "3", ...)

Lorsque js rencontre ces valeurs, il les interprète comme des chaînes de caractères et les opérations numériques échouent sur elles. Quelqu'un connaît-il un moyen d'empêcher json_encode de l'encodage des nombres en tant que chaînes de caractères ? Merci !

Answer 1

Notez que depuis PHP 5.3.3, il y a un drapeau pour la conversion automatique des nombres (le paramètre options a été ajouté en PHP 5.3.0) :

$arr = array( 'row_id' => '1', 'name' => 'George' );
echo json_encode( $arr, JSON_NUMERIC_CHECK ); // {"row_id":1,"name":"George"}

Answer 2

De même, je lisais une base de données (PostgreSQL) et tout était une chaîne. Nous bouclons sur chaque ligne et faisons des choses avec elle pour construire notre tableau de résultats final, donc j'ai utilisé

$result_arr[] = array($db_row['name'], (int)$db_row['count']);

dans la boucle pour le forcer à être une valeur entière. Lorsque je fais json_encode($result_arr) maintenant, il le formate correctement comme un nombre. Cela vous permet de contrôler ce qui est et n'est pas un nombre provenant de votre base de données.

EDITAR:

El json_encode() a également la capacité de faire cela à la volée en utilisant la fonction JSON_NUMERIC_CHECK comme second argument. Vous devez cependant faire attention en l'utilisant, comme le montre cet exemple d'utilisateur dans la documentation (copié ci-dessous) : http://uk3.php.net/manual/en/function.json-encode.php#106641

<?php
// International phone number
json_encode(array('phone_number' => '+33123456789'), JSON_NUMERIC_CHECK);
?>

Et ensuite vous obtenez ce JSON :

{"phone_number":33123456789}

Answer 3

J'ai fait un test très rapide :

$a = array(
    'id' => 152,
    'another' => 'test',
    'ananother' => 456,
);
$json = json_encode($a);
echo $json;

Cela ressemble à ce que vous décrivez, si je ne me trompe pas ?

Et j'obtiens comme résultat :

{"id":152,"another":"test","ananother":456}

Donc, dans ce cas, les entiers n'ont pas été convertis en chaîne de caractères.

Cependant, cela peut dépendre de la version de PHP que nous utilisons : quelques bugs liés à json_encode ont été corrigés, selon la version de PHP...

Ce test a été effectué avec PHP 5.2.6 ; j'obtiens la même chose avec PHP 5.2.9 et 5.3.0 ; je n'ai pas d'autre version 5.2.x à tester, cependant :-(

Quelle version de PHP utilisez-vous ? Ou bien votre test-case est-il plus complexe que l'exemple que vous avez posté ?

Peut-être un rapport de bug sur http://bugs.php.net/ pourraient être liées ? Par exemple, Bogue n° 40503 : La conversion des entiers de json_encode est incohérente avec PHP. ?

Peut-être Bogue n° 38680 pourrait vous intéresser aussi, d'ailleurs ?

Answer 4

Essayez $arr = array('var1' => 100, 'var2' => 200); $json = json_encode( $arr, JSON_NUMERIC_CHECK);

Mais il ne fonctionne que sur PHP 5.3.3. Regardez le journal des modifications de PHP json_encode. http://php.net/manual/en/function.json-encode.php#refsect1-function.json-encode-changelog

Answer 5

Je rencontre le même problème (PHP-5.2.11/Windows). J'utilise cette solution de contournement

$json = preg_replace( "/\"(\d+)\"/", '$1', $json );

qui remplace tous les nombres (entiers et non négatifs) entre guillemets par le nombre lui-même (" 42 " devient " 42 ").

Voir aussi ce commentaire dans le manuel PHP .