mysql中把字符串转换为int类型