[php] jede Null nach Dezimalpunkt abschneiden?

[Guido Haeger]

Michael Renner schrieb

> > $regex = "/\.0*$/";
> > echo preg_replace($regex,"",$a)."\n"; // 12.03
>
> Danke, funktioniert wunderbar in allen Fällen!

Der reguläre Ausdruck selbst ist aber falsch. Das Ganze funktioniert nur
weil PHP hier ohnehin nur Testvariablen vom Typ Integer oder Double
bekommt. Du kannst Die RegEx hier auch weglassen und bekommst das
gleiche Ergebnis!

Probier mal
$a = "12.0300";
$b = "12.3";
$c = "1200";
$d = "12.00";

Guido Haeger