实现判断一个正整数是否为素数的函数首部为int