php - 如何在维护“尾随零”的php中将浮点值（从JSON获取）转换为字符串？

Question

我有一个 JSON（即一个 javascript 对象）。

我有一个获取 JSON 内容的页面（即一组字段、数组和对象）。

其中一些字段是浮点值。小数位数取决于特定字段。

我的问题是：我如何打印整个数字，因为它是一个字符串“？

例子：

   12.35 --> print: 12.35 (but this is ok,a floatval() works!)
   12.0 --> print: 12.0 (this is NOT ok,because floatval() prints just "12")
   12.00 --> print: 12.00 (this is NOT ok,because floatval() prints just "12")

当然，我尝试在不强制转换的情况下打印值（即不使用 floatval() ）。但似乎演员是由 PHP “隐式”完成的。

当然，如果没有 0（例如“12”），则不应打印 0

提前感谢您的任何提示。

Answer 1

试试这个代码：

$a=(float)"12.00";
print number_format($a,2);