Java上整型和下转型