php Zahlenproblem

[Brei]

hallo, folgender code verwirrt mich (genuer gesagt ist es die Ausgabe)

<?php

$zahl = (0.7 + 0.1) *10;

echo $zahl . "<br>";

echo (int) ($zahl);


?>

[PHP]


Ausgabe:

[code]

8

7

[/code]

Kann mir das jemand mal erklären?

[kLeiner_HobBes]

Ist IMHO ein verbreiteter "Fehler": ich glaube, die (0.7 + 0.1) * 10 wird intern (ich weiß nimmer warum) als 7.9999999999 oder so gespeichert. Wenn man dann die float-Variable ausgibt, wird 8 ausgegeben, wenn man aber nach int castet, dann werden die ganzen Nachkomma-Neunen abgeschnitten und übrig bleibt die 7. Dieses Phänomen existiert glaub ich auch in andern Sprachen.

In diesem Thread eines Forums hab ich grad auf die Schnelle was gefunden.

[FinalFantasy]

Wenn man sich mal anschaut, wie float-Werte im Speicher abgelegt werden, ist es relativ einfach zu verstehen.

float erlaubt nicht immer exakte Zahlen, sondern ist eigentlich ein Annäherungsverfahren, bei dem öfter solche Werte rauskommen (bei gewissen Zahlen).

Das ist in C(++) das gleiche.

Drum sollte man auch nie float-Zahlen in Schleifen oder If-Abfragen mit == vergleichen.

float i = 0;

while(true) {

   if( i == 9)

      break;

   i++;

}

[/PHP]

kann unter umständen ne schöne Endlosschleife werden.

Und der Effekt, dass beim casten nach Int die Nachkommastellen abgeschnitten werden, ist genau die Ursache, das stimmt schon.

[Brei]

also sollte ich wohl dann auch vermeiden variablentypen selber zu ändern, oder?

[FinalFantasy]

dochdoch, zuweisen und rechnen geht schon, die Genauigkeit bleibt schon gut, nur Vergleichen solltest du Floatzahlen nicht unbedingt, vor allem nicht mit Integerwerten

[Brei]

aber wenn ich die obere zahl mit settype nach integer konvertiere, dann hab ich ja ein Problem weil die Zahl ja dann eigentlich nicht mehr stimmt.

Und wenn ich das schreibe:

<?php

echo (int) (0.8 *10);

?>[/PHP]

Dann bekomm ich als Ausgabe wieder 8.

Da kann ich ja nie sicher sein, was jetzt wie dargestellt wird, wenn ich es nach integer konvertiere.

[kLeiner_HobBes]

Dann verwende doch round():

echo (int)round((0.7 + 0.1)*10.0);