PHP判断一个变量是否为整数、正整数的方法示例