字符串是否为数字的函数