con el sgte código obtienen una clase Float, para crear variables de tipo float

está en php:

class Float
{
private $numero;

public function getFloat()
{
return (float)$this->numero;
}
public function setFloat($num)
{
$this->numero=(float)$num;
}
}


en otro archivo lo usarían así:

public function asdf(Float $num1)
{
...
}

pd: me podrían explicar como se comprueba que $num1 es tipo Float, acaso se hace una llamada a la clase Float y ésta convierte a $num1 en Float???

gracias.

El proceso de cambiar una variable de tipo, se llama "casting".

Para convertir a float, no hace falta ninguna clase, es tan fácil como esto:

$num = 132123;
$numFloat = (float) $num;

Luego para comprobar si es de tipo float, usas is_float():

if(is_float(27.25)) {
    echo "es flotante\n";
}else {
    echo "no es flotante\n";
}

También se puede hacer con floatval().

Te recomiendo que leas el siguiente enlace:

_Manipulación de tipos (Type Juggling).


Advertencia - mientras estabas escribiendo, una nueva respuesta fue publicada. Probablemente desees revisar tu mensaje.

Creo que estas mezclando Java con PHP

No se verifica al obtener el argumento sino al procesar la función, por algo es función, todo lo que esté dentro debe servir para verificar cosas como esas.

public function Suma($num){
 if((int)$num == 0) return 0; /* Invalid integer */
}

Aunque de todas formas estarás haciendo que tu función sea cada ves menos flexible, vamos que php es la onda, no existe nada mas flexible, es mas flexible que html en firefox.

Basta con dar un cast ante cada proceso de la función, po ejemplo:

function suma($num1, $num2){
 return ((int)$num1 + (int)$num2);
}

Da lo mismo si le das un null, false, string, objeto porque si $num no es numerico entonces el cast (int) te lo transforma en un cero, por lo tanto:

suma('hola', 9); // resultado: 0+9=9

Para eso php creó los cast rápidos, para no tener que estar haciendo clases numericas. De todas formas ya existen muchas clases para esto:

http://php.net/manual/es/numberformatter.parse.php
http://www.php.net/manual/es/language.types.type-juggling.php
http://www.php.net/manual/es/function.ctype-digit.php
http://www.php.net/manual/es/ref.var.php