php - 正确删除带小数的前导零，例如 0.1

Question

我的目标是像这样删除前导零:

echo ltrim(000.1, '0'); // .1 (should end up as 0.1)
echo ltrim(0, '0'); // empty (should end up as 0)
echo ltrim(00005.5, '0'); // 5.5 (correct)

使用 ltrim() 可以很好地处理像 00005.5 这样的值，但不适用于 0.1 作为 0 (正如您所期望的逻辑)。

我的问题是，如何删除 0.5 等值中的前导零，并避免在 0 时修剪值？

Answer 1

只需将它乘以 1，php 就会将其转换为 float 。

echo "000.1"*1 . "\n";  //0.1
echo "0"*1 . "\n";      //0 
echo "00005.5"*1 . "\n";//5.5

https://3v4l.org/mnN56

或者 float 转换它

echo (float)"000.1" . "\n";
echo (float)"0" . "\n";
echo (float)"00005.5" . "\n";