Java向下转型以及如何判断能否向下转型