mysql数据库中cast与convert函数实现类型转换的讲解