优化 验证非负整数