recognizing a # as an int, even if a string

[sfullman]

there's a keyword in php I think called int

this returns false:
$n='1';
echo is_int($n);

but this is a parse error, so I'm not getting the right usage

$n='1';
echo is_int( int $n ); //yields parse error

I could use
$n='1';
echo preg_match('/^{[0-9]+$/',trim($n));}

but that seems very tortured AND SLOW - any suggestions???

gracias!
Sam

[laserlight]

[man]ctype_digit/man could be used.

[drew010]

you can do a type cast on a variable by doing (int)$x, maybe that is what you meant when you try
$n='1';
echo is_int( int $n );

$n='1';
echo is_int( (int) $n );

[laserlight]

you can do a type cast on a variable by doing (int)$x

In which case checking with is_int() is just plain silly.