请教获取的GET如何判断是否为纯数字

请问获取的GET怎么判断是否为纯数字
你好。请问获取的GET怎么判断是否为纯数字，假如GET的值不是纯数字“不含有数字”，否则显示“成功”。谢谢。求PHP代码，谢谢！

------解决方案--------------------

PHP code


if(isset($_GET['id']))
{
  if(is_numeric($_GET['id']))
    echo '成功';
  else
    echo '不是纯数字';
}

------解决方案--------------------
探讨

引用:

设url为 http://localhost/index.php?id=123

则

if(is_numeric($_GET['id']))
echo '是纯数字';
else
echo '不是是纯数字';





想问下，为什么不加{和}的？
例如
if(isset($_GET['shi']))
{
  if……