PHP: le format flotte avec une précision donnée dans json_encode() fonction

Question

There was ma question (d'abord pas si précis formulé):

-je utiliser PHP flotte dans la chaîne JSON. Code:

$obj['val'] = '6.40'; 
json_encode($obj); 

est converti en:

{"val": "6.40"} 

Il est OK - je valeur de chaîne '6.40' en PHP et je valeur de chaîne "6.40" en JSON.

La situation est pas si bon si je dois utiliser des flotteurs:

$obj['val'] = 6.40; 
json_encode($obj); 

est converti en:

{"val": 6.4000000000000004} 

mais j'ai besoin:

{"val": 6.40} 

Comment puis-je convertir PHP flotte au numéro JSON dans 'json_encode' avec une précision donnée?

Answer 1

... et voici ma propre réponse:

<?php 
$obj['val'] = 6.40; 
$out = json_encode($obj); 
echo $out; // {"val":6.4} 

ini_set('precision', 17); 
$obj['val'] = 6.40; 
$out = json_encode($obj); 
echo $out; // {"val":6.4000000000000004} 

ini_set('precision', 2); 
$obj['val'] = 6.40; 
$out = json_encode($obj); 
echo $out; // {"val":6.4} 

Ceci est l'échantillon pour @axiac:

ini_set('precision', 4); 
$obj['val'] = 1/3; 
$out = json_encode($obj); 
echo $out; // {"val":0.3333}