PHP中的两个函数is_numeric和ctype_digit都是检测字符串是否是数字,但也存在一点区别