mysql int 和varchar比较