如何在MySQL中将VARCHAR转换为INT?