php typeconversion

Dein code liefert bei mir als output genau "17".
Abgesehen davon sollte explizites type casting unter PHP nur in Sonderfällen notwendig sein.

type casting alternativ:

Code: PHP

$xyz = 17.343345;
settype($xyz,"integer");
echo $xyz;

Falls das type casting nur der Formatierung des outputs dient, bietet sich folgender code an:

Code: PHP

$xyz = 17.343345;
echo floor($xyz);

Für Zwecke des Debuggings bietet sich die Funktion var_dump an:
http://www.php.net/manual/en/function.var-dump.php

Type Juggling:
http://www.php.net/manual/en/langua...pe-juggling.php